Multidimensional arrays are not treated yet, so a panic is triggered if
go2pins encounters one.

 * transform/checktype.go : Here.

Blackboxed functions are now able to handle global variables, by using
G2PState as a reference.

 * main.go,
   tools/blackbox.go,
   transform/checktype.go, transform/global.go,
   transform/globaltostate.go, transform/localvariableassignments.go,
   transform/postglobal.go : Here.

* Makefile,
benchs/RERS/rers2go.sh,
benchs/run-benchmark.sh,
boilerplate/Makefile,
boilerplate/go2pins.c,
boilerplate/go2pins.h,
boilerplate/main.go,
cspinfo/channel.go,
cspinfo/goroutine.go,
decl/decl.go,
main.go,
tests/array.go,
tests/concurrent_fibonacci.go,
tests/digit_count.go,
tests/emptycall.go,
tests/facto.go,
tests/fibonacci.go,
tests/if.go,
tests/mywhile.go,
tests/passes/channels.go,
tests/passes/funcIntArrayArgs.go,
tests/passes/goroutineOutsideMain.go,
tests/passes/interface.go,
tests/passes/map.go,
tests/passes/notint.go,
tests/passes/panic.go,
tests/passes/pointer.go,
tests/passes/select.go,
tests/passes/slices.go,
tests/passes/struct.go,
tests/passes/switch.go,
tests/passes/variablename.go,
tests/prod_cons_simp.go,
tests/recursion/multirec.go,
tests/recursion/rec_facto.go,
tests/run.sh,
tools/blackbox.go,
tools/callgraph.go,
tools/extract_goroutines/main.go,
tools/formating.go,
tools/print_ast.go,
tools/recursion.go,
transform/afterchannels.go,
transform/alive.go,
transform/arithmeticcall.go,
transform/arraytreatment.go,
transform/cfg/build.go,
transform/cfg/eliminatecallexprstmt.go,
transform/cfg/functioncalls.go,
transform/cfg/linkresults.go,
transform/cfg/transform.go,
transform/cfg/types.go,
transform/channels.go,
transform/checktype.go,
transform/conditionnalccall.go,
transform/elsefull.go,
transform/format.go,
transform/functiondefs.go,
transform/goroutine.go,
transform/injectdecls.go,
transform/localvariableassignments.go,
transform/meta.go,
transform/normalizedeclarations.go,
transform/regularizedaffect.go,
transform/routineassignments.go,
transform/routinecounter.go,
transform/util.go,
transform/visitor.go: Here.

Makefile,
benchs/RERS/rers2go.sh,
benchs/run-benchmark.sh,
boilerplate/Makefile,
boilerplate/go2pins.c,
boilerplate/go2pins.h,
boilerplate/main.go,
channel/channel.go,
decl/decl.go,
goroutine/goroutine.go,
main.go,
tests/array.go,
tests/concurrent_fibonacci.go,
tests/digit_count.go,
tests/facto.go,
tests/fibonacci.go,
tests/mywhile.go,
tests/passes/channels.go,
tests/passes/funcIntArrayArgs.go,
tests/passes/goroutineOutsideMain.go,
tests/passes/interface.go,
tests/passes/map.go,
tests/passes/notint.go,
tests/passes/panic.go,
tests/passes/pointer.go,
tests/passes/select.go,
tests/passes/slices.go,
tests/passes/struct.go,
tests/passes/switch.go,
tests/passes/variablename.go,
tests/prod_cons.go,
tests/prod_cons_simp.go,
tests/recursion/multirec.go,
tests/recursion/rec_facto.go,
tools/blackbox.go,
tools/callgraph.go,
tools/extract_goroutines/main.go,
tools/formating.go,
tools/print_ast.go,
tools/recursion.go,
transform/afterchannels.go,
transform/alive.go,
transform/arithmeticcall.go,
transform/arraytreatment.go,
transform/cfg/build.go,
transform/cfg/eliminatecallexprstmt.go,
transform/cfg/functioncalls.go,
transform/cfg/linkresults.go,
transform/cfg/transform.go,
transform/cfg/types.go,
transform/channels.go,
transform/checktype.go,
transform/elsefull.go,
transform/format.go,
transform/functiondefs.go,
transform/goroutine.go,
transform/injectdecls.go,
transform/localvariableassignments.go,
transform/meta.go,
transform/normalizedeclarations.go,
transform/regularizedaffect.go,
transform/routineassignments.go,
transform/routinecounter.go,
transform/util.go,
transform/visitor.go: Here.

If a Blackbox (BB) function modifies variable that is also used inside
of a non-blackbox function the following problem occurs: the variable
cannot be neither in the blackbox package neither in the normal
package.

We should try to resolve this problem by :
   (1) analysis wether variables are exclusively used by BB-fun
   (2) pass setter as additionnal argument to BB-functions

Still for now it is preferable to forbbids BB and globals.

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

Removing useless pass for testing if array are used or not

* tests/passes/array.go,
  transform/checktype.go: Here.

* transform/checktype.go: Here.

* tests/passes/funcIntArrayArgs.go,
  transform/checktype.go: Here.

* transform/checktype.go: Here.

* transform/checktype.go: Here.

In order to integrate global variables, a new pass has been created in
order to ignore non-integer values.

* transform/checktype.go : Here.

go2pins can now a function in the process of compiling
Need to improve to ignore multiple functions

* transform/checktype.go,
  tools/blackbox.go,
  main.go : Here.

* tests/passes/noargument.go : Removed.
* transform/cfg/functioncalls.go,
  transform/checktype.go : Here.

We do not support variable name containing "G2P_tmp_",
because we use them in our transform.
A test have been created to check it.

* transform/checktype.go,
  tests/passes/variablename.go : Here.

go2pins does not support yet parameterless function
in order to fix it later, a pass has been created

* transform/checktype.go,
  tests/passes/noargument.go : Here.

All "os.Exit" have been replaced by "panic".

* transform/checktype.go

After a little review, for a better understunding, we decided
to sort every case alphanumericly.

All "os.Exit" have been replaced by "panic".

* transform/checktype.go

After a little review, for a better understunding, we decided
to sort every case alphanumericly.