termination

Dynamic enforcement of size-change termination

Build status: failed

Authors
Documentation
Tags
Last updatedSaturday, November 17th, 2018 12:19:47am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/philnguyen/termination.git?path=terminationaf205abedbf336e8baaa60e1e47b5acade320643
Last checkedSunday, November 18th, 2018 9:50:29pm (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/flow-analysis/analyze.rkt
  • termination/benchmarks/fo-sc/ex-3.rkt
  • termination/benchmarks/vazou/gcd.rkt
  • termination/benchmarks/main.rkt
  • termination/micro-benchmarks.rkt
  • termination/unsafe.rkt
  • termination/benchmarks/krauss/bar.rkt
  • termination/benchmarks/fo-sc/ex-2.rkt
  • termination/whole-program-experiment/whole-program-test.rkt
  • termination/syntax-utils.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/flow-analysis/lang.rkt
  • termination/flow-analysis/main.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/benchmarks/test-unsafe.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/runtime-utils.rkt
  • termination/benchmarks/scheme-c2.rkt
  • termination/benchmarks/fo-sc/ex-1.rkt
  • termination/benchmarks/div.rkt
  • termination/benchmarks/krauss/poly.rkt
  • termination/flow-analysis/utils.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/flow-analysis/parse.rkt
  • termination/benchmarks/tak.rkt
  • termination/benchmarks/conform.rkt
  • termination/benchmarks/manolios/abs.rkt
  • termination/unsafe-apply-with-termination.rkt
  • termination/benchmarks/nqueens.rkt
  • termination/benchmarks/ackermann.rkt
  • termination/benchmarks/mazefun.rkt
  • termination/benchmarks/loop.rkt
  • termination/benchmarks/nfa.rkt