1. 23 Apr, 2019 1 commit
    • Sylvain Dailler's avatar
      Add name to requires and asserts · 5214043f
      Sylvain Dailler authored
      This is implemented using an attribute that is detected when a
      transformation introduces the hypothesis.
      Added for assertion_kind and requires.
      5214043f
  2. 19 Apr, 2019 2 commits
  3. 17 Apr, 2019 1 commit
  4. 15 Apr, 2019 1 commit
    • Sylvain Dailler's avatar
      Add %t/%m for timelimit/memlimit in strategy definitions · bf3b9624
      Sylvain Dailler authored
      This allows a strategy to call provers with the default timelimit/memlimit
      parameter.
      Example: "c CVC4,1.5 %t %m"
      
      Remove set_session_timelimit/memlimit from server_utils: put them in
      controller_itp so that they directly edit the configuration of the
      controller.
      Edit parser of strategies to allow %t and %m.
      bf3b9624
  5. 11 Apr, 2019 1 commit
  6. 04 Apr, 2019 2 commits
  7. 31 Mar, 2019 1 commit
    • Sylvain Dailler's avatar
      fix #292 · 95dc27a6
      Sylvain Dailler authored
      Add an option in the preferences to disallow the automatic jump after a
      goal is completed. Jump can still be performed by calling next in command
      line.
      95dc27a6
  8. 27 Mar, 2019 1 commit
  9. 26 Mar, 2019 1 commit
  10. 21 Mar, 2019 1 commit
  11. 15 Mar, 2019 1 commit
    • Sylvain Dailler's avatar
      Fix crash of eliminate_unknown_types · 9a360820
      Sylvain Dailler authored
      It was previously possible to keep a constant when there was a removed
      symbol in its definition. This changes makes removals be propagated to
      other constants.
      
      This patch mainly adds a variable that keeps track of already removed
      declarations.
      9a360820
  12. 07 Mar, 2019 1 commit
  13. 15 Feb, 2019 1 commit
    • Sylvain Dailler's avatar
      fix #274 · ead51b74
      Sylvain Dailler authored
      When applying a transformation without arguments, this checks that
      arguments are indeed not provided. If they are, it now raises the same
      exception as transformation with too many arguments.
      
      Also update CHANGES with recent changes.
      ead51b74
  14. 11 Feb, 2019 2 commits
  15. 07 Feb, 2019 3 commits
  16. 31 Jan, 2019 1 commit
  17. 30 Jan, 2019 2 commits
  18. 28 Jan, 2019 3 commits
  19. 18 Jan, 2019 1 commit
  20. 19 Dec, 2018 1 commit
  21. 17 Dec, 2018 3 commits
  22. 14 Dec, 2018 1 commit
  23. 27 Nov, 2018 1 commit
  24. 14 Nov, 2018 2 commits
  25. 17 Oct, 2018 2 commits
  26. 15 Oct, 2018 1 commit
  27. 08 Oct, 2018 1 commit
  28. 05 Oct, 2018 1 commit