Commits

History for

Commits on Aug 20, 2019

[BUGFIX] LLVM backend crashes on integers prefixed with `+` (#690)

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

denis-bogdanas
authored and
ehildenb
committed

Commits on Aug 16, 2019

revert haskell backend submodule (#694)
dwightguth
authored

Commits on Aug 9, 2019

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

denis-bogdanas
authored and
dwightguth
committed

Commits on Aug 8, 2019

Unparse set vars from Kore to K (#676)
traiansf
authored
Updated haskell-backend with set-vars (#675)

traiansf
authored and
dwightguth
committed

Commits on Jul 29, 2019

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

Commits on Jul 25, 2019

The test case about `String2Base` function under llvm backend. (#634)

QianyangPeng
authored and
ehildenb
committed

Commits on Jul 12, 2019

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

denis-bogdanas
authored and
dwightguth
committed

Commits on Jul 10, 2019

test case for f32 multiplication with llvm backend (#601)

QianyangPeng
authored and
ehildenb
committed

Commits on Jul 4, 2019

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

Commits on Jul 3, 2019

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

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

denis-bogdanas
authored and
dwightguth
committed

Commits on Jun 26, 2019

Pyk library: Library for handling frontend JSON KAST terms programatically (#557)
ehildenb
authored

Commits on Jun 21, 2019

Fix regression involving strategies (#568)
dwightguth
authored

Commits on Jun 20, 2019

made Rewriter::prove return RewriterResult (#562)
traiansf
authored

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

[BUGFIX] Fix poly production unparsing off-by-one error (#552)
ehildenb
authored
bug of `in` operator in java backend (#549)

QianyangPeng
authored and
ehildenb
committed
context alias (#531)

dwightguth
authored and
ehildenb
committed

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
Adding more robustness to the front end to take various input formats (#524)

gtrepta
authored and
ehildenb
committed

Commits on Jun 7, 2019

Add deposit-contract proof test (#520)

daejunpark
authored and
denis-bogdanas
committed

Commits on Jun 4, 2019

Fixes regression involving function context (#514)
dwightguth
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

Fix bug involving fresh functions and top sort in ocaml backend (#489)
dwightguth
authored

Commits on May 23, 2019

Commits on May 16, 2019

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