source: src/common @ 2486

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 2176   9 years campbell Remove memory spaces other than XData and Code; simplify pointers as a …
Executions.ma 8.7 KB 2338   9 years campbell Use much nicer definition for making several steps in the labelling …
Globalenvs.ma 76.2 KB 2471   9 years campbell Tame global environments a little.
Identifiers.ma 38.0 KB 2439   9 years campbell Get a proper reverse mapping of function blocks to identifiers by …
Measurable.ma 3.3 KB 2486   9 years campbell First go at a generalised version of measurable.
Pointers.ma 5.9 KB 2296   9 years campbell Tidy up some ill-placed definitions.
PreIdentifiers.ma 582 bytes 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
SmallstepExec.ma 11.2 KB 2459   9 years campbell Syntax update
AST.ma 29.6 KB 2468   9 years garnier Floats are gone from the front-end. Some trace amount might remain in …
Events.ma 10.8 KB 2468   9 years garnier Floats are gone from the front-end. Some trace amount might remain in …
FrontEndMem.ma 2.0 KB 2429   9 years garnier Restrict semantics of pointer comparison to what CompCert? does - i.e. …
FrontEndOps.ma 22.6 KB 2468   9 years garnier Floats are gone from the front-end. Some trace amount might remain in …
FrontEndVal.ma 2.5 KB 2468   9 years garnier Floats are gone from the front-end. Some trace amount might remain in …
GenMem.ma 7.3 KB 2332   9 years garnier Some progress on switch removal. Small fix in the definition of free, …
IO.ma 2.6 KB 2468   9 years garnier Floats are gone from the front-end. Some trace amount might remain in …
Values.ma 29.8 KB 2468   9 years garnier Floats are gone from the front-end. Some trace amount might remain in …
Order.ma 117 bytes 1049   10 years mulligan more stuff added
AssocList.ma 767 bytes 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
CostLabel.ma 233 bytes 1268   10 years sacerdot 1) AST/Identifier.ma no longer used, utilities/IdentifierTools no …
Floats.ma 2.7 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
Integers.ma 77.6 KB 2032   9 years sacerdot !! BEWARE: major commit !! 1) [affects everybody] split for …
Smallstep.ma 27.7 KB 1510   10 years sacerdot All files ported to new dependent inversion.
BackEndOps.ma 9.8 KB 2462   9 years tranquil separated in back end values program counters from code pointers …
ByteValues.ma 9.3 KB 2470   9 years tranquil completely separated program counters from code pointers in joint …
Errors.ma 8.3 KB 2453   9 years tranquil come changes in monad notation to * avoid pretty printed monsters * …
extraGlobalenvs.ma 6.4 KB 2478   9 years tranquil unified is_internal_function_of_program and is_internal_function
Graphs.ma 1.6 KB 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
IOMonad.ma 15.1 KB 2453   9 years tranquil come changes in monad notation to * avoid pretty printed monsters * …
PositiveMap.ma 30.5 KB 2453   9 years tranquil come changes in monad notation to * avoid pretty printed monsters * …
Registers.ma 444 bytes 2286   9 years tranquil Big update! * merge of all _paolo variants * reorganised some depends …
StatusSimulation.ma 35.2 KB 2477   9 years tranquil status_simulation reformulated definition of joint_classify split up …
StructuredTraces.ma 35.3 KB 2423   9 years tranquil as_classifier predicate → as_classify function as_call predicate from …
Note: See TracBrowser for help on using the repository browser.