GitLab

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

* Makefile, ltl/desugar/main.go: Here.

Previously only lhs could be expanded