source: src/utilities @ 1528

Name Size Rev Age Author Last Change
../
adt 1463   8 years mulligan added erasure for lin
binary 1528   8 years campbell Update most of Assembly.ma with new syntax and identifier maps. Change …
BitVectorTrieSet.ma 2.2 KB 753   9 years mulligan Work from today.
Compare.ma 200 bytes 1066   8 years mulligan changes from today
Coqlib.ma 31.7 KB 761   9 years campbell Enforce the use of declared identifiers/registers in Cminor/RTLabs.
deppair.ma 437 bytes 1351   8 years campbell Tidy up some loose ends from the invariants branch merge.
extralib.ma 2.6 KB 1523   8 years campbell Separate out positive and Z definitions from extralib.ma. Minor syntax …
extranat.ma 2.9 KB 1516   8 years sacerdot Ported to syntax of Matita 0.99.1.
lists.ma 3.1 KB 1516   8 years sacerdot Ported to syntax of Matita 0.99.1.
option.ma 870 bytes 1316   8 years campbell Merge in id-lookup-branch to trunk.
pair.ma 1.9 KB 1316   8 years campbell Merge in id-lookup-branch to trunk.
RegisterSet.ma 1.7 KB 1193   8 years mulligan work on colouring algorithm halted as it can be axiomatised. now …
sigma.ma 376 bytes 1266   8 years sacerdot Added second projection.
Note: See TracBrowser for help on using the repository browser.