Commits

History for

Commits on Jan 23, 2019

fix bug with parsing of NaN and Infinity in modules with identifiers (#247)
dwightguth
authored

Commits on May 8, 2018

*: fix copyrights
Everett Hildenbrandt
committed

Commits on May 11, 2017

delete a ton of dead code

Dwight Guth
authored and
bmmoore
committed

Commits on Jan 7, 2016

update copyright on all *.java
Dwight Guth
committed

Commits on Dec 6, 2015

K transformers refactoring and improvements
cos
committed

Commits on Nov 18, 2015

make scala collections use uniform
cos
committed

Commits on Sep 21, 2015

pleasing the compiler
cos
committed

Commits on May 20, 2015

Put value first in KToken and #token syntax.
bmmoore
committed

Commits on Apr 7, 2015

Add InjectedKLabel case to finish KORE visitor
bmmoore
committed

Commits on Feb 7, 2015

close to compiling again
cos
committed

Commits on Jan 31, 2015

compiles again
cos
committed

Commits on Jan 29, 2015

deep refactoring
cos
committed

Commits on Jan 22, 2015

work on parser (to merge)
cos
committed

Commits on Jan 2, 2015

update copyright for 2015 + update copyright on often-modified files
Dwight Guth
committed

Commits on Dec 5, 2014

clearing up the boundary between kore and builtins
cos
committed

Commits on Dec 4, 2014

KList is no longer a K, added a Top type
cos
committed

Commits on Nov 30, 2014

Commits on Nov 25, 2014

cleanup
cos
committed

Commits on Nov 24, 2014

simplify KORE classes
cos
committed

Commits on Nov 20, 2014

fixes
cos
committed

Commits on Nov 14, 2014

lots of refactoring, improving interfaces, and fixed a bug
cos
committed

Commits on Nov 7, 2014

KORE tests and improvements
cos
committed

Commits on Nov 4, 2014

Loading