termination

Dynamic enforcement of size-change termination

Build status: ok failing tests missing license metadata

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