-
Etienne Renault authored
* 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.
d61af8ba