termination

Dynamic enforcement of size-change termination

Build status: failed

Authors
Documentation
Tags
Last updatedFriday, September 21st, 2018 2:59:02am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/philnguyen/termination.git?path=termination3f9c2267831766af61348ad8632817e07786069b
Last checkedSunday, September 23rd, 2018 8:59:04pm (UTC)
Last editedFriday, March 30th, 2018 12:12:49pm (UTC)
Modules
  • termination/benchmarks/krauss/permute.rkt
  • termination/benchmarks/takr.rkt
  • termination/benchmarks/deriv.rkt
  • termination/benchmarks/fo-sc/ex-4.rkt
  • termination/benchmarks/manolios/fig-6.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/benchmarks/fo-sc/ex-3.rkt
  • termination/apply-with-specialized-termination.rkt
  • termination/benchmarks/vazou/gcd.rkt
  • termination/benchmarks/main.rkt
  • termination/micro-benchmarks.rkt
  • termination/benchmarks/krauss/bar.rkt
  • termination/benchmarks/fo-sc/ex-2.rkt
  • termination/apply-with-termination-breaking-tail-calls.rkt
  • termination/whole-program-experiment/whole-program-test.rkt
  • termination/benchmarks/peval.rkt
  • termination/benchmarks/nestedloop.rkt
  • termination/benchmarks/kanren.rkt
  • termination/benchmarks/earley.rkt
  • termination/benchmarks/nucleic3.rkt
  • termination/benchmarks/puzzle.rkt
  • termination/benchmarks/nboyer.rkt
  • termination/benchmarks/vazou/map.rkt
  • termination/benchmarks/ho-sc/ack.rkt
  • termination/benchmarks/collatz.rkt
  • termination/benchmarks/fo-sc/ex-5.rkt
  • termination/flattened-parameter.rkt
  • termination/benchmarks/krauss/f.rkt
  • termination/benchmarks/scheme.rkt
  • termination/benchmarks/vazou/merge.rkt
  • termination/benchmarks/destruct.rkt
  • termination/benchmarks/manolios/fig-2.rkt
  • termination/benchmarks/vazou/range.rkt
  • termination/benchmarks/sum.rkt
  • termination/apply-with-termination.rkt
  • termination/benchmarks/ctak.rkt
  • termination/benchmarks/fo-sc/ex-6.rkt
  • termination/benchmarks/ho-sc/fold.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/manolios/fig-7.rkt
  • termination/benchmarks/scheme-c2.rkt
  • termination/benchmarks/fo-sc/ex-1.rkt
  • termination/benchmarks/div.rkt
  • termination/benchmarks/krauss/poly.rkt
  • termination/benchmarks/graphs.rkt
  • termination/test.rkt
  • termination/benchmarks/dynamic.rkt
  • termination/benchmarks/dderiv.rkt
  • termination/benchmarks/takr2.rkt
  • termination/benchmarks/vazou/tfact.rkt
  • termination/benchmarks/paraffins.rkt
  • termination/benchmarks/lattice2.rkt
  • termination/benchmarks/krauss/foo.rkt
  • termination/benchmarks/ho-sc/fg.rkt
  • termination/benchmarks/tak.rkt
  • termination/benchmarks/conform.rkt
  • termination/benchmarks/manolios/abs.rkt
  • termination/benchmarks/nqueens.rkt
  • termination/benchmarks/ackermann.rkt
  • termination/benchmarks/mazefun.rkt
  • termination/benchmarks/loop.rkt
  • termination/benchmarks/nfa.rkt