issues
search
braibant
/
articheck
14
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
change the Fix paragraph (to review)
#25
gasche
closed
10 years ago
2
On the expression of properties as first-order formula; attempts, direction and Related Work
#24
gasche
opened
10 years ago
1
Graph based
#23
protz
closed
10 years ago
0
Graph based
#22
gasche
closed
10 years ago
2
Graph based implementation
#21
braibant
closed
10 years ago
0
Do some math
#20
protz
opened
10 years ago
2
Built-in sums and products
#19
gasche
closed
10 years ago
1
Start thinking about a vocabulary
#18
protz
closed
10 years ago
2
Keep names of functions so as to provide concrete counter-exampels
#17
protz
opened
10 years ago
2
Confusing API for creating 'a tys
#16
protz
closed
10 years ago
4
The RBT example in the tree is broken
#15
protz
closed
10 years ago
5
Move examples to a separate directory
#14
braibant
closed
10 years ago
0
Better integration of sum and product types
#13
gasche
closed
10 years ago
0
Should type descriptors be equipped with pretty printers PPrint style?
#12
braibant
opened
10 years ago
0
AVL example
#11
braibant
closed
10 years ago
3
RBT example
#10
braibant
closed
10 years ago
4
Cleanups
#9
gasche
closed
10 years ago
0
Using types with invariants
#8
braibant
closed
10 years ago
0
Discuss the relation with Quickcheck
#7
braibant
closed
10 years ago
3
Using namespaces
#6
braibant
opened
10 years ago
1
Implementation
#5
braibant
closed
10 years ago
0
Introduction
#4
braibant
closed
10 years ago
0
Example list
#3
braibant
closed
10 years ago
2
Use fix
#2
braibant
closed
10 years ago
0
Related work
#1
braibant
opened
10 years ago
2