../
|
CPP2011
|
|
1033
|
8 years
|
sacerdot |
ispelled & submitted
|
Arithmetic.ma
|
12.0 KB
|
1599
|
8 years
|
sacerdot |
Start of merging of stuff into the standard library of Matita.
|
ASM.ma
|
9.0 KB
|
1522
|
8 years
|
mulligan |
changes to preamble and lin to asm pass, resolved conflict in interpret
|
ASMCosts.ma
|
26.2 KB
|
1622
|
8 years
|
mulligan |
to avoid conflicts, bug in typechecker?
|
Assembly.ma
|
48.1 KB
|
1615
|
8 years
|
sacerdot |
Policy now depends on Assembly and not the other way around.
|
AssemblyProof.ma
|
88.7 KB
|
1616
|
8 years
|
sacerdot |
Partially ported to new Matita syntax.
Because of some changes in …
|
BitVector.ma
|
6.1 KB
|
1599
|
8 years
|
sacerdot |
Start of merging of stuff into the standard library of Matita.
|
BitVectorTrie.ma
|
24.0 KB
|
1609
|
8 years
|
boender |
- added alias to ASM/BitVectorTrie
- removed double include from …
|
BitVectorZ.ma
|
4.0 KB
|
1516
|
8 years
|
sacerdot |
Ported to syntax of Matita 0.99.1.
|
Char.ma
|
76 bytes
|
697
|
9 years
|
campbell |
Merge Clight branch of vectors and friends.
Start making stuff build.
|
CostsProof.ma
|
30.6 KB
|
1620
|
8 years
|
sacerdot |
One of the mutual cases of the open proof is practically finished.
|
Erase.ma
|
3.5 KB
|
1600
|
8 years
|
sacerdot |
utilities and ASM ported to the new standard library
|
Fetch.ma
|
23.9 KB
|
1604
|
8 years
|
mulligan |
for jaap
|
FoldStuff.ma
|
1.7 KB
|
1600
|
8 years
|
sacerdot |
utilities and ASM ported to the new standard library
|
I8051.ma
|
6.8 KB
|
1600
|
8 years
|
sacerdot |
utilities and ASM ported to the new standard library
|
I8051bis.ma
|
125 bytes
|
1415
|
8 years
|
sacerdot |
1. hwreg_store/retrieve no longer returns a res (but it is still …
|
Interpret2.ma
|
2.3 KB
|
1606
|
8 years
|
sacerdot |
Porting to last library of Matita.
|
Interpret.ma
|
34.4 KB
|
1606
|
8 years
|
sacerdot |
Porting to last library of Matita.
|
Policy.ma
|
47.1 KB
|
1615
|
8 years
|
sacerdot |
Policy now depends on Assembly and not the other way around.
|
README
|
641 bytes
|
431
|
9 years
|
mulligan |
- README updated
- Test and DoTest? fixed to work on assembly_program
- …
|
Status.ma
|
45.9 KB
|
1600
|
8 years
|
sacerdot |
utilities and ASM ported to the new standard library
|
StatusProofs.ma
|
9.2 KB
|
1606
|
8 years
|
sacerdot |
Porting to last library of Matita.
|
String.ma
|
90 bytes
|
1599
|
8 years
|
sacerdot |
Start of merging of stuff into the standard library of Matita.
|
Util.ma
|
19.5 KB
|
1602
|
8 years
|
mulligan |
giving up on fetch proofs for time being
|
Vector.ma
|
17.7 KB
|
1599
|
8 years
|
sacerdot |
Start of merging of stuff into the standard library of Matita.
|
WellLabeled.ma
|
6.9 KB
|
1494
|
8 years
|
mulligan |
changes to get everything compiling again
|