HomeIsabelle/Phabricator

Separate out the strongly-connected sets code from CODETREE_FUNCTIONS so it can…
19d82db2c17dUnpublished

Unpublished Commit · Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

Separate out the strongly-connected sets code from CODETREE_FUNCTIONS so it can be used for tail recursion. Handle a wider range of tail-recursive calls and all non-tail-recursive calls.

Details

Provenance
dcjmAuthored on Aug 28 2016, 10:09 AM
Parents
rPOLYML0dde06186e22: Fix bug in memory initialisation and add the stack offset information in tail…
Branches
Unknown
Tags
Unknown