issues
search
tip-org
/
benchmarks
Tons of Inductive Problems: The Benchmarks
http://tip-org.github.io/
BSD 3-Clause "New" or "Revised" License
24
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix prop_38, closes #14
#15
danr
closed
3 years ago
2
Mistake in benchmark prod/prop_38
#14
moajohansson
closed
9 months ago
0
Invalid match patterns order
#13
Columpio
closed
3 years ago
1
Duplicates in benchmarks
#12
Columpio
closed
3 years ago
2
Why are there true propositions in false/ ?
#11
djeis97
closed
4 years ago
1
Fix Natural Subtraction
#10
zgrannan
closed
4 years ago
1
SMT-LIB2 conventions
#9
NikolajBjorner
closed
4 years ago
0
Bring module name in line with file name
#8
Warbo
closed
7 years ago
0
feature proposal: `lemma`
#7
c-cube
closed
6 years ago
7
explicit polymorphism?
#6
c-cube
closed
6 years ago
10
spurious `@` in some benchmarks?
#5
c-cube
closed
8 years ago
2
Empty benchmarks
#4
danr
closed
7 years ago
2
No license?
#3
Warbo
closed
8 years ago
0
tip-lib-0.1.1 can't build its Haddock documentation
#2
peti
closed
9 years ago
1
tip-lib-0.1 doesn't compile because alex isn't listed as a build-tool
#1
peti
closed
9 years ago
1