source: src/RTLabs/RTLAbstoRTL.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1064   9 years mulligan changes from today, nearly complete rtlabs translation pass
(edit) @1063   9 years mulligan changes from today
(edit) @1062   9 years mulligan separated jmeq and coercions from foldstuff.ma in order to fix the …
(edit) @1061   9 years mulligan more work, bug found, ridiculous map3 function with dep. types added
(edit) @1060   9 years mulligan work from this morning and yesterday
(edit) @1059   9 years mulligan work from today, bit of a mess at the moment
(edit) @1057   9 years mulligan changes from today
(edit) @1053   9 years mulligan changes
(edit) @1052   9 years mulligan removed offsets after reading cerco mailing list
(edit) @1050   9 years mulligan adding dependent types to map datastructure to remove all option …
(edit) @1049   9 years mulligan more stuff added
(edit) @1047   9 years mulligan more work from today
(edit) @1046   9 years mulligan syntax of rtlabs was wrong: cast not const. more added to rtlabs --> …
(edit) @1045   9 years mulligan resolved conflict in rtlabs
(edit) @799   9 years mulligan more changes.
(edit) @795   9 years mulligan Changes from this morning.
(edit) @793   9 years mulligan Work from today on rtlabs -> rtl pass.
(add) @789   9 years mulligan More work on rtlabs -> rtl pass.
Note: See TracRevisionLog for help on using the revision log.