Commits

History for

Commits on Apr 24, 2019

Io extras (#403)
radumereuta
authored

Commits on Apr 18, 2019

Fixes for the C semantics with the latest version of K (#414)
dwightguth
authored

Commits on Apr 5, 2019

try to build k on mac os during ci (#362)
dwightguth
authored

Commits on Apr 4, 2019

Factored identifier encoding (#394)

ehildenb
authored and
dwightguth
committed

Commits on Mar 20, 2019

support or with named vars in ocaml backend (#367)
dwightguth
authored

Commits on Mar 8, 2019

fix bug in or patterns when used outside of a rewrite (#340)
dwightguth
authored

Commits on Mar 5, 2019

Java Backend debug: option `--boundary-cells` (#311)
denis-bogdanas
authored

Commits on Mar 4, 2019

Mainline klab (#303)

mhhf
authored and
ehildenb
committed

Commits on Feb 25, 2019

Various improvements to K frontend (#306)
dwightguth
authored

Commits on Feb 13, 2019

KProve architecture extension: made pretty printing available to Rewriter (#292)

denis-bogdanas
authored and
dwightguth
committed

Commits on Feb 5, 2019

Build Debian Package on Xenial and Stretch (#274)
dwightguth
authored

Commits on Feb 1, 2019

run tutorial from anywhere (#283)
dwightguth
authored

Commits on Jan 16, 2019

revert mint java code in preparation for mint in k in ocaml backend (#227)
dwightguth
authored

Commits on Nov 12, 2018

Fix Array sort for Haskell and LLVM backends (#187)
dwightguth
authored

Commits on Oct 2, 2018

LLVM backend (#159)
dwightguth
authored

Commits on Sep 25, 2018

KORE fixes for IELE (#151)
dwightguth
authored

Commits on Aug 20, 2018

[REFACTORING] Kprint (#117)

ehildenb
authored and
dwightguth
committed

Commits on Jul 9, 2018

Improved unparsing (#110)
dwightguth
authored

Commits on Jul 2, 2018

add Bytes sort to K (#103)
dwightguth
authored

Commits on Jun 1, 2018

IMP in KORE (#89)
dwightguth
authored

Commits on May 29, 2018

Add parameters to Sort and KLabel (#69)
dwightguth
authored

Commits on May 21, 2018

Improve performance of coverage tool (#68)
dwightguth
authored

Commits on May 15, 2018

Rule coverage tool for K (#66)
dwightguth
authored

Commits on May 8, 2018

*: fix copyrights
Everett Hildenbrandt
committed

Commits on May 4, 2018

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

Commits on Apr 30, 2018

-fnative-binary flag (#826)
chathhorn
authored

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 12, 2018

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

andreistefanescu
authored and
dwightguth
committed

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 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 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