issues
search
DmxLarchey
/
Breadth-First-Numbering
Coq implementation of Breadth-First Numbering à la Okasaki
Other
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Much better code for 3 lazy-lists FIFOS
#16
DmxLarchey
opened
6 years ago
0
After submission (not urgent)
#15
DmxLarchey
opened
6 years ago
1
Bfn forest
#14
DmxLarchey
closed
6 years ago
1
Cleanup intf
#13
DmxLarchey
closed
6 years ago
1
Cleanup with modules
#12
DmxLarchey
closed
6 years ago
0
bft_std and bft_forest and equalities
#11
DmxLarchey
closed
6 years ago
0
some beautification
#10
rmatthes
closed
6 years ago
0
Checkbfr
#9
DmxLarchey
closed
6 years ago
0
Cleanup & genericity
#8
DmxLarchey
opened
6 years ago
9
Breadth First Reconstruction
#7
DmxLarchey
closed
6 years ago
2
Benchmarks
#6
DmxLarchey
opened
6 years ago
9
Changing name of default branch
#5
DmxLarchey
closed
6 years ago
3
Implementation of a generic BFN and queues as lazy lists
#4
DmxLarchey
closed
6 years ago
6
improve the file a bit
#3
rmatthes
closed
6 years ago
1
very minor corrections
#2
rmatthes
closed
6 years ago
2
very small changes
#1
rmatthes
closed
6 years ago
0