1. 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
  2. 11 Feb, 2019 1 commit
  3. 14 Nov, 2018 1 commit
  4. 30 Jul, 2018 1 commit
  5. 25 Apr, 2018 1 commit
    • Johannes Kanig's avatar
      (no-tn-check) improve comments · f4b40eb0
      Johannes Kanig authored
      * server_utils.ml
      (get_server_dir) rewrite comment
      
      Change-Id: I853da310839e013610086b4b167a31c2c8efcce5
      (cherry picked from commit 01ae97586c5e8e5339033e4d8d700587aaa06717)
      f4b40eb0
  6. 17 Apr, 2018 1 commit
  7. 07 Mar, 2018 1 commit
    • MARCHE Claude's avatar
      solve a few issue about proof edition · 82e3e856
      MARCHE Claude authored
      - use the default editor if no specific editor known
      - keep the former result after edition, although obsolete
      
      Note that the "default_editor" setting is moved from the IDE config to
      the main config section
      82e3e856
  8. 12 Jan, 2018 1 commit
  9. 22 Dec, 2017 1 commit
    • Sylvain Dailler's avatar
      fixes #68 · dd2493a7
      Sylvain Dailler authored
      Adding a search query "search_all" which search the declarations that
      contains at least one of the identifiers provided by the user.
      dd2493a7
  10. 10 Nov, 2017 1 commit
  11. 09 Nov, 2017 1 commit
    • Sylvain Dailler's avatar
      fixes #2 · 5e00fc66
      Sylvain Dailler authored
      Removing requests for mark_obsolete, clean_req and replay_req. Those are
      now Command_req because they are contextual.
      Only replay keeps a non-contextual mode for why3replay because we don't
      have root node anymore (there can be several file nodes).
      5e00fc66
  12. 06 Oct, 2017 1 commit
  13. 19 Sep, 2017 2 commits
  14. 06 Sep, 2017 1 commit
  15. 06 Jul, 2017 1 commit
  16. 05 Jul, 2017 1 commit
  17. 23 May, 2017 1 commit
    • Sylvain Dailler's avatar
      Adding Edit_req · c0d087be
      Sylvain Dailler authored
      Unfinished work to retrieve manual proofs.
      (minor) added a use case for stack_trace
      c0d087be
  18. 10 May, 2017 2 commits
  19. 03 May, 2017 1 commit
  20. 28 Apr, 2017 1 commit
  21. 25 Apr, 2017 1 commit
  22. 21 Apr, 2017 1 commit
  23. 14 Apr, 2017 1 commit
  24. 06 Apr, 2017 1 commit
  25. 15 Dec, 2016 1 commit
    • Sylvain Dailler's avatar
      Some cleaning. · 9ab18d32
      Sylvain Dailler authored
      Split itp_server into itp_server and server_utils for readability.
      Split why3ide into why3ide and ide_utils for readability.
      9ab18d32