Hugo Moreau authored 4 years ago and Etienne Renault committed 3 years ago

For a better readibility, better format has been used for formating.

 * main.go,
   tools/formating.go : Here.

Hugo Moreau authored 4 years ago and Etienne Renault committed 3 years ago

 * main.go : Here.

Hugo Moreau authored 4 years ago and Etienne Renault committed 3 years ago

To avoid trouble during transform, setter are done first, then getter.

 * main.go,
   transform/global.go,
   transform/global2.go,
   transform/global3.go : Here.

Hugo Moreau authored 4 years ago and Etienne Renault committed 3 years ago

 * main.go

Hugo Moreau authored 4 years ago and Etienne Renault committed 3 years ago

For now, only regular assignment was handled.

 * main.go,
   transform/global.go, transform/global2.go : Here.

Hugo Moreau authored 4 years ago and Etienne Renault committed 3 years ago

Global are now identified and not mixed with local variables.
funcptr are used to set their values.

 * main.go,
   tests/global.go,
   transform/global.go
   transfrom/global2.go : Here.

Hugo Moreau authored 4 years ago and Etienne Renault committed 3 years ago

Global variables are now modified funcptr,
still need to create the functions.

 * main.go,
   tests/global.go,
   transform/global.go : Here.

Hugo Moreau authored 4 years ago and Etienne Renault committed 3 years ago

Setting up basis for the transform.

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

 * boilerplate/Makefile,
   main.go, tools/blackbox.go : Here.

Typing "make -C output" is now obsolete

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

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

* main.go: Here.

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

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

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

* main.go: Here.

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

* main.go: Here.

Note that even if channels are fully supported
by the scheduler, some syntax declaration element
are not supported

* boilerplate/main.go,
cspinfo/channel.go,
decl/decl.go,
main.go,
tests/prod_cons_simp.go,
transform/afterchannels.go,
transform/channels.go,
transform/meta.go: Here.

* main.go: Here.

* main.go, tests/array.go,
transform/arraytreatment.go,
transform/double_brackets.go,
transform/meta.go: Here.

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

* main.go: Here.

* main.go: Here.

* channel/channel.go -> cspinfo/channel.go,
goroutine/goroutine.go -> cspinfo/goroutine.go : Rename.
*decl/decl.go,
main.go,
transform/routineassignments.go,
transform/routinecounter.go: Here.

* main.go, transform/conditionnalccall.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.

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

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

* main.go: Here.

In RERS challenges, file are written in C and
the environment is modelled by scanf("%d",...).

During the translation, this statement has been
converted into __RERS__ = __RERS__ + 1, since this
variable is only used to represents the environment.

As a consequence, the option -rers "1;2;3" will modify
the previous assignment in order to represent the
environment. In other this instruction will be replaced
by three assignment
   - __RERS__ = 1
   - __RERS__ = 2
   - __RERS__ = 3
while  the instruction __RERS__ = __RERS__ + 1 will be discarded

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

* boilerplate/main.go,
  channel/channel.go,
  decl/decl.go,
  main.go,
  transform/afterchannels.go,
  transform/channels.go: Here.

In order to recover more easily where the channels are set up, a new
package has been created, giving details about it.

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

Channels are now treated with all the other transform

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

* main.go: Here.

In order to be clearer, there is now only one alive statement for array
and no more alive statements for every cases of the array.

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

* main.go: Here.

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