source:
src/ASM
@
1615
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| CPP2011 | 1033 | 10 years | ispelled & submitted | ||
| WellLabeled.ma | 6.9 KB | 1494 | 9 years | changes to get everything compiling again | |
| Vector.ma | 17.7 KB | 1599 | 9 years | Start of merging of stuff into the standard library of Matita. | |
| Util.ma | 19.5 KB | 1602 | 9 years | giving up on fetch proofs for time being | |
| String.ma | 90 bytes | 1599 | 9 years | Start of merging of stuff into the standard library of Matita. | |
| StatusProofs.ma | 9.2 KB | 1606 | 9 years | Porting to last library of Matita. | |
| Status.ma | 45.9 KB | 1600 | 9 years | utilities and ASM ported to the new standard library | |
| README | 641 bytes | 431 | 10 years | - README updated - Test and DoTest? fixed to work on assembly_program - … | |
| Policy.ma | 47.1 KB | 1615 | 9 years | Policy now depends on Assembly and not the other way around. | |
| Interpret.ma | 34.4 KB | 1606 | 9 years | Porting to last library of Matita. | |
| Interpret2.ma | 2.3 KB | 1606 | 9 years | Porting to last library of Matita. | |
| I8051bis.ma | 125 bytes | 1415 | 9 years | 1. hwreg_store/retrieve no longer returns a res (but it is still … | |
| I8051.ma | 6.8 KB | 1600 | 9 years | utilities and ASM ported to the new standard library | |
| FoldStuff.ma | 1.7 KB | 1600 | 9 years | utilities and ASM ported to the new standard library | |
| Fetch.ma | 23.9 KB | 1604 | 9 years | for jaap | |
| Erase.ma | 3.5 KB | 1600 | 9 years | utilities and ASM ported to the new standard library | |
| CostsProof.ma | 30.2 KB | 1587 | 9 years | changes from today, including removing indexing of problematic … | |
| Char.ma | 76 bytes | 697 | 10 years | Merge Clight branch of vectors and friends. Start making stuff build. | |
| BitVectorZ.ma | 4.0 KB | 1516 | 9 years | Ported to syntax of Matita 0.99.1. | |
| BitVectorTrie.ma | 24.0 KB | 1609 | 9 years | - added alias to ASM/BitVectorTrie - removed double include from … | |
| BitVector.ma | 6.1 KB | 1599 | 9 years | Start of merging of stuff into the standard library of Matita. | |
| AssemblyProof.ma | 88.6 KB | 1607 | 9 years | Porting to new library. | |
| Assembly.ma | 48.1 KB | 1615 | 9 years | Policy now depends on Assembly and not the other way around. | |
| ASMCosts.ma | 8.0 KB | 1606 | 9 years | Porting to last library of Matita. | |
| ASM.ma | 9.0 KB | 1522 | 9 years | changes to preamble and lin to asm pass, resolved conflict in interpret | |
| Arithmetic.ma | 12.0 KB | 1599 | 9 years | Start of merging of stuff into the standard library of Matita. | |
|
|||||||||||||
Note: See TracBrowser
for help on using the repository browser.
