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 Dec 22, 2017

Java backend in RV-K (#643)
dwightguth
authored

Commits on Jan 15, 2016

update copyright for all k files
cos
committed

Commits on Jul 31, 2015

commented out incorrectly translated lemmas
andreistefanescu
committed

Commits on Jan 2, 2015

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

Commits on Oct 10, 2014

fixed whitespace
andreistefanescu
committed

Commits on Oct 9, 2014

minor fixes
andreistefanescu
committed

Commits on Oct 8, 2014

list examples work with List instead of IntSeq; progress on tree examples
andreistefanescu
committed

Commits on Oct 7, 2014

Commits on Sep 25, 2014

rename files
Dwight Guth
committed

Loading