source: src/common @ 2185

Name Size Rev Age Author Last Change
../
Animation.ma 4.6 KB 2176   9 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
AssocList.ma 767 bytes 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
AST.ma 27.6 KB 2176   9 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
ByteValues.ma 6.2 KB 2176   9 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
CostLabel.ma 233 bytes 1268   10 years sacerdot 1) AST/Identifier.ma no longer used, utilities/IdentifierTools no …
Errors.ma 8.0 KB 1954   9 years campbell Initial state is in the labelling simulation (modulo global envs results).
Events.ma 10.8 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
Floats.ma 2.7 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
FrontEndMem.ma 1.6 KB 2185   9 years campbell Use bitvectors for offsets.
FrontEndOps.ma 22.3 KB 2177   9 years campbell Tidy up multiplication.
FrontEndVal.ma 2.8 KB 2176   9 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
GenMem.ma 7.2 KB 2185   9 years campbell Use bitvectors for offsets.
Globalenvs.ma 63.6 KB 2185   9 years campbell Use bitvectors for offsets.
Graphs.ma 1.6 KB 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
Identifiers.ma 26.4 KB 2182   9 years tranquil updated linearisation pass
Integers.ma 77.6 KB 2032   9 years sacerdot !! BEWARE: major commit !! 1) [affects everybody] split for …
IO.ma 2.6 KB 2176   9 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
IOMonad.ma 14.3 KB 2145   9 years campbell Cost labelling doesn't affect interaction.
LabelledObjects.ma 10.3 KB 2133   9 years boender - moved does_not_occur_occur_absurd
Order.ma 117 bytes 1049   10 years mulligan more stuff added
Pointers.ma 5.6 KB 2185   9 years campbell Use bitvectors for offsets.
PositiveMap.ma 7.7 KB 2104   9 years campbell Fill in misc axiom.
PreIdentifiers.ma 582 bytes 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
Registers.ma 436 bytes 1129   10 years mulligan removed conversions between Register and register
Smallstep.ma 27.7 KB 1510   10 years sacerdot All files ported to new dependent inversion.
SmallstepExec.ma 6.6 KB 2145   9 years campbell Cost labelling doesn't affect interaction.
StructuredTraces.ma 27.3 KB 2129   9 years mulligan Large changes from today trying to complete the main theorem. Again :(
Values.ma 29.8 KB 2176   9 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
Note: See TracBrowser for help on using the repository browser.