Commits

Commits on Jun 7, 2018

Commits on May 4, 2018

improve performance of ocaml backend with -O3 (#60)
dwightguth
authored
Fix copyright
chathhorn
authored

Commits on May 2, 2018

update rules for #if_#then_#else_#fi for symbolic reasoning (#56)

yzhang90
authored and
dwightguth
committed

Commits on Apr 30, 2018

-fnative-binary flag (#826)
chathhorn
authored

Commits on Apr 19, 2018

Fix threads with -O3. (#823)
chathhorn
authored

Commits on Apr 16, 2018

Round-robin style thread scheduling. (#817)
chathhorn
authored
orient substitution when matching via implication (#49)

andreistefanescu
authored and
dwightguth
committed

Commits on Apr 12, 2018

fix nasty escaping bug in string literals in the ocaml backend (#816)
dwightguth
authored

Commits on Mar 28, 2018

Improved error reporting/recovery (#763)

chathhorn
authored and
dwightguth
committed

Commits on Mar 22, 2018

output compiled definition as string to compiled.txt (#808)
dwightguth
authored

Commits on Mar 16, 2018

Escaping back ticks and backslashes in Kast (#37)

traiansf
authored and
dwightguth
committed

Commits on Mar 12, 2018

pass the sort of the cell collection variables to the java backend (#34)

andreistefanescu
authored and
dwightguth
committed

Commits on Mar 9, 2018

add basic set unification (#38)

andreistefanescu
authored and
dwightguth
committed

Commits on Mar 8, 2018

Inits, memset performance improvements (#746)
chathhorn
authored

Commits on Mar 5, 2018

Minor fixes to K (#758)
dwightguth
authored

Commits on Mar 2, 2018

Allow prover to parse multiple modules (#753)
dwightguth
authored

Commits on Mar 1, 2018

add concrete attribute to the modInt rule. (#757)

yzhang90
authored and
dwightguth
committed

Commits on Feb 28, 2018

fix #702 (#754)
dwightguth
authored
expand macros when using kast (#755)
dwightguth
authored

Commits on Feb 27, 2018

Fix installer console mode bug (#742)
shd101wyy
authored

Commits on Feb 23, 2018

add back interpreter mode to krun but make it more robust and general (#743)
dwightguth
authored

Commits on Feb 22, 2018

optimize kserver to cache java backend definition (#738)
dwightguth
authored

Commits on Feb 21, 2018

update install instructions to add libz3-dev (#737)
dwightguth
authored

Commits on Feb 19, 2018

Fixes to allow EVM semantics to share semantics between Java and Ocaml backends (#729)
dwightguth
authored
add java code for MInts to ocaml backend (#730)
dwightguth
authored

Commits on Feb 16, 2018

fix nightly release script after repo moved (#727)
dwightguth
authored
set exit code of proofs (#710)
dwightguth
authored
fix mvn verify for k subtree (#708)
dwightguth
authored