- 23 Dec, 2020 5 commits
-
-
Etienne Renault authored
* benchs/run-benchmark.sh: Here.
-
Etienne Renault authored
* Makefile, benchs/run-benchmark.sh, boilerplate/main.go: Here.
-
Etienne Renault authored
In the latest version of RERS, the inputs is slightly modified, our script failed the translation * benchs/RERS/2020-Problem1-ltl.go.formulae.txt, benchs/RERS/2020-Problem2-ltl.go.formulae.txt, benchs/RERS/2020-Problem4-ltl.go.formulae.txt, benchs/RERS/2020-Problem5-ltl.go.formulae.txt, benchs/RERS/2020-Problem7-ltl.go.formulae.txt: Here.
-
Etienne Renault authored
Our cluster is configured (using SLURM) to limit jobs longer than 24h. This is a PITA since our benchmark (in sequential) last more than 24 hours. This patch allows stop and go on the benchmark * benchs/run-benchmark.sh: Here.
-
Etienne Renault authored
* benchs/run-benchmark.sh: Here.
-
- 21 Dec, 2020 5 commits
-
-
Etienne Renault authored
* benchs/run-benchmark.sh: Here.
-
Etienne Renault authored
-
Etienne Renault authored
* benchs/RERS/ltlrers2go.sh: Here.
-
Etienne Renault authored
* benchs/RERS/2016-Problem1-ltl.go.formulae.txt, benchs/RERS/2016-Problem2-ltl.go.formulae.txt, benchs/RERS/2016-Problem4-ltl.go.formulae.txt, benchs/RERS/2016-Problem5-ltl.go.formulae.txt, benchs/RERS/2016-Problem7-ltl.go.formulae.txt, benchs/RERS/2017-Problem1-ltl.go.formulae.txt, benchs/RERS/2017-Problem2-ltl.go.formulae.txt, benchs/RERS/2017-Problem4-ltl.go.formulae.txt, benchs/RERS/2017-Problem5-ltl.go.formulae.txt, benchs/RERS/2017-Problem7-ltl.go.formulae.txt, benchs/RERS/2018-Problem1-ltl.go.formulae.txt, benchs/RERS/2018-Problem2-ltl.go.formulae.txt, benchs/RERS/2018-Problem4-ltl.go.formulae.txt, benchs/RERS/2018-Problem5-ltl.go.formulae.txt, benchs/RERS/2018-Problem7-ltl.go.formulae.txt, benchs/RERS/2019-Problem1-ltl.go.formulae.txt, benchs/RERS/2019-Problem2-ltl.go.formulae.txt, benchs/RERS/2019-Problem4-ltl.go.formulae.txt, benchs/RERS/2019-Problem5-ltl.go.formulae.txt, benchs/RERS/2019-Problem7-ltl.go.formulae.txt: Here.
-
Etienne Renault authored
* benchs/run-benchmark.sh: Here;
-
- 18 Dec, 2020 3 commits
-
-
Etienne Renault authored
* benchs/run-benchmark.sh: Here.
-
Etienne Renault authored
benchs/RERS/2016-Problem1-ltl.go, benchs/RERS/2016-Problem1-ltl.go.formulae.txt, benchs/RERS/2016-Problem2-ltl.go, benchs/RERS/2016-Problem2-ltl.go.formulae.txt benchs/RERS/2016-Problem4-ltl.go, benchs/RERS/2016-Problem4-ltl.go.formulae.txt, benchs/RERS/2016-Problem5-ltl.go, benchs/RERS/2016-Problem5-ltl.go.formulae.txt, benchs/RERS/2016-Problem7-ltl.go, benchs/RERS/2016-Problem7-ltl.go.formulae.txt, benchs/RERS/2017-Problem1-ltl.go, benchs/RERS/2017-Problem1-ltl.go.formulae.txt, benchs/RERS/2017-Problem2-ltl.go, benchs/RERS/2017-Problem2-ltl.go.formulae.txt, benchs/RERS/2017-Problem4-ltl.go, benchs/RERS/2017-Problem4-ltl.go.formulae.txt, benchs/RERS/2017-Problem5-ltl.go, benchs/RERS/2017-Problem5-ltl.go.formulae.txt, benchs/RERS/2017-Problem7-ltl.go, benchs/RERS/2017-Problem7-ltl.go.formulae.txt, benchs/RERS/2018-Problem1-ltl.go, benchs/RERS/2018-Problem1-ltl.go.formulae.txt, benchs/RERS/2018-Problem2-ltl.go, benchs/RERS/2018-Problem2-ltl.go.formulae.txt, benchs/RERS/2018-Problem4-ltl.go, benchs/RERS/2018-Problem4-ltl.go.formulae.txt, benchs/RERS/2018-Problem5-ltl.go, benchs/RERS/2018-Problem5-ltl.go.formulae.txt, benchs/RERS/2018-Problem7-ltl.go, benchs/RERS/2018-Problem7-ltl.go.formulae.txt, benchs/RERS/2019-Problem1-ltl.go, benchs/RERS/2019-Problem1-ltl.go.formulae.txt, benchs/RERS/2019-Problem2-ltl.go, benchs/RERS/2019-Problem2-ltl.go.formulae.txt, benchs/RERS/2019-Problem4-ltl.go, benchs/RERS/2019-Problem4-ltl.go.formulae.txt, benchs/RERS/2019-Problem5-ltl.go, benchs/RERS/2019-Problem5-ltl.go.formulae.txt, benchs/RERS/2019-Problem7-ltl.go, benchs/RERS/2019-Problem7-ltl.go.formulae.txt, benchs/RERS/2020-Problem1-ltl.go, benchs/RERS/2020-Problem1-ltl.go.formulae.txt, benchs/RERS/2020-Problem2-ltl.go, benchs/RERS/2020-Problem2-ltl.go.formulae.txt, benchs/RERS/2020-Problem4-ltl.go, benchs/RERS/2020-Problem4-ltl.go.formulae.txt, benchs/RERS/2020-Problem5-ltl.go, benchs/RERS/2020-Problem5-ltl.go.formulae.txt, benchs/RERS/2020-Problem7-ltl.go, benchs/RERS/2020-Problem7-ltl.go.formulae.txt: Here.
-
Etienne Renault authored
* benchs/RERS/ltlrers2go.sh: Here.
-
- 09 Dec, 2020 7 commits
-
-
Etienne Renault authored
* benchs/run-benchmark.sh: Here.
-
Etienne Renault authored
* benchs/RERS/2016-Problem10-reach.go.formulae.txt, benchs/RERS/2016-Problem11-reach.go.formulae.txt, benchs/RERS/2016-Problem12-reach.go.formulae.txt, benchs/RERS/2016-Problem14-reach.go.formulae.txt, benchs/RERS/2016-Problem15-reach.go.formulae.txt, benchs/RERS/2017-Problem10-reach.go.formulae.txt, benchs/RERS/2017-Problem11-reach.go.formulae.txt, benchs/RERS/2017-Problem12-reach.go.formulae.txt, benchs/RERS/2017-Problem14-reach.go.formulae.txt, benchs/RERS/2017-Problem15-reach.go.formulae.txt: Here.
-
Etienne Renault authored
* benchs/RERS/extract_rers_behaviors.sh: Here.
-
Etienne Renault authored
* benchs/run-benchmark.sh: Here.
-
Etienne Renault authored
* benchs/run-benchmark.sh: Here.
-
Etienne Renault authored
* benchs/RERS/2016-Problem10.go -> benchs/RERS/2016-Problem10-reach.go * benchs/RERS/2016-Problem11.go -> benchs/RERS/2016-Problem11-reach.go * benchs/RERS/2016-Problem12.go -> benchs/RERS/2016-Problem12-reach.go * benchs/RERS/2016-Problem14.go -> benchs/RERS/2016-Problem14-reach.go * benchs/RERS/2016-Problem15.go -> benchs/RERS/2016-Problem15-reach.go * benchs/RERS/2017-Problem10.go -> benchs/RERS/2017-Problem10-reach.go * benchs/RERS/2017-Problem11.go -> benchs/RERS/2017-Problem11-reach.go * benchs/RERS/2017-Problem12.go -> benchs/RERS/2017-Problem12-reach.go * benchs/RERS/2017-Problem14.go -> benchs/RERS/2017-Problem14-reach.go * benchs/RERS/2017-Problem15.go -> benchs/RERS/2017-Problem15-reach.go * benchs/RERS/2018-Problem10.go -> benchs/RERS/2018-Problem10-reach.go * benchs/RERS/2018-Problem11.go -> benchs/RERS/2018-Problem11-reach.go * benchs/RERS/2019-Problem11.go -> benchs/RERS/2019-Problem11-reach.go * benchs/RERS/2019-Problem12.go -> benchs/RERS/2019-Problem12-reach.go * benchs/RERS/2019-Problem14.go -> benchs/RERS/2019-Problem14-reach.go * benchs/RERS/2019-Problem15.go -> benchs/RERS/2019-Problem15-reach.go
-
Etienne Renault authored
* boilerplate/main.go: Here.
-
- 08 Dec, 2020 2 commits
-
-
Etienne Renault authored
* tests/run.sh: Here.
-
Etienne Renault authored
Typing "make -C output" is now obsolete * boilerplate/main.go, main.go: Here.
-
- 20 Nov, 2020 2 commits
-
-
Etienne Renault authored
* tools/recursion.go: Here.
-
Etienne Renault authored
* main.go, tools/blackbox.go, tools/callgraph.go, tools/extract_blackboxes/main.go, tools/recursion.go: Here.
-
- 17 Nov, 2020 1 commit
-
-
Etienne Renault authored
* tools/extract_blackboxes/main.go: Here.
-
- 13 Jul, 2020 2 commits
-
-
Etienne Renault authored
* boilerplate/main.go: Here.
-
Etienne Renault authored
* main.go: Here.
-
- 28 Apr, 2020 4 commits
-
-
Etienne Renault authored
* .last-cl-gen, ChangeLog, NEWS.txt, main.go: Here.
-
Etienne Renault authored
* Makefile, build-aux/gitlog-to-changelog : Here.
-
Etienne Renault authored
* benchs/run-benchmark.sh: Here.
-
Etienne Renault authored
Commit 4536a3ae modifies (significantly) the size of the state space. Consequently the current benchmark has been adapted to run on a reasonnable computer. * benchs/sqrt_prime_fibo.go: Here.
-
- 27 Apr, 2020 9 commits
-
-
Etienne Renault authored
According to discusion #14. * benchs/BEEM/hanoi.1.go: Here.
-
Etienne Renault authored
* boilerplate/Makefile: Here.
-
Etienne Renault authored
* benchs/BEEM/adding.1.go, benchs/BEEM/adding.2.go, benchs/BEEM/adding.3.go, benchs/BEEM/adding.4.go, benchs/BEEM/hanoi.1.go: Here.
-
Etienne Renault authored
* main.go, transform/debug.go: Here.
-
Etienne Renault authored
* transform/visitor.go: Here.
-
Etienne Renault authored
* transform/cfg/build.go: Here.
-
Etienne Renault authored
The previous code considered index 0 as a special case. Thus the transformation wasn't go-compiliant after this pass which was bad. * transform/desugararray.go: Here.
-
Etienne Renault authored
* .gitignore: Here.
-
Etienne Renault authored
* Rename transform/arraytreatment.go to transform/desugararray.go: Here.
-