1. 14 Oct, 2019 2 commits
  2. 07 Oct, 2019 1 commit
  3. 06 Oct, 2019 3 commits
  4. 25 Sep, 2019 1 commit
  5. 23 Sep, 2019 2 commits
  6. 18 Sep, 2019 1 commit
    • Carlos E. Budde's avatar
      Patched JANI to make IOSA- and Modest-compatible translations. · 9951c193
      Carlos E. Budde authored
      fig and The Modest Toolset support slightly different JANI formats.
      Now "--to-jani" produces JANI that is compatible with fig. The output
      matches mostly the one used in the JANI TACAS'17 paper (e9084441).
      
      However, expressions reductions is now suppressed when translating
      to JANI. This is also the default when translating from JANI, if the
      model will not be evaluated but only translated ("--from-jani" switch).
      Thus e.g. "const int A=1; const int B=A+1;" will not reduce "A+1" to 2.
      
      Also, the new "--to-jani-modest" switch produces Modest-compatible JANI.
      Expression reduction aside, the output produced matches the one used
      for the STTT'19 article of the modes SMC tool (4deb98ad).
      9951c193
  7. 12 Sep, 2019 2 commits
  8. 11 Sep, 2019 1 commit
  9. 28 Jun, 2019 4 commits
  10. 27 Jun, 2019 3 commits
  11. 26 Jun, 2019 1 commit
  12. 25 Jun, 2019 2 commits
  13. 24 Jun, 2019 2 commits
  14. 23 Jun, 2019 2 commits
    • Carlos E. Budde's avatar
      Support for thresholds given ad hoc. · 2f79aeea
      Carlos E. Budde authored
      The new option "--thresholds-ad-hoc <list>" allows users to explicitly
      specify the thresholds and their effort values. The syntax of <list> is
      \[\(t:e\)[,\(t:e\)]+\] where 't' and 'e' are resp. threshold and effort.
      
      E.g. [(2:4),(7:3)] sets importance values '2' and '7' as thresholds,
      where effort '4' and '3' are respectively used for them.
      Brackets and parentheses are optional, e.g. [(2:4),(7:3)] == 2:4,7:3.
      2f79aeea
    • Carlos E. Budde's avatar
      Support for RESTART with prolonged retrials. · cf437c1d
      Carlos E. Budde authored
      To use RESTART-P<n>, i.e. RESTART with retrials prolongation of
      level <n> \in {0,1,...,6}, use the engine option "-e restart<n>."
      Note restart0 == restart.
       - TODO: revise special Traial truncation for threshold 0.
       - TODO: add a few RESTART-P<n> to the test suite.
      cf437c1d
  15. 17 Jun, 2019 2 commits
  16. 16 Jun, 2019 3 commits
  17. 09 Mar, 2019 2 commits
  18. 08 Mar, 2019 1 commit
  19. 17 Feb, 2019 2 commits
  20. 16 Feb, 2019 2 commits
  21. 15 Feb, 2019 1 commit