source:
src/ASM
@
1602
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| CPP2011 | 1033 | 8 years | ispelled & submitted | ||
| Arithmetic.ma | 12.0 KB | 1599 | 8 years | Start of merging of stuff into the standard library of Matita. | |
| ASM.ma | 9.0 KB | 1522 | 8 years | changes to preamble and lin to asm pass, resolved conflict in interpret | |
| ASMCosts.ma | 8.1 KB | 1597 | 8 years | fixed fetch for jaap | |
| Assembly.ma | 90.6 KB | 1593 | 8 years | - cleaned up Assembly, moved some definitions elsewhere | |
| AssemblyProof.ma | 88.7 KB | 1484 | 8 years | … | |
| BitVector.ma | 6.1 KB | 1599 | 8 years | Start of merging of stuff into the standard library of Matita. | |
| BitVectorTrie.ma | 24.0 KB | 1600 | 8 years | utilities and ASM ported to the new standard library | |
| BitVectorZ.ma | 4.0 KB | 1516 | 8 years | Ported to syntax of Matita 0.99.1. | |
| Char.ma | 76 bytes | 697 | 9 years | Merge Clight branch of vectors and friends. Start making stuff build. | |
| CostsProof.ma | 30.2 KB | 1587 | 8 years | changes from today, including removing indexing of problematic … | |
| Erase.ma | 3.5 KB | 1600 | 8 years | utilities and ASM ported to the new standard library | |
| Fetch.ma | 27.4 KB | 1602 | 8 years | giving up on fetch proofs for time being | |
| FoldStuff.ma | 1.7 KB | 1600 | 8 years | utilities and ASM ported to the new standard library | |
| I8051.ma | 6.8 KB | 1600 | 8 years | utilities and ASM ported to the new standard library | |
| I8051bis.ma | 125 bytes | 1415 | 8 years | 1. hwreg_store/retrieve no longer returns a res (but it is still … | |
| Interpret2.ma | 2.4 KB | 1550 | 8 years | Repaired after use of Russell for execute_1. | |
| Interpret.ma | 34.4 KB | 1600 | 8 years | utilities and ASM ported to the new standard library | |
| README | 641 bytes | 431 | 9 years | - README updated - Test and DoTest? fixed to work on assembly_program - … | |
| Status.ma | 45.9 KB | 1600 | 8 years | utilities and ASM ported to the new standard library | |
| StatusProofs.ma | 9.2 KB | 1530 | 8 years | Update due to Russell changes. | |
| String.ma | 90 bytes | 1599 | 8 years | Start of merging of stuff into the standard library of Matita. | |
| Util.ma | 19.5 KB | 1602 | 8 years | giving up on fetch proofs for time being | |
| Vector.ma | 17.7 KB | 1599 | 8 years | Start of merging of stuff into the standard library of Matita. | |
| WellLabeled.ma | 6.9 KB | 1494 | 8 years | changes to get everything compiling again | |
|
|||||||||||||
Note: See TracBrowser
for help on using the repository browser.
