source: src/common @ 2162

Name Size Rev Age Author Last Change
../
LabelledObjects.ma 10.3 KB 2133   9 years boender - moved does_not_occur_occur_absurd
Animation.ma 4.6 KB 1993   9 years campbell Make front-end memory model only depend on the general definitions by …
AST.ma 27.0 KB 2105   9 years campbell Show some results about globalenvs and program transformations.
ByteValues.ma 6.1 KB 1987   9 years campbell Move BEValues to common to reflect their use in the memory model for …
Errors.ma 8.0 KB 1954   9 years campbell Initial state is in the labelling simulation (modulo global envs results).
FrontEndMem.ma 1.6 KB 1993   9 years campbell Make front-end memory model only depend on the general definitions by …
GenMem.ma 7.1 KB 2105   9 years campbell Show some results about globalenvs and program transformations.
Globalenvs.ma 63.4 KB 2117   9 years campbell Workaround for bug in Matita.
IO.ma 2.6 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
IOMonad.ma 14.3 KB 2145   9 years campbell Cost labelling doesn't affect interaction.
PositiveMap.ma 7.7 KB 2104   9 years campbell Fill in misc axiom.
PreIdentifiers.ma 582 bytes 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
SmallstepExec.ma 6.6 KB 2145   9 years campbell Cost labelling doesn't affect interaction.
Order.ma 117 bytes 1049   10 years mulligan more stuff added
Registers.ma 436 bytes 1129   10 years mulligan removed conversions between Register and register
StructuredTraces.ma 27.3 KB 2129   9 years mulligan Large changes from today trying to complete the main theorem. Again :(
AssocList.ma 767 bytes 1599   9 years sacerdot Start of merging of stuff into the standard library of Matita.
CostLabel.ma 233 bytes 1268   9 years sacerdot 1) AST/Identifier.ma no longer used, utilities/IdentifierTools no …
Events.ma 10.8 KB 1599   9 years sacerdot Start of merging of stuff into the standard library of Matita.
Floats.ma 2.7 KB 1599   9 years sacerdot Start of merging of stuff into the standard library of Matita.
FrontEndOps.ma 22.4 KB 2032   9 years sacerdot !! BEWARE: major commit !! 1) [affects everybody] split for …
FrontEndVal.ma 2.8 KB 2032   9 years sacerdot !! BEWARE: major commit !! 1) [affects everybody] split for …
Integers.ma 77.6 KB 2032   9 years sacerdot !! BEWARE: major commit !! 1) [affects everybody] split for …
Smallstep.ma 27.7 KB 1510   9 years sacerdot All files ported to new dependent inversion.
Values.ma 29.9 KB 2032   9 years sacerdot !! BEWARE: major commit !! 1) [affects everybody] split for …
Graphs.ma 1.6 KB 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
Identifiers.ma 26.1 KB 2155   9 years tranquil updates to blocks and RTLabs to RTL translation (which sidesteps …
Pointers.ma 5.0 KB 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
Note: See TracBrowser for help on using the repository browser.