termination

Dynamic enforcement of size-change termination

Build status: ok dependency problems failing tests

Authors
Documentation
Tags
Last updatedThursday, May 24th, 2018 3:54:45pm (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/philnguyen/termination.git?path=termination2d2b4a5a55a0d00c77df02c609bcf8fbfcef3547
Last checkedFriday, May 25th, 2018 2:54:26pm (UTC)
Last editedFriday, March 30th, 2018 12:12:49pm (UTC)
Modules
  • termination/benchmarks/takr.rkt
  • termination/benchmarks/deriv.rkt
  • termination/whole-program-experiment/size-change-graph-whole-program.rkt
  • termination/benchmarks/maze2.rkt
  • termination/size-change-graph.rkt
  • termination/benchmarks/cpstak.rkt
  • termination/benchmarks/takl.rkt
  • termination/benchmarks/ray.rkt
  • termination/benchmarks/scheme-i2.rkt
  • termination/apply-with-specialized-termination.rkt
  • termination/benchmarks/main.rkt
  • termination/micro-benchmarks.rkt
  • termination/whole-program-experiment/whole-program-test.rkt
  • termination/benchmarks/peval.rkt
  • termination/benchmarks/nestedloop.rkt
  • termination/benchmarks/manolios/paper.rkt
  • termination/benchmarks/kanren.rkt
  • termination/benchmarks/earley.rkt
  • termination/benchmarks/nucleic3.rkt
  • termination/benchmarks/puzzle.rkt
  • termination/benchmarks/nboyer.rkt
  • termination/benchmarks/collatz.rkt
  • termination/flattened-parameter.rkt
  • termination/benchmarks/scheme.rkt
  • termination/benchmarks/destruct.rkt
  • termination/apply-with-termination.rkt
  • termination/benchmarks/ctak.rkt
  • termination/benchmarks/sboyer.rkt
  • termination/benchmarks/traverse.rkt
  • termination/benchmarks/sort1.rkt
  • termination/benchmarks/triangle.rkt
  • termination/benchmarks/fft.rkt
  • termination/main.rkt
  • termination/benchmarks/nucleic2.rkt
  • termination/benchmarks/collatz-q.rkt
  • termination/benchmarks/scheme-c2.rkt
  • termination/benchmarks/div.rkt
  • termination/benchmarks/graphs.rkt
  • termination/test.rkt
  • termination/benchmarks/dynamic.rkt
  • termination/benchmarks/dderiv.rkt
  • termination/benchmarks/takr2.rkt
  • termination/benchmarks/paraffins.rkt
  • termination/benchmarks/lattice2.rkt
  • termination/benchmarks/tak.rkt
  • termination/benchmarks/conform.rkt
  • termination/benchmarks/krauss/paper.rkt
  • termination/benchmarks/nqueens.rkt
  • termination/benchmarks/vazou/paper.rkt
  • termination/benchmarks/mazefun.rkt
  • termination/benchmarks/nfa.rkt