1. 14 Feb, 2021 1 commit
    • Hugo Moreau's avatar
      formating: refacto · eba0ffc1
      Hugo Moreau authored
      For a better readibility, better format has been used for formating.
      
       * main.go,
         tools/formating.go : Here.
      eba0ffc1
  2. 12 Feb, 2021 4 commits
  3. 11 Feb, 2021 9 commits
  4. 08 Feb, 2021 2 commits
    • Hugo Moreau's avatar
      Global transform ready · e4c69685
      Hugo Moreau authored
      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.
      e4c69685
    • Hugo Moreau's avatar
      global transform: global assign to funcptr · 35cc819e
      Hugo Moreau authored
      Global variables are now modified funcptr,
      still need to create the functions.
      
       * main.go,
         tests/global.go,
         transform/global.go : Here.
      35cc819e
  5. 07 Feb, 2021 1 commit
  6. 23 Dec, 2020 5 commits
  7. 21 Dec, 2020 5 commits
    • Etienne Renault's avatar
      benchs: restore transpilation · b9f2a12f
      Etienne Renault authored
      * benchs/run-benchmark.sh: Here.
      b9f2a12f
    • Etienne Renault's avatar
      benchs: update scripts · 42f56cbf
      Etienne Renault authored
      42f56cbf
    • Etienne Renault's avatar
      benchs: fix variable name during RERS formulae conversion · 060775de
      Etienne Renault authored
      * benchs/RERS/ltlrers2go.sh: Here.
      060775de
    • Etienne Renault's avatar
      bench: fix to correct variable name · 0cbebb87
      Etienne Renault authored
      * benchs/RERS/2016-Problem1-ltl.go.formulae.txt,
      benchs/RERS/2016-Problem2-ltl.go.formulae.txt,
      benchs/RERS/2016-Problem4-ltl.go.formulae.txt,
      benchs/RERS/2016-Problem5-ltl.go.formulae.txt,
      benchs/RERS/2016-Problem7-ltl.go.formulae.txt,
      benchs/RERS/2017-Problem1-ltl.go.formulae.txt,
      benchs/RERS/2017-Problem2-ltl.go.formulae.txt,
      benchs/RERS/2017-Problem4-ltl.go.formulae.txt,
      benchs/RERS/2017-Problem5-ltl.go.formulae.txt,
      benchs/RERS/2017-Problem7-ltl.go.formulae.txt,
      benchs/RERS/2018-Problem1-ltl.go.formulae.txt,
      benchs/RERS/2018-Problem2-ltl.go.formulae.txt,
      benchs/RERS/2018-Problem4-ltl.go.formulae.txt,
      benchs/RERS/2018-Problem5-ltl.go.formulae.txt,
      benchs/RERS/2018-Problem7-ltl.go.formulae.txt,
      benchs/RERS/2019-Problem1-ltl.go.formulae.txt,
      benchs/RERS/2019-Problem2-ltl.go.formulae.txt,
      benchs/RERS/2019-Problem4-ltl.go.formulae.txt,
      benchs/RERS/2019-Problem5-ltl.go.formulae.txt,
      benchs/RERS/2019-Problem7-ltl.go.formulae.txt: Here.
      0cbebb87
    • Etienne Renault's avatar
      bench: fix timing options · ad6feb7a
      Etienne Renault authored
      * benchs/run-benchmark.sh: Here;
      ad6feb7a
  8. 18 Dec, 2020 3 commits
    • Etienne Renault's avatar
      benchs: add part about LTL · 85c0e480
      Etienne Renault authored
      *  benchs/run-benchmark.sh: Here.
      85c0e480
    • Etienne Renault's avatar
      benchs: add rers LTL problem · a48adae0
      Etienne Renault authored
      benchs/RERS/2016-Problem1-ltl.go,
      benchs/RERS/2016-Problem1-ltl.go.formulae.txt,
      benchs/RERS/2016-Problem2-ltl.go,
      benchs/RERS/2016-Problem2-ltl.go.formulae.txt
      benchs/RERS/2016-Problem4-ltl.go,
      benchs/RERS/2016-Problem4-ltl.go.formulae.txt,
      benchs/RERS/2016-Problem5-ltl.go,
      benchs/RERS/2016-Problem5-ltl.go.formulae.txt,
      benchs/RERS/2016-Problem7-ltl.go,
      benchs/RERS/2016-Problem7-ltl.go.formulae.txt,
      benchs/RERS/2017-Problem1-ltl.go,
      benchs/RERS/2017-Problem1-ltl.go.formulae.txt,
      benchs/RERS/2017-Problem2-ltl.go,
      benchs/RERS/2017-Problem2-ltl.go.formulae.txt,
      benchs/RERS/2017-Problem4-ltl.go,
      benchs/RERS/2017-Problem4-ltl.go.formulae.txt,
      benchs/RERS/2017-Problem5-ltl.go,
      benchs/RERS/2017-Problem5-ltl.go.formulae.txt,
      benchs/RERS/2017-Problem7-ltl.go,
      benchs/RERS/2017-Problem7-ltl.go.formulae.txt,
      benchs/RERS/2018-Problem1-ltl.go,
      benchs/RERS/2018-Problem1-ltl.go.formulae.txt,
      benchs/RERS/2018-Problem2-ltl.go,
      benchs/RERS/2018-Problem2-ltl.go.formulae.txt,
      benchs/RERS/2018-Problem4-ltl.go,
      benchs/RERS/2018-Problem4-ltl.go.formulae.txt,
      benchs/RERS/2018-Problem5-ltl.go,
      benchs/RERS/2018-Problem5-ltl.go.formulae.txt,
      benchs/RERS/2018-Problem7-ltl.go,
      benchs/RERS/2018-Problem7-ltl.go.formulae.txt,
      benchs/RERS/2019-Problem1-ltl.go,
      benchs/RERS/2019-Problem1-ltl.go.formulae.txt,
      benchs/RERS/2019-Problem2-ltl.go,
      benchs/RERS/2019-Problem2-ltl.go.formulae.txt,
      benchs/RERS/2019-Problem4-ltl.go,
      benchs/RERS/2019-Problem4-ltl.go.formulae.txt,
      benchs/RERS/2019-Problem5-ltl.go,
      benchs/RERS/2019-Problem5-ltl.go.formulae.txt,
      benchs/RERS/2019-Problem7-ltl.go,
      benchs/RERS/2019-Problem7-ltl.go.formulae.txt,
      benchs/RERS/2020-Problem1-ltl.go,
      benchs/RERS/2020-Problem1-ltl.go.formulae.txt,
      benchs/RERS/2020-Problem2-ltl.go,
      benchs/RERS/2020-Problem2-ltl.go.formulae.txt,
      benchs/RERS/2020-Problem4-ltl.go,
      benchs/RERS/2020-Problem4-ltl.go.formulae.txt,
      benchs/RERS/2020-Problem5-ltl.go,
      benchs/RERS/2020-Problem5-ltl.go.formulae.txt,
      benchs/RERS/2020-Problem7-ltl.go,
      benchs/RERS/2020-Problem7-ltl.go.formulae.txt: Here.
      a48adae0
    • Etienne Renault's avatar
      benchs: automatic extraction from RERS · 6d7731d7
      Etienne Renault authored
      * benchs/RERS/ltlrers2go.sh: Here.
      6d7731d7
  9. 09 Dec, 2020 7 commits
    • Etienne Renault's avatar
      benchs: include correctness specification · fb7266af
      Etienne Renault authored
      * benchs/run-benchmark.sh: Here.
      fb7266af
    • Etienne Renault's avatar
      benchs: add specification files · 01d90331
      Etienne Renault authored
      * benchs/RERS/2016-Problem10-reach.go.formulae.txt,
      benchs/RERS/2016-Problem11-reach.go.formulae.txt,
      benchs/RERS/2016-Problem12-reach.go.formulae.txt,
      benchs/RERS/2016-Problem14-reach.go.formulae.txt,
      benchs/RERS/2016-Problem15-reach.go.formulae.txt,
      benchs/RERS/2017-Problem10-reach.go.formulae.txt,
      benchs/RERS/2017-Problem11-reach.go.formulae.txt,
      benchs/RERS/2017-Problem12-reach.go.formulae.txt,
      benchs/RERS/2017-Problem14-reach.go.formulae.txt,
      benchs/RERS/2017-Problem15-reach.go.formulae.txt: Here.
      01d90331
    • Etienne Renault's avatar
      benchs: script used to extract behviour from solutions · d91ef1cf
      Etienne Renault authored
      * benchs/RERS/extract_rers_behaviors.sh: Here.
      d91ef1cf
    • Etienne Renault's avatar
      benchs: reset golang cache · 0353bde0
      Etienne Renault authored
      * benchs/run-benchmark.sh: Here.
      0353bde0
    • Etienne Renault's avatar
      benchs: update benchmark filenames · 3e42010e
      Etienne Renault authored
      * benchs/run-benchmark.sh: Here.
      3e42010e
    • Etienne Renault's avatar
      benchs: rename properly RERS to avoid confusion · ce43d7bb
      Etienne Renault authored
      * benchs/RERS/2016-Problem10.go -> benchs/RERS/2016-Problem10-reach.go
      * benchs/RERS/2016-Problem11.go -> benchs/RERS/2016-Problem11-reach.go
      * benchs/RERS/2016-Problem12.go -> benchs/RERS/2016-Problem12-reach.go
      * benchs/RERS/2016-Problem14.go -> benchs/RERS/2016-Problem14-reach.go
      * benchs/RERS/2016-Problem15.go -> benchs/RERS/2016-Problem15-reach.go
      * benchs/RERS/2017-Problem10.go -> benchs/RERS/2017-Problem10-reach.go
      * benchs/RERS/2017-Problem11.go -> benchs/RERS/2017-Problem11-reach.go
      * benchs/RERS/2017-Problem12.go -> benchs/RERS/2017-Problem12-reach.go
      * benchs/RERS/2017-Problem14.go -> benchs/RERS/2017-Problem14-reach.go
      * benchs/RERS/2017-Problem15.go -> benchs/RERS/2017-Problem15-reach.go
      * benchs/RERS/2018-Problem10.go -> benchs/RERS/2018-Problem10-reach.go
      * benchs/RERS/2018-Problem11.go -> benchs/RERS/2018-Problem11-reach.go
      * benchs/RERS/2019-Problem11.go -> benchs/RERS/2019-Problem11-reach.go
      * benchs/RERS/2019-Problem12.go -> benchs/RERS/2019-Problem12-reach.go
      * benchs/RERS/2019-Problem14.go -> benchs/RERS/2019-Problem14-reach.go
      * benchs/RERS/2019-Problem15.go -> benchs/RERS/2019-Problem15-reach.go
      ce43d7bb
    • Etienne Renault's avatar
      boilerplate: modelcheck return 1 in case of counterexample · 712d7763
      Etienne Renault authored
      * boilerplate/main.go: Here.
      712d7763
  10. 08 Dec, 2020 2 commits
  11. 20 Nov, 2020 1 commit