source: src/utilities @ 1282

Name Size Rev Age Author Last Change
../
oldlib 697   9 years campbell Merge Clight branch of vectors and friends. Start making stuff build.
binary 891   9 years campbell Revise proofs affected by recent matita change.
adt 1274   9 years mulligan starting removing axioms from adts and giving them proper implementations
BitVectorTrieSet.ma 2.2 KB 753   9 years mulligan Work from today.
Coqlib.ma 31.7 KB 761   9 years campbell Enforce the use of declared identifiers/registers in Cminor/RTLabs.
option.ma 179 bytes 761   9 years campbell Enforce the use of declared identifiers/registers in Cminor/RTLabs.
extranat.ma 2.5 KB 961   9 years campbell Use precise bitvector sizes throughout the front end, rather than …
HMap.ma 25.0 KB 1052   9 years mulligan removed offsets after reading cerco mailing list
Compare.ma 200 bytes 1066   9 years mulligan changes from today
BitVectorTrieMap.ma 2 bytes 1192   9 years mulligan some files that were missing / laying dormant on my computer
Fix.ma 0 bytes 1192   9 years mulligan some files that were missing / laying dormant on my computer
RegisterSet.ma 1.7 KB 1193   9 years mulligan work on colouring algorithm halted as it can be axiomatised. now …
lists.ma 1.3 KB 1195   9 years campbell List find function.
extralib.ma 20.7 KB 1260   9 years mulligan commit for csc
sigma.ma 376 bytes 1266   9 years sacerdot Added second projection.
Note: See TracBrowser for help on using the repository browser.