Commits

History for

Commits on Jun 26, 2019

Initial support for set variables (#571)

traiansf
authored and
ehildenb
committed

Commits on Jun 25, 2019

Updates to latest llvm backend (#570)

dwightguth
authored and
ehildenb
committed
add parsing for weakExistsFinally (#554)

ana-pantilie
authored and
dwightguth
committed

Commits on Jun 20, 2019

made Rewriter::prove return RewriterResult (#562)
traiansf
authored
Integrated KORE output into KPrint (#561)

traiansf
authored and
ehildenb
committed

Commits on Jun 19, 2019

add project:KItem (#560)
dwightguth
authored
Fix parsing bugs (#559)

dwightguth
authored and
ehildenb
committed

Commits on Jun 18, 2019

autoDeserialize in KRead (#558)

gtrepta
authored and
ehildenb
committed
Report error when trying to heat a KSequence. (#556)

dwightguth
authored and
ehildenb
committed

Commits on Jun 17, 2019

context alias (#531)

dwightguth
authored and
ehildenb
committed

Commits on Jun 13, 2019

Kore to k 2 (#538)
traiansf
authored

Commits on Jun 12, 2019

More KRead stuff, plus renaming KoreParser (#540)

gtrepta
authored and
ehildenb
committed

Commits on Jun 11, 2019

fix bug in MinimizeTermConstruction (#530)

dwightguth
authored and
ehildenb
committed
fix bug in kompile -I (#536)
dwightguth
authored
Do not mark Kore symbols as constructors that have [macro] rules (#534)
ttuegel
authored
Add `injective` to constructor-like Kore symbols (#513)
ttuegel
authored
Adding more robustness to the front end to take various input formats (#524)

gtrepta
authored and
ehildenb
committed
kprove: refactoring. Renamed and moved spliceModule() to actual specification steps in each backend, where it belongs. (#526)

denis-bogdanas
authored and
ehildenb
committed

Commits on Jun 10, 2019

fix KAs case in ExpandMacros.sort (#529)
dwightguth
authored
fix return sort of initializer for * cells (#522)
dwightguth
authored

Commits on Jun 7, 2019

fix parentheses matching issue for multiple anonymous variables (#523)
yzhang90
authored

Commits on Jun 6, 2019

Support #Forall _/ #Exists _ (#516)
yzhang90
authored
RefreshRules: avoid variable names from a given set (#519)

traiansf
authored and
dwightguth
committed

Commits on Jun 4, 2019

Fixes regression involving function context (#514)
dwightguth
authored
fix #fun (#510)
dwightguth
authored
kerenl/KastFrontEnd: simplify logic for selecting parsing module (#506)
ehildenb
authored

Commits on Jun 3, 2019

Tighten rules about anywhere rules (#507)
dwightguth
authored

Commits on May 30, 2019

Faster sort inference of ml primitives in unparsing (#499)

dwightguth
authored and
ehildenb
committed

Commits on May 28, 2019

Commits on May 21, 2019

fix performance regression (#483)

dwightguth
authored and
ehildenb
committed

Commits on May 16, 2019

Resolve interaction between macros and function context (#477)
dwightguth
authored

Commits on May 15, 2019

make contexts able to mention cells (#474)
dwightguth
authored

Commits on May 13, 2019

Kast respects output, allows specifying any output format for `kast` (#406)
ehildenb
authored

Commits on May 10, 2019

don't add hook attribute or hooked- prefix to unknown hooks (#460)

dwightguth
authored and
ehildenb
committed