source: src/common @ 1214

Name Size Rev Age Author Last Change
../
Animation.ma 4.6 KB 1213   8 years sacerdot 1) New values (joint/BEValues.ma) and memory model for the back-ends …
AssocList.ma 760 bytes 789   9 years mulligan More work on rtlabs -> rtl pass.
AST.ma 22.3 KB 1213   8 years sacerdot 1) New values (joint/BEValues.ma) and memory model for the back-ends …
CostLabel.ma 336 bytes 757   9 years mulligan Lots more fixing to get both front and backends using same conventions …
Errors.ma 9.2 KB 1214   8 years sacerdot res_to_opt function added to common/Errors and used in joint/semantics …
Events.ma 10.8 KB 961   8 years campbell Use precise bitvector sizes throughout the front end, rather than …
Floats.ma 2.7 KB 961   8 years campbell Use precise bitvector sizes throughout the front end, rather than …
FrontEndOps.ma 14.9 KB 962   8 years campbell Casts should use source type's signedness, not the target's.
GenMem.ma 6.6 KB 1213   8 years sacerdot 1) New values (joint/BEValues.ma) and memory model for the back-ends …
Globalenvs.ma 51.5 KB 1139   8 years campbell Shift init_data out of generic program record so that it only appears …
Graphs.ma 908 bytes 1082   8 years mulligan work from today on ertl -> ltl pass
Identifiers.ma 6.4 KB 1092   8 years campbell Some minor definitions for identifiers and lists.
Integers.ma 77.6 KB 961   8 years campbell Use precise bitvector sizes throughout the front end, rather than …
IntValue.ma 3.3 KB 1059   8 years mulligan work from today, bit of a mess at the moment
IO.ma 2.6 KB 961   8 years campbell Use precise bitvector sizes throughout the front end, rather than …
IOMonad.ma 8.3 KB 797   9 years campbell Add error messages wherever the error monad is used. Sticks to …
Mem.ma 114.1 KB 891   9 years campbell Revise proofs affected by recent matita change.
Order.ma 117 bytes 1049   8 years mulligan more stuff added
Pointers.ma 3.8 KB 1213   8 years sacerdot 1) New values (joint/BEValues.ma) and memory model for the back-ends …
PreIdentifiers.ma 572 bytes 797   9 years campbell Add error messages wherever the error monad is used. Sticks to …
Registers.ma 436 bytes 1129   8 years mulligan removed conversions between Register and register
Smallstep.ma 27.7 KB 891   9 years campbell Revise proofs affected by recent matita change.
SmallstepExec.ma 4.6 KB 1213   8 years sacerdot 1) New values (joint/BEValues.ma) and memory model for the back-ends …
Values.ma 33.9 KB 1213   8 years sacerdot 1) New values (joint/BEValues.ma) and memory model for the back-ends …
Note: See TracBrowser for help on using the repository browser.