Commits

History for

Commits on May 6, 2019

support for fresh constants in function rules in llvm backend (frontend
Dwight Guth
committed

Commits on Apr 29, 2019

Update k frontend to use new scala pattern matching code (#421)

dwightguth
authored and
ehildenb
committed

Commits on Apr 27, 2019

fix bug in TermCons.toString (#428)

dwightguth
authored and
ehildenb
committed

Commits on Apr 24, 2019

add strategy cell to all rules in definition if strategy module is (#422)
dwightguth
authored

Commits on Apr 17, 2019

a few helper methods for the scala kore code (#413)
dwightguth
authored
utils & java-backend: refactoring. 1. added method formatTraceFrame() (#409)

denis-bogdanas
authored and
dwightguth
committed

Commits on Apr 8, 2019

Implemented injection compaction for the KORE rewrite rule generator. (#398)

theo25
authored and
dwightguth
committed
Strategy language updates (#393)

ehildenb
authored and
dwightguth
committed
kore/Att.hashCode fix (#386)

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

Commits on Apr 4, 2019

Factored identifier encoding (#394)

ehildenb
authored and
dwightguth
committed

Commits on Mar 22, 2019

Fix bugs in K frontend compiler (#368)
dwightguth
authored

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
Revert "use ml constructs in k and encode them into kore (#336)"
Dwight Guth
committed
use ml constructs in k and encode them into kore (#336)

traiansf
authored and
dwightguth
committed

Commits on Mar 8, 2019

Fix bug involving use of Sets.union (#348)
dwightguth
authored

Commits on Mar 5, 2019

Commits on Feb 28, 2019

better TermCons.toString (#320)
dwightguth
authored

Commits on Feb 25, 2019

Various improvements to K frontend (#306)
dwightguth
authored

Commits on Feb 22, 2019

Send sentence labels to Kore (#305)

ttuegel
authored and
ehildenb
committed

Commits on Feb 14, 2019

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

dwightguth
authored and
ehildenb
committed

Commits on Jan 24, 2019

Use K escape sequences for Kore (#258)
ttuegel
authored

Commits on Jan 23, 2019

fix bug with parsing of NaN and Infinity in modules with identifiers (#247)
dwightguth
authored

Commits on Jan 21, 2019

Adding simplification attribute to non-constructor-based equalities (#250)
traiansf
authored

Commits on Jan 15, 2019

Added ML implication, exists, and forall. (#243)
traiansf
authored

Commits on Dec 19, 2018

KProve updates for EVM-semantics (#225)

traiansf
authored and
dwightguth
committed

Commits on Dec 17, 2018

State logging functionality to support tools like klab (#222)
ehildenb
authored

Commits on Dec 4, 2018

KProve frontend for the Haskell backend. (#205)
traiansf
authored

Commits on Nov 13, 2018

Fixed KoreToK sort decoding (#193)
traiansf
authored

Commits on Nov 8, 2018

Better fix for resolving overloads of 0-ary productions (#184)
dwightguth
authored

Commits on Nov 6, 2018

Fix sort of condition for search pattern (#185)
traiansf
authored

Commits on Oct 23, 2018

Haskell search (#174)
traiansf
authored