Commits

Commits on Feb 26, 2019

kernel/.../KProve: only call concretizeSpecs when needed
Everett Hildenbrandt
committed
kernel/.../KProve: successfully creating specialized proof rules
Everett Hildenbrandt
committed
kernel/.../KProve: successfully generating substitutions for rules
Everett Hildenbrandt
committed
kernel/.../KProve.java: collect all LHS variables correctly
Everett Hildenbrandt
committed
kernel/.../KProve: data-structure traversals sorted out
Everett Hildenbrandt
committed
kernel/.../{KProve,KProveOptions}: initial concretizer
Everett Hildenbrandt
committed
kernel/.../KProve: stubbed out method for concretizing specifications
Everett Hildenbrandt
committed
java-backend/.../{InitializeRewriter => JavaRewriter}: more appropriate name
Everett Hildenbrandt
committed

Commits on Feb 25, 2019

fixes #313 (#315)
dwightguth
authored
Various improvements to K frontend (#306)
dwightguth
authored
Updates to StateLog for KLab to work for non-proof executions (#314)

ehildenb
authored and
dwightguth
committed

Commits on Feb 23, 2019

java-backend: Caching toString() for KItem. Speeds up logging options. Enabled with `--cache-tostring`. (#302)
denis-bogdanas
authored

Commits on Feb 22, 2019

Java Backend: Bugfix - remove unnecessary cast in result building expression. Required since new option --format-failures. (#312)
denis-bogdanas
authored
Add option to turn off alpha renaming (#308)

ehildenb
authored and
dwightguth
committed
Send sentence labels to Kore (#305)

ttuegel
authored and
ehildenb
committed

Commits on Feb 21, 2019

Commits on Feb 20, 2019

java-backend: Cache ConjunctiveFormula.simplify() (#300)
denis-bogdanas
authored

Commits on Feb 18, 2019

Java Backend: Z3 query pretty-printing and printing anonymous vars (#301)
denis-bogdanas
authored

Commits on Feb 16, 2019

Java Backend Logging: First batch of logging features (#291)
denis-bogdanas
authored

Commits on Feb 15, 2019

Java Backend: profiling improvements, options --debig-z3 and --debug-z3-queries

ehildenb
authored and
denis-bogdanas
committed

Commits on Feb 14, 2019

fix caching issue on kore backends when klabel attribute changes (#297)

dwightguth
authored and
ehildenb
committed

Commits on Feb 13, 2019

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

denis-bogdanas
authored and
dwightguth
committed

Commits on Feb 12, 2019

Commits on Feb 8, 2019

Commits on Feb 7, 2019

Make dryRun output match the real command exactly (#287)
phillipharr1s
authored
fix typo in file path to debian stretch .deb
Dwight Guth
committed
update llvm-backend submodule (#285)
dwightguth
authored

Commits on Feb 6, 2019

fix bug in deployment
Dwight Guth
committed

Commits on Feb 5, 2019