source: src/joint/stacksize.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2661   8 years sacerdot stacksize "repaired" by "considering" tailcalls Some daemons added …
(edit) @2601   8 years sacerdot Extraction to ocaml is now working, with a couple of bugs left. One …
(edit) @2456   8 years boender - added simple proof
(edit) @2426   8 years boender - updated stacksize to reflect new developments, completed proof - …
(edit) @2417   8 years boender - reverted changes to StructuredTraces? (shouldn't have been committed …
(add) @2398   8 years boender - committed start of stacksize
Note: See TracRevisionLog for help on using the revision log.