Commits

History for

Commits on Aug 20, 2019

java-backend: Variable.equals() is now based on name and sort (#687)

denis-bogdanas
authored and
ehildenb
committed
2ced6b6

Commits on Aug 13, 2019

fix bug involving strategies (#682)

dwightguth
authored and
ehildenb
committed
db026d4

Commits on Aug 9, 2019

tests: One more test for `#fun`, failing. Anything simpler passes. (#619)

denis-bogdanas
authored and
dwightguth
committed
8b0459d

Commits on Jul 29, 2019

Pyk library updates and fixes to KPrint output (#651)
ehildenb
authored
b87f53f

Commits on Jul 26, 2019

missing bytes hooks (#641)
dwightguth
authored
c7c7ca9

Commits on Jul 19, 2019

Add the hasDomainValues attribute to kore (#623)

virgil-serbanuta
authored and
dwightguth
committed
d9ed46a

Commits on Jul 12, 2019

Tests for nested #fun. Issues with LLVM backend (#597)

denis-bogdanas
authored and
dwightguth
committed
05e91fa

Commits on Jul 10, 2019

fix bugs in CheckFunctions (#605)

dwightguth
authored and
ehildenb
committed
353d89c

Commits on Jul 9, 2019

Refactored #Ceil axiom to use Set vars (#596)

traiansf
authored and
dwightguth
committed
89361d7

Commits on Jul 4, 2019

Non-recursive and recursive macros, plus macros applied to tokens. (#592)
dwightguth
authored
dadcda0

Commits on Jul 3, 2019

Refactor KILToKORE to use new `FlatModule` data-structures in outer-ext.scala (#573)
ehildenb
authored
c4b32d3
KBMC (#545)

yzhang90
authored and
dwightguth
committed
1875e28
ocaml-backend kompile: test for a missing kompile error. +Int in LHS (#589)

denis-bogdanas
authored and
dwightguth
committed
a688a7b

Commits on Jun 26, 2019

Initial support for set variables (#571)

traiansf
authored and
ehildenb
committed
66945cf

Commits on Jun 25, 2019

Updates to latest llvm backend (#570)

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

ana-pantilie
authored and
dwightguth
committed
8598331

Commits on Jun 20, 2019

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

traiansf
authored and
ehildenb
committed
90ee840

Commits on Jun 19, 2019

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

dwightguth
authored and
ehildenb
committed
a1acdfd

Commits on Jun 18, 2019

autoDeserialize in KRead (#558)

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

dwightguth
authored and
ehildenb
committed
1bb5fc4

Commits on Jun 17, 2019

context alias (#531)

dwightguth
authored and
ehildenb
committed
ef595aa

Commits on Jun 13, 2019

Kore to k 2 (#538)
traiansf
authored
1252670

Commits on Jun 12, 2019

More KRead stuff, plus renaming KoreParser (#540)

gtrepta
authored and
ehildenb
committed
121d8e1

Commits on Jun 11, 2019

fix bug in MinimizeTermConstruction (#530)

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

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

denis-bogdanas
authored and
ehildenb
committed
e8210a4

Commits on Jun 10, 2019

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

Commits on Jun 7, 2019

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

Commits on Jun 6, 2019

Support #Forall _/ #Exists _ (#516)
yzhang90
authored
8d8c20b