source: src/utilities/lists.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2800   7 years campbell Tidy up Measurable.ma a little, get rid of obsolete comments.
(edit) @2443   7 years tranquil changed joint's stack pointer and internal stack
(edit) @2440   7 years piccolo fixed range_strong and linearise (commit by Paolo, he's to blame in case)
(edit) @2314   7 years campbell Move generic definitions from recent commit to appropriate places.
(edit) @2306   7 years campbell An insertion sort for testing purposes.
(edit) @2292   7 years campbell More RTLabs invariants.
(edit) @1949   8 years tranquil * lemma trace rel to eq flatten trace * some more properties of …
(edit) @1882   8 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
(edit) @1647   8 years tranquil * corrected some notation problems * adapted Cligth with slight …
(edit) @1631   8 years campbell Use fact that type environments in Cminor have distinct variables to …
(edit) @1630   8 years campbell Remainder of freshness in Clight to Cminor pass.
(edit) @1628   8 years campbell Show that the universe generated by Clight/fresh.ma is good.
(add) @1626   8 years campbell Add extra type safety in front end. NB: critical freshness parts …
Note: See TracRevisionLog for help on using the revision log.