source: src/RTLabs/RTLAbstoRTL.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1224   9 years sacerdot Type of programs in common/AST made more dependent. In particular, the …
(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   9 years mulligan ack, dependent types are scary
(edit) @1073   9 years mulligan more changes from today
(edit) @1071   9 years mulligan changes the specific form that the added proofs take to use None, not …
(edit) @1068   9 years mulligan rtlabs translation complete subject to axioms
(edit) @1067   9 years mulligan more smaller changes
(edit) @1066   9 years mulligan changes from today
(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.