All Versions
20
Latest Version
Avg Release Cycle
124 days
Latest Release
2281 days ago
Changelog History
Page 1
Changelog History
Page 1
-
v0.5.0 Changes
February 01, 2018๐ This major release adds behavioral modeling capability to Clafer.
- ๐ Release
-
v0.4.5 Changes
March 13, 2017- ๐ Release
-
v0.4.4 Changes
September 19, 2016- ๐ Release
-
v0.4.3 Changes
December 22, 2015- ๐ Release
-
v0.4.2 Changes
October 17, 2015- ๐ Release
-
v0.4.2.1 Changes
October 19, 2015- ๐ Fixed Haddock build, updated README, fixed a test case.
-
v0.4.1 Changes
September 01, 2015- ๐ Release
-
v0.4.0 Changes
July 28, 2015- ๐ Release
-
v0.3.10 Changes
April 25, 2015- ๐ Release
-
v0.3.9 Changes
March 06, 2015- ๐ Release