1. 15 Apr, 2021 1 commit
  2. 20 Feb, 2021 1 commit
    • Hugo Moreau's avatar
      G2P type in a dedicated package · a8cafbfd
      Hugo Moreau authored
      For future global variable access via `Blackbox`, all type generated by
      Go2Pins are now stored in a dedicated package `structs`.
      All convenient modifications has been done to let Go2Pins in a valid
      state.
      
       * boilerplate/Makefile, boilerplate/main.go,
         boilerplate/structs/structs.go,
         decl/decl.go,
         main.go,
         tools/blackbox.go,
         transform/meta.go : Here.
      a8cafbfd
  3. 23 Dec, 2020 1 commit
  4. 09 Dec, 2020 1 commit
  5. 08 Dec, 2020 1 commit
  6. 13 Jul, 2020 1 commit
  7. 29 Jan, 2020 1 commit
  8. 28 Jan, 2020 1 commit
    • Etienne Renault's avatar
      channels: fully supported · a07b47a9
      Etienne Renault authored
      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.
      a07b47a9
  9. 22 Jan, 2020 3 commits
    • Etienne Renault's avatar
      licence: fix typo · d61af8ba
      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
    • Etienne Renault's avatar
      go2pins-mc: more infos for kripke-size · 1d4a446e
      Etienne Renault authored
      * boilerplate/main.go: Here.
      1d4a446e
    • Etienne Renault's avatar
      go2pins-mc: new option -kripke-size · a3b1d164
      Etienne Renault authored
      * boilerplate/main.go: Here.
      a3b1d164
  10. 21 Jan, 2020 8 commits
    • Etienne Renault's avatar
      boilerplate: bugfix in scheduler · 5a529c9f
      Etienne Renault authored
      * boilerplate/main.go: here.
      5a529c9f
    • Etienne Renault's avatar
      licence: add it everywhere · 19c5b2f2
      Etienne Renault authored
      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.
      19c5b2f2
    • Etienne Renault's avatar
      More options for go2pins-mc · 78f827c6
      Etienne Renault authored
      * README.md, benchs/run-benchmark.sh,
      boilerplate/main.go: Here.
      78f827c6
    • Etienne Renault's avatar
      Modernize binary in output · 7450fb64
      Etienne Renault authored
      * benchs/run-benchmark.sh,
      boilerplate/Makefile,
      boilerplate/main.go: Here.
      7450fb64
    • Etienne Renault's avatar
      Bug fix when -rers option is not available · 894a07f1
      Etienne Renault authored
      * boilerplate/main.go, main.go: Here.
      894a07f1
    • Etienne Renault's avatar
      Add support for RERS. · 4c4096bd
      Etienne Renault authored
      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.
      4c4096bd
    • Etienne Renault's avatar
      Fix bug when goroutines but no channels · 9d897a2f
      Etienne Renault authored
      *  boilerplate/main.go: Here.
      9d897a2f
    • Hugo Moreau's avatar
      Generate successors for channels · 1db6bf82
      Hugo Moreau authored
      * boilerplate/main.go,
        channel/channel.go,
        decl/decl.go,
        main.go,
        transform/afterchannels.go,
        transform/channels.go: Here.
      1db6bf82
  11. 17 Jan, 2020 1 commit
    • Hugo Moreau's avatar
      New channel package created · 8f3889b9
      Hugo Moreau authored
      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.
      8f3889b9
  12. 13 Dec, 2019 1 commit
    • Etienne Renault's avatar
      ltsmin: abi has changed · 6dd64e1b
      Etienne Renault authored
      This patch provide a support for LTSmin
      except for partial order reductions.
      
      * boilerplate/go2pins.c,
      boilerplate/go2pins.h,
      boilerplate/main.go: here.
      6dd64e1b
  13. 19 Nov, 2019 1 commit
    • Hugo Moreau's avatar
      Array of states to one specific state · 865b7cb4
      Hugo Moreau authored
      The previous design allowed functions to return an array of multiple
      states, but now they are all dedicated to computing one specific state.
      
      GoRoutineFunc has been changed.
      G2PMain structure has been totally changed.
      
      * boilerplate/main.go,
        main.go,
        transform/cfg/transform.go,
        transform/functiondefs.go: Here.
      865b7cb4
  14. 18 Nov, 2019 3 commits
    • Antoine Martin's avatar
      boilerplate: new G2PEntry handling successors · 96b1f0c5
      Antoine Martin authored
      The former G2PEntry, which was in fact an entry point to the main
      function, is now renamed G2PMain.
      
      G2PEntry now handles goroutines, and adds their successors to the
      main function's successor.
      96b1f0c5
    • Antoine Martin's avatar
      boilerplate: add Goroutine struct · 405431d8
      Antoine Martin authored
      The Goroutine struct helps us track execution inside the program:
      Each potential goroutine will have an entry in a []Goroutine slice,
      allowing easy reference to the variable tracking its state, and the
      function representing the goroutine's execution.
      405431d8
    • Hugo Moreau's avatar
      boilerplate: new tool displaying list of variables · b311322e
      Hugo Moreau authored
      For a simplier use of go2pins, a new user tool has been created in order
      to help.
      For now it can display list of variable names.
      
      * boilerplate/Makefile,
        boilerplate/main.go: Here.
      b311322e
  15. 20 Sep, 2019 1 commit
  16. 20 Feb, 2019 1 commit
  17. 28 Dec, 2018 1 commit
  18. 28 Jun, 2018 1 commit
  19. 20 Mar, 2018 1 commit
  20. 02 Mar, 2018 4 commits
  21. 01 Mar, 2018 2 commits