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
src/main/config/checkstyle-copyright: fix copyright checkstyle regexps
Everett Hildenbrandt
committed

Commits on Feb 27, 2018

Fix installer console mode bug (#742)
shd101wyy
authored

Commits on Jan 6, 2016

copyright year to 2015 => 2016
cos
committed

Commits on Jan 2, 2015

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

Commits on Dec 15, 2014

remove all references to maude backend and make java the default
Dwight Guth
committed

Commits on Nov 26, 2014

add javaBackendHooks method to AbstractKModule + clean up BuiltinFunction code
Dwight Guth
committed

Commits on Oct 27, 2014

Commits on Sep 25, 2014

relax copyright restrictions for file extensions not part of main code base
Dwight Guth
committed

Commits on Sep 17, 2014

fix various findbugs errors categorized CORRECTNESS and BAD_PRACTICE
Dwight Guth
committed

Commits on Sep 12, 2014

refactor build system to use maven - change code files to make build system work
Dwight Guth
committed
refactor build system to use maven - moving all files
Dwight Guth
committed

Loading