source: src/utilities @ 1324

Name Size Rev Age Author Last Change
../
adt 1296   9 years mulligan changes
binary 891   9 years campbell Revise proofs affected by recent matita change.
oldlib 697   10 years campbell Merge Clight branch of vectors and friends. Start making stuff build.
Compare.ma 200 bytes 1066   9 years mulligan changes from today
deppair.ma 269 bytes 1316   9 years campbell Merge in id-lookup-branch to trunk.
sigma.ma 376 bytes 1266   9 years sacerdot Added second projection.
option.ma 870 bytes 1316   9 years campbell Merge in id-lookup-branch to trunk.
RegisterSet.ma 1.7 KB 1193   9 years mulligan work on colouring algorithm halted as it can be axiomatised. now …
pair.ma 1.9 KB 1316   9 years campbell Merge in id-lookup-branch to trunk.
BitVectorTrieSet.ma 2.2 KB 753   10 years mulligan Work from today.
lists.ma 2.4 KB 1316   9 years campbell Merge in id-lookup-branch to trunk.
extranat.ma 2.5 KB 961   9 years campbell Use precise bitvector sizes throughout the front end, rather than …
extralib.ma 20.4 KB 1316   9 years campbell Merge in id-lookup-branch to trunk.
Coqlib.ma 31.7 KB 761   10 years campbell Enforce the use of declared identifiers/registers in Cminor/RTLabs.
Note: See TracBrowser for help on using the repository browser.