Commits

History for

Commits on May 8, 2019

Merge branch 'master' into counter
dwightguth
authored
kernel: BinaryLoader - added shared file lock on reading (#445)

denis-bogdanas
authored and
dwightguth
committed

Commits on May 6, 2019

fix bug
Dwight Guth
committed
support for fresh constants in function rules in llvm backend (frontend
Dwight Guth
committed
Bug fixes for kore generation and also a new test harness for testing generated kore (#441)
dwightguth
authored

Commits on May 3, 2019

Fix bug involving configuration cell under #as pattern (#443)
dwightguth
authored

Commits on May 2, 2019

fix bug in sorting of macro expansions (#433)
dwightguth
authored

Commits on May 1, 2019

Configuration formatting improvements (#431)

nishantjr
authored and
dwightguth
committed

Commits on Apr 27, 2019

fix bug in parser where variables of sort K were not type checked (#427)

dwightguth
authored and
ehildenb
committed
Fix kompile crash with stream cell (#429)

dwightguth
authored and
ehildenb
committed
fix bug in TermCons.toString (#428)

dwightguth
authored and
ehildenb
committed

Commits on Apr 24, 2019

Commits on Apr 21, 2019

Java Backend log: indent logs generated during function evaluation (#417)
denis-bogdanas
authored

Commits on Apr 19, 2019

Refactored generation of claims to KORE (#415)
traiansf
authored

Commits on Apr 16, 2019

[BUGFIX] Determining rule for getExitCode relies on top cell being named generatedTop (#407)
ehildenb
authored

Commits on Apr 15, 2019

fix bug in FrontEnd involving --help and FileUtil (#411)

dwightguth
authored and
ehildenb
committed

Commits on Apr 11, 2019

Latex serializer/output mode (#380)

ehildenb
authored and
dwightguth
committed

Commits on Apr 9, 2019

fix withConfig in requires (#400)
dwightguth
authored

Commits on Apr 8, 2019

kore/Att.hashCode fix (#386)

denis-bogdanas
authored and
dwightguth
committed
generate explicit projections for outer casts (#395)
dwightguth
authored

Commits on Apr 5, 2019

don't emit no confusion for ml syntax (#396)
dwightguth
authored
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
Bug fixes for LLVM Backend (#388)
dwightguth
authored

Commits on Apr 3, 2019

kompile flag to generate time to parse each rule (#378)
dwightguth
authored

Commits on Apr 2, 2019

fix bug involving function with context and multiple cases (#384)
dwightguth
authored

Commits on Mar 27, 2019

Commits on Mar 22, 2019

Commits on Mar 20, 2019

Fix incorrect priority attribute on :/=K (#364)
dwightguth
authored

Commits on Mar 19, 2019

report warnings as errors if they are treated as errors (#357)
dwightguth
authored

Commits on Mar 15, 2019

Revert "Revert "use ml constructs in k and encode them into kore (#336)""
Dwight Guth
committed