Commits

History for

Commits on Nov 20, 2018

fix maven forkedbooter bug
Dwight Guth
committed

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

Commits on Feb 14, 2018

open source ocaml backend (#712)
dwightguth
authored

Commits on Nov 13, 2015

move ocaml backend to proprietary repo
Dwight Guth
committed

Commits on Nov 5, 2015

Merge pull request #1818 from dwightguth/compile_stuck
dwightguth
committed
several more minor improvements
Dwight Guth
committed

Commits on Nov 4, 2015

modified files and renames
Dwight Guth
committed

Commits on Nov 3, 2015

make --compile-ocaml dump config if function gets stuck
Dwight Guth
committed

Commits on Oct 29, 2015

Merge pull request #1811 from dwightguth/ccopt-safe
dwightguth
committed

Commits on Oct 28, 2015

add comment
Dwight Guth
committed
revert whole-archive stuff until platforms can be worked out
Dwight Guth
committed

Commits on Oct 21, 2015

fix Brandon's comment
Dwight Guth
committed
fix --gen-ml-only better
Dwight Guth
committed
fix ocamlbackend for --gen-ml-only
Dwight Guth
committed