HEAD | 8254029 | redirect to new url | 09 August 2022, 09:19:28 UTC |
refs/heads/acceleration-journal | d29d769 | fix Dockerfile and help message | 08 June 2022, 09:47:58 UTC |
refs/heads/backward-acceleration | 7e3b203 | adapt computation of the inverse udpate to the current version of the paper | 16 May 2018, 08:41:17 UTC |
refs/heads/backward-complexity | 42bbf61 | minimal changes | 29 August 2019, 11:54:26 UTC |
refs/heads/backward-recursion | 23c614f | Revert "enforce termination" This reverts commit 01670da2da46548899a2158462bbde651ccc169a. | 17 May 2019, 12:39:10 UTC |
refs/heads/cage | 4f662f6 | Add limit proof output, disable debug output | 19 October 2016, 17:54:07 UTC |
refs/heads/disjunctions | a262dd2 | better heuristics for keeping accelerated rules | 16 February 2021, 22:12:43 UTC |
refs/heads/eventually-monotonic | abfbbc1 | fix for equalities | 09 August 2019, 11:59:32 UTC |
refs/heads/guess-and-check_merge | a9af791 | Add benchmark dir from @qliu17's zipfile | 02 August 2017, 15:04:29 UTC |
refs/heads/guess-and-check_original | 286d461 | Add benchmark dir from @qliu17's zipfile | 02 August 2017, 15:04:29 UTC |
refs/heads/invariants | 247d436 | avoid timeouts | 27 February 2019, 16:40:51 UTC |
refs/heads/journal-bench | 007aed7 | Merge pull request #13 from mmjb/dev/mabrocks/nonnegativeCosts fix(preprocessing): Make "costs nonnegative" mean cost >= 0, not cost > 0 | 15 June 2018, 16:59:28 UTC |
refs/heads/just-loops | cad7ab0 | adapted naming | 20 October 2019, 16:01:36 UTC |
refs/heads/limitsmt | 3177591 | Enable limit problem debugging for further testing | 26 October 2016, 15:56:42 UTC |
refs/heads/loat2 | 9ea1324 | fix build | 26 June 2019, 09:38:41 UTC |
refs/heads/master | 8254029 | redirect to new url | 09 August 2022, 09:19:28 UTC |
refs/heads/nonterm | 83609eb | fix for computation of validity bound (from branch just-loops) | 17 October 2019, 16:54:40 UTC |
refs/heads/proofoutput | d105f38 | one more renaming | 20 March 2020, 09:53:31 UTC |
refs/heads/qe | 139c17c | partial deletion only makes sense for cpx | 01 August 2022, 07:40:48 UTC |
refs/heads/recursion | 711ce20 | Add documentation | 27 September 2016, 17:56:20 UTC |
refs/heads/termcomp21 | 3003d75 | workaround for bug found by Fabian | 30 June 2021, 17:03:08 UTC |
refs/heads/tool-paper | 180cb85 | docker file that works for StarExec | 24 June 2021, 21:02:18 UTC |
refs/heads/tool-paper2 | d9308d1 | update help-message | 10 May 2022, 13:36:06 UTC |
refs/tags/ijcar22 | 6685585 | add another missing file | 16 February 2022, 18:21:58 UTC |
refs/tags/sttt-final | d29d769 | fix Dockerfile and help message | 08 June 2022, 09:47:58 UTC |
refs/tags/sttt21 | 972ffcc | use z3 for NIA | 13 August 2021, 10:11:46 UTC |
refs/tags/tacas20 | cad7ab0 | adapted naming | 20 October 2019, 16:01:36 UTC |
refs/tags/validity-bound | 83609eb | fix for computation of validity bound (from branch just-loops) | 17 October 2019, 16:54:40 UTC |