Commits

History for

Commits on May 13, 2019

add new test
Dwight Guth
committed

Commits on May 10, 2019

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

dwightguth
authored and
ehildenb
committed
Update strategy language and add simple tests (#449)
ehildenb
authored
Allow #AG spec for bounded model checking (#458)

yzhang90
authored and
dwightguth
committed

Commits on May 6, 2019

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

Adding parseKAST tests (#424)

radumereuta
authored and
dwightguth
committed

Commits on May 1, 2019

Configuration formatting improvements (#431)

nishantjr
authored and
dwightguth
committed

Commits on Apr 30, 2019

Commits on Apr 29, 2019

build and deploy k on arch linux (#385)

dwightguth
authored and
ehildenb
committed

Commits on Apr 27, 2019

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

Io extras (#403)
radumereuta
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 10, 2019

fix bug with stringbuffer on symbolic backends (#405)
dwightguth
authored

Commits on Apr 9, 2019

fix withConfig in requires (#400)
dwightguth
authored

Commits on Apr 8, 2019

Strategy language updates (#393)

ehildenb
authored and
dwightguth
committed
pass --smt none to simple (#399)
dwightguth
authored
generate explicit projections for outer casts (#395)
dwightguth
authored

Commits on Apr 5, 2019

Commits on Apr 4, 2019

FFI Module (#391)
mickyabir
authored
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 Apr 1, 2019

Attempt to switch several `smtlib` attributes to `smt-hook`. (#376)

ehildenb
authored and
dwightguth
committed

Commits on Mar 27, 2019