Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v0.5
486bb382
·
Finalize version 0.5
·
Sep 18, 2023
v0.4.13
64e50097
·
Version 0.4.13
·
Nov 01, 2022
v0.4.12
160fb2b0
·
Finalize version 0.4.12
·
Aug 11, 2022
v0.4.11
76ede894
·
Version 0.4.11
·
May 18, 2022
v0.4.10
f61cc3db
·
Version 0.4.10
·
Nov 16, 2021
v0.4.9
26ffaaff
·
Version 0.4.9
·
Feb 17, 2021
v0.4.8
1af021f1
·
Finalize version 0.4.8
·
Jan 29, 2020
v0.4.7
00b6b878
·
Finalize version 0.4.7
·
Jun 01, 2019
v0.4.6
2b70ac84
·
Migrate examples and tests to cryptominisat5
·
May 20, 2019
Ersatz version 0.4.6
Unverified
v0.4.5
3c89c5f7
·
Version 0.4.5
·
May 02, 2019
v0.4.4
34604632
·
Version 0.4.4
·
Aug 13, 2018
v0.4.3
5dfb864f
·
Version 0.4.3
·
Jul 03, 2018
v0.4.2
024a3641
·
Version 0.4.2
·
Jan 18, 2018
v0.4.1
78eb603f
·
Version 0.4.1
·
Jul 28, 2017
v0.4
6a309f24
·
Add Hackage badge
·
May 12, 2017
v0.3.1
ef0f1ef0
·
Remove occurrence of Werror for hackage
·
May 29, 2016
v0.3
8bfbfc93
·
removed HLint.hs from ersatz.cabal
·
Mar 06, 2015
version 0.3
v0.3.0.1
9817ae78
·
widen the transformers/mtl bounds
·
Jan 09, 2015
version 0.3.0.1
v0.2.6.1
aadf98c9
·
Merge pull request #6 from glguy/expose-gvariable
·
Nov 20, 2014
version 0.2.6.1
v0.2.6
513037ea
·
`temporary` dep bump
·
Apr 17, 2014
version 0.2.6
Prev
1
2
Next