All Versions
12
Latest Version
Avg Release Cycle
-
Latest Release
-
Changelog History
Page 1
Changelog History
Page 1
-
v0.1.7.0 Changes
- ๐ [incompatibility] with previous versions, CHR (and required code) moved to separate libs chr-*
- [compatibility] with ghc 8.2.x
-
v0.1.6.8 Changes
- ๐ [api] addition of replacement for TreeTrie required for CHR solving (gives x4 performance improvement), also forcing changes in uhc
- [api] rewrite of scoped lookup/map
-
v0.1.6.7
-
v0.1.6.6 Changes
- [compatibility] with ghc 8.0.1
- [chr engine] development, examples, debugging, ...
- ๐ [libs] removed dependency on syb (and Data instances)
-
v0.1.6.5 Changes
- โก๏ธ [libs] updated version lowerbound for hashable and fclabels
- [chr] dependency on logict-state lib, as prep for new solver
- [chr] CHR rules have an additional priority field, as prep for new solver
- [api] additional PP instances
- ๐ฒ [serialize] generic impl of Serialize more efficiently generates tags (1 per datatype instead of log(nr of constructors))
-
v0.1.6.4 Changes
- ๐ [api] move of RLList functionality encoding lexical scoping to separate module LexScope (taken from UHC)
-
v0.1.6.3 Changes
- ๐ [api] move of RLList, TreeTrie, CHR, Substitutable (partial) from uhc to uhc-util
-
v0.1.6.2 Changes
- ๐ [uhc] as released with uhc 1.1.9.1
-
v0.1.5.5 Changes
- [compatibility] GHC 7.10 compatibility: sortOn has become more strict, addition of a sortOnLazy
-
v0.1.5.4 Changes
- ๐ [build] changelog.md included in cabal dist