source: src/RTLabs/RTLAbstoRTL.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1149   9 years mulligan changes to get everything type checking again after changing names of …
(edit) @1138   9 years mulligan merged ertl_st_opaccs_a and ertl_st_opaccs_b into each other
(edit) @1077   10 years mulligan ack, dependent types are scary
(edit) @1073   10 years mulligan more changes from today
(edit) @1071   10 years mulligan changes the specific form that the added proofs take to use None, not …
(edit) @1068   10 years mulligan rtlabs translation complete subject to axioms
(edit) @1067   10 years mulligan more smaller changes
(edit) @1066   10 years mulligan changes from today
(edit) @1064   10 years mulligan changes from today, nearly complete rtlabs translation pass
(edit) @1063   10 years mulligan changes from today
(edit) @1062   10 years mulligan separated jmeq and coercions from foldstuff.ma in order to fix the …
(edit) @1061   10 years mulligan more work, bug found, ridiculous map3 function with dep. types added
(edit) @1060   10 years mulligan work from this morning and yesterday
(edit) @1059   10 years mulligan work from today, bit of a mess at the moment
(edit) @1057   10 years mulligan changes from today
(edit) @1053   10 years mulligan changes
(edit) @1052   10 years mulligan removed offsets after reading cerco mailing list
(edit) @1050   10 years mulligan adding dependent types to map datastructure to remove all option …
(edit) @1049   10 years mulligan more stuff added
(edit) @1047   10 years mulligan more work from today
(edit) @1046   10 years mulligan syntax of rtlabs was wrong: cast not const. more added to rtlabs --> …
(edit) @1045   10 years mulligan resolved conflict in rtlabs
(edit) @799   10 years mulligan more changes.
(edit) @795   10 years mulligan Changes from this morning.
(edit) @793   10 years mulligan Work from today on rtlabs -> rtl pass.
(add) @789   10 years mulligan More work on rtlabs -> rtl pass.
Note: See TracRevisionLog for help on using the revision log.