Commits

History for

Commits on May 10, 2019

Allow #AG spec for bounded model checking (#458)

yzhang90
authored and
dwightguth
committed

Commits on Apr 19, 2019

Refactored generation of claims to KORE (#415)
traiansf
authored

Commits on Sep 11, 2018

add attribute to injection symbol (#145)
dwightguth
authored

Commits on Aug 11, 2018

add function attribute to append in kore (#131)
dwightguth
authored

Commits on Aug 8, 2018

Update K to generate kore from IELE (#125)
dwightguth
authored

Commits on Jun 1, 2018

IMP in KORE (#89)
dwightguth
authored

Loading