UoYCS-plasma LazySmallCheck2012 issues - Githubissues

UoYCS-plasma / LazySmallCheck2012

Lazy SmallCheck with functional values and existentials!

BSD 3-Clause "New" or "Revised" License

4 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix build on GHC >= 7.10

#14 rudymatela opened 7 years ago
1
Changes for GHC 7.10

#13 Warbo opened 9 years ago
2
*.swp && fixes cabal install && template-haskell v2.9

#12 rudymatela closed 10 years ago
5
Hackage availability

#11 Warbo opened 10 years ago
2
Trying the evalBuffer strategy

#10 jmct opened 11 years ago
2
Missing semicolons for FV output

#9 jasonreich closed 12 years ago
0
Test FVs inside DTs

#8 jasonreich opened 12 years ago
0
Introduce renamed constructors

#7 jasonreich closed 12 years ago
0
Performance is slower than one would of hoped.

#6 jasonreich opened 12 years ago
7
Include performance benchmarks.

#5 jasonreich closed 12 years ago
0
SYB or TH instances

#4 jasonreich closed 12 years ago
0
Add parallel conjunction

#3 jasonreich closed 12 years ago
1
Improve documentation

#2 jasonreich opened 12 years ago
0
Suite.test8 fails

#1 jasonreich closed 12 years ago
0