1. 17 Apr, 2021 2 commits
  2. 15 Apr, 2021 7 commits
  3. 13 Apr, 2021 3 commits
  4. 11 Apr, 2021 2 commits
    • Hugo Moreau's avatar
      Bench: Logging actions · 6d6c6eb5
      Hugo Moreau authored
      A new log directory is now generated when bench is in progress,
      containing all log files, named with this pattern,
      `formula.<FORMULA NB>.[bb.].log`.
      6d6c6eb5
    • Hugo Moreau's avatar
      Bench: building blackbox separately · 2cf1e2d5
      Hugo Moreau authored
      To preserve a nice workflow and tracking more efficiently when Makefile
      can possibly fail. The current workflow is LTL files, Reach files, LTL
      files blackboxed, Reach files blackboxed.
      2cf1e2d5
  5. 08 Apr, 2021 5 commits
  6. 02 Apr, 2021 2 commits
  7. 01 Apr, 2021 1 commit
    • Hugo Moreau's avatar
      Benchmark: Basic LTL and REACH Makefile · 282677c7
      Hugo Moreau authored
      By invoking the make command in benchs, you can now generate a benchmark
      for basic LTL and REACH RERS files.
      
       * benchs/Makefile,
         benchs/run-ltl.sh,
         benchs/run-reach.sh: Here.
      282677c7
  8. 30 Mar, 2021 2 commits
  9. 29 Mar, 2021 2 commits
  10. 22 Mar, 2021 2 commits
  11. 14 Mar, 2021 4 commits
  12. 03 Mar, 2021 1 commit
    • Hugo Moreau's avatar
      Global: treat global before local · bb119a54
      Hugo Moreau authored
      In order to avoid conflict with global variables defined after assigning
      to it, LocalVariableAssignments has been corrected.
      
       * main.go,
         transform/localvariableassignments.go : Here.
      bb119a54
  13. 02 Mar, 2021 2 commits
  14. 01 Mar, 2021 5 commits