GitLab

* 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.

* benchs/RERS/extract_rers_behaviors.sh: Here.

* benchs/run-benchmark.sh: Here.

* benchs/run-benchmark.sh: Here.

* 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

* boilerplate/main.go: Here.

*  tests/run.sh: Here.

Typing "make -C output" is now obsolete

* boilerplate/main.go,
main.go: Here.

* tools/recursion.go: Here.

* main.go,
tools/blackbox.go,
tools/callgraph.go,
tools/extract_blackboxes/main.go,
tools/recursion.go: Here.

* tools/extract_blackboxes/main.go: Here.

* boilerplate/main.go: Here.

* main.go: Here.

* .last-cl-gen, ChangeLog, NEWS.txt, main.go: Here.

* Makefile, build-aux/gitlog-to-changelog : Here.

* benchs/run-benchmark.sh: Here.

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.

According to discusion #14.

* benchs/BEEM/hanoi.1.go: Here.

* boilerplate/Makefile: Here.

* 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.

* main.go, transform/debug.go: Here.

*  transform/visitor.go: Here.

* transform/cfg/build.go: Here.

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.

* .gitignore: Here.

* Rename transform/arraytreatment.go
to transform/desugararray.go: Here.

* main.go: Here.

Commit 211baa6d simplifies the way `alive`
variables are handled. Nonethless it introduces
a bug when multiple explicit variable declaration
occur in the same line. This commit fixes that.

* tests/expected, tests/multiple.go,
tests/run.sh, transform/normalizedeclarations.go: Here.

* tests/alive.go: Here.

* tests/expected, tests/run.sh,
transform/alive.go,
transform/localvariableassignments.go: Here.

* transform/cfg/build.go: Here.

* transform/cfg/cfg/README,
transform/cfg/cfg/builder.go,
transform/cfg/cfg/cfg.go: Here.

* tools/blackbox.go: Here.

*  README.md: Here.

* benchs/run-benchmark.sh: Here.

* main.go, tests/concurrent_fibonacci.go: Here.

* benchs/run-benchmark.sh: here.

* main.go: Here.

* README.md: Here.

* boilerplate/main.go: Here.