Commits

History for

Commits on Nov 26, 2018

KItem architectural bug fixed: in some cases, depending on constructor used, it had `global == null`. Now it's always present (except unit tests). (#201)

denis-bogdanas
authored and
dwightguth
committed

Commits on Nov 22, 2018

Z3 option change (#199)
denis-bogdanas
authored

Commits on Nov 12, 2018

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

Commits on Nov 9, 2018

add #isVariable builtin (#182)

daejunpark
authored and
dwightguth
committed

Commits on Oct 28, 2018

kprove: Full variable substitution and function evaluation of specification rules at initialization phase. Required for logging, performance and predictability. (#177)
denis-bogdanas
authored

Commits on Oct 26, 2018

add [matching] attribute (#168)

daejunpark
authored and
dwightguth
committed

Commits on Oct 18, 2018

general bugfix: Rules with inner rewrites are now possible in specifications. Previously, due to a bug, such rules were causing NoSuchElementException. (#173)

denis-bogdanas
authored and
dwightguth
committed

Commits on Oct 11, 2018

add [proj] attribute (#55)

daejunpark
authored and
dwightguth
committed

Commits on Oct 10, 2018

add [smt-prelude] attribute (#166)

daejunpark
authored and
dwightguth
committed

Commits on Oct 2, 2018

LLVM backend (#159)
dwightguth
authored

Commits on Oct 1, 2018

add Set2List and List2Set (#158)
dwightguth
authored

Commits on Aug 28, 2018

fix issue with overloaded binders (#141)
dwightguth
authored

Commits on Aug 14, 2018

Contradiction ellim (#104)

denis-bogdanas
authored and
dwightguth
committed

Commits on Jul 29, 2018

Logs: Short summary box after a proof is finished, (#122)

denis-bogdanas
authored and
dwightguth
committed

Commits on Jul 13, 2018

Fixed bug 82: wrong spec pass when infinite loop, added appropriate messages. (#83)

denis-bogdanas
authored and
dwightguth
committed

Commits on Jul 9, 2018

Improved unparsing (#110)
dwightguth
authored

Commits on Jun 21, 2018

Fix regression in java backend (#102)
dwightguth
authored

Commits on Jun 18, 2018

bitRange and sigExtendBitRange (#99)
dwightguth
authored

Commits on Jun 12, 2018

add log2Int function to prelude (#98)
dwightguth
authored

Commits on Jun 1, 2018

IMP in KORE (#89)
dwightguth
authored

Commits on May 30, 2018

Exponentiation (#85)
dwightguth
authored

Commits on May 29, 2018

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

Commits on May 15, 2018

Rule coverage tool for K (#66)
dwightguth
authored

Commits on May 9, 2018

Fix compilation errors with Java 9 (#65)

traiansf
authored and
dwightguth
committed

Commits on May 8, 2018

*: fix copyrights
Everett Hildenbrandt
committed

Commits on Apr 16, 2018

orient substitution when matching via implication (#49)

andreistefanescu
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 2, 2018

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

Commits on Feb 28, 2018

fix #702 (#754)
dwightguth
authored

Commits on Feb 27, 2018

Fix installer console mode bug (#742)
shd101wyy
authored