source: src/common @ 1052

Name Size Rev Age Author Last Change
../
Registers.ma 585 bytes 1049   10 years mulligan more stuff added
Order.ma 117 bytes 1049   10 years mulligan more stuff added
Graphs.ma 305 bytes 746   10 years mulligan Changes to bitvectortrieset: equality on sets. Added new file for …
CostLabel.ma 336 bytes 757   10 years mulligan Lots more fixing to get both front and backends using same conventions …
AST.ma 23.6 KB 1052   10 years mulligan removed offsets after reading cerco mailing list
AssocList.ma 760 bytes 789   10 years mulligan More work on rtlabs -> rtl pass.
Values.ma 37.0 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
SmallstepExec.ma 4.5 KB 797   10 years campbell Add error messages wherever the error monad is used. Sticks to …
Smallstep.ma 27.7 KB 891   10 years campbell Revise proofs affected by recent matita change.
PreIdentifiers.ma 572 bytes 797   10 years campbell Add error messages wherever the error monad is used. Sticks to …
Mem.ma 114.1 KB 891   10 years campbell Revise proofs affected by recent matita change.
Maps.ma 42.2 KB 747   10 years campbell Merge the two AST files together (although some definitions still need …
IOMonad.ma 8.3 KB 797   10 years campbell Add error messages wherever the error monad is used. Sticks to …
IO.ma 2.6 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
Integers.ma 77.6 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
Identifiers.ma 4.3 KB 816   10 years campbell Clight to Cminor compilation, modulo switch statements, temporary …
Globalenvs.ma 51.4 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
FrontEndOps.ma 14.9 KB 962   10 years campbell Casts should use source type's signedness, not the target's.
Floats.ma 2.7 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
Events.ma 10.8 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
Errors.ma 8.5 KB 797   10 years campbell Add error messages wherever the error monad is used. Sticks to …
Animation.ma 4.6 KB 963   10 years campbell Extra debugging aid for animation of semantics.
Note: See TracBrowser for help on using the repository browser.