termination

Dynamic enforcement of size-change termination

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedThursday, May 30th, 2019 3:01:04am (UTC)
Ring2
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/philnguyen/termination.git?path=termination1d05c1bf8e9bd59d2fbaaa213b490fd8e59644bd
Last checkedThursday, August 22nd, 2019 6:55:17pm (UTC)
Last editedFriday, March 30th, 2018 12:12:49pm (UTC)
Date addedN/A
Modules
  • termination/tests/Dyn/acl2-fig-2.rkt
  • termination/tests/Dyn/isabelle-foo.rkt
  • termination/tests/Dyn/benchmarks/cm/interp-fact.rkt
  • termination/tests/Dyn/isabelle-f.rkt
  • termination/tests/Dyn/benchmarks/cm/mergesort.rkt
  • termination/tests/Dyn/destruct.rkt
  • termination/size-change-graph.rkt
  • termination/tests/Dyn/benchmarks/cm/fact.rkt
  • termination/tests/Dyn/buggy-versions/sct-5.rkt
  • termination/tests/Dyn/buggy-versions/sct-6.rkt
  • termination/tests/Dyn/sct-1.rkt
  • termination/flow-analysis/analyze.rkt
  • termination/tests/Dyn/buggy-versions/lh-gcd.rkt
  • termination/tests/Dyn/ho-sct-fg.rkt
  • termination/tests/Dyn/benchmarks/unchecked/sum.rkt
  • termination/tests/Dyn/buggy-versions/sct-1.rkt
  • termination/tests/Dyn/dderiv.rkt
  • termination/micro-benchmarks.rkt
  • termination/unsafe.rkt
  • termination/tests/Dyn/buggy-versions/sct-2.rkt
  • termination/tests/Dyn/benchmarks/imp/fact.rkt
  • termination/tests/Dyn/benchmarks/imp/interp-sum.rkt
  • termination/syntax-utils.rkt
  • termination/tests/Dyn/benchmarks/cm/interp-sum.rkt
  • termination/tests/Dyn/nfa.rkt
  • termination/tests/Dyn/buggy-versions/sct-4.rkt
  • termination/tests/Dyn/ho-sct-fold.rkt
  • termination/tests/Dyn/isabelle-perm.rkt
  • termination/tests/Dyn/benchmarks/imp/mergesort.rkt
  • termination/tests/Dyn/benchmarks/unchecked/interp-fact.rkt
  • termination/tests/Dyn/scheme.rkt
  • termination/tests/Dyn/buggy-versions/destruct.rkt
  • termination/tests/Dyn/benchmarks/imp/sum.rkt
  • termination/tests/Dyn/buggy-versions/ho-sct-fg.rkt
  • termination/tests/Dyn/benchmarks/unchecked/mergesort.rkt
  • termination/tests/Dyn/benchmarks/unchecked/interp-mergesort.rkt
  • termination/tests/Dyn/buggy-versions/div.rkt
  • termination/tests/Dyn/buggy-versions/acl2-fig-6.rkt
  • termination/tests/Dyn/lh-tfact.rkt
  • termination/tests/Dyn/lh-range.rkt
  • termination/tests/Dyn/benchmarks/imp/interp-fact.rkt
  • termination/tests/Dyn/buggy-versions/lh-range.rkt
  • termination/tests/Dyn/buggy-versions/acl2-fig-7.rkt
  • termination/flow-analysis/lang.rkt
  • termination/flow-analysis/main.rkt
  • termination/tests/Dyn/buggy-versions/acl2-fig-2.rkt
  • termination/tests/Dyn/buggy-versions/isabelle-foo.rkt
  • termination/flattened-parameter.rkt
  • termination/tests/Dyn/benchmarks/cm/interp-mergesort.rkt
  • termination/tests/Dyn/div.rkt
  • termination/apply-with-termination.rkt
  • termination/tests/Dyn/sct-5.rkt
  • termination/tests/Dyn/buggy-versions/dderiv.rkt
  • termination/tests/Dyn/lh-merge.rkt
  • termination/tests/Dyn/buggy-versions/ho-sct-fold.rkt
  • termination/tests/Dyn/buggy-versions/lh-merge.rkt
  • termination/main.rkt
  • termination/tests/Dyn/buggy-versions/ho-sct-ack.rkt
  • termination/tests/Dyn/deriv.rkt
  • termination/tests/Dyn/benchmarks/unchecked/fact.rkt
  • termination/tests/Dyn/lh-map.rkt
  • termination/tests/Dyn/buggy-versions/isabelle-perm.rkt
  • termination/runtime-utils.rkt
  • termination/tests/Dyn/buggy-versions/isabelle-f.rkt
  • termination/tests/Dyn/benchmarks/common.rkt
  • termination/flow-analysis/utils.rkt
  • termination/tests/Dyn/sct-6.rkt
  • termination/tests/Dyn/buggy-versions/scheme.rkt
  • termination/tests/Dyn/sct-4.rkt
  • termination/tests/Dyn/buggy-versions/lh-tfact.rkt
  • termination/test.rkt
  • termination/tests/Dyn/sct-2.rkt
  • termination/tests/Dyn/buggy-versions/deriv.rkt
  • termination/tests/Dyn/benchmarks/imp/interp-mergesort.rkt
  • termination/tests/Dyn/benchmarks/cm/sum.rkt
  • termination/tests/Dyn/sct-3.rkt
  • termination/tests/Dyn/buggy-versions/nfa.rkt
  • termination/tests/Dyn/buggy-versions/lh-map.rkt
  • termination/flow-analysis/parse.rkt
  • termination/tests/Dyn/isabelle-bar.rkt
  • termination/tests/Dyn/benchmarks/unchecked/interp-sum.rkt
  • termination/tests/Dyn/acl2-fig-7.rkt
  • termination/tests/Dyn/isabelle-poly.rkt
  • termination/tests/Dyn/ho-sct-ack.rkt
  • termination/tests/Dyn/lh-gcd.rkt
  • termination/tests/Dyn/acl2-fig-6.rkt
  • termination/unsafe-apply-with-termination.rkt
  • termination/tests/Dyn/buggy-versions/sct-3.rkt
  • termination/tests/Dyn/buggy-versions/isabelle-poly.rkt
  • termination/tests/Dyn/buggy-versions/isabelle-bar.rkt