Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

  1. 31 May, 2018 1 commit
  2. 28 May, 2018 1 commit
  3. 14 May, 2018 1 commit
  4. 07 May, 2018 1 commit
  5. 04 May, 2018 1 commit
  6. 20 Apr, 2018 1 commit
  7. 17 Apr, 2018 1 commit
  8. 13 Apr, 2018 1 commit
  9. 27 Mar, 2018 1 commit
    • Sylvain Dailler's avatar
      Add debug keep_vcs: allow to use a given filename to save prover files. · 979cf05c
      Sylvain Dailler authored
      It is now possible to give an optional argument to schedule_proof_attempt
      so that (when in debug mode) the file given is used to store the generated
      input file of the prover. In non debug mode, the file given to
      schedule_proof_attempt is used but removed after the call to the prover.
      
      Currently, no file is ever given to schedule_proof_attempt but this can be
      used by people using Why3 as a backend.
      979cf05c
  10. 26 Mar, 2018 1 commit
  11. 21 Mar, 2018 2 commits
  12. 14 Mar, 2018 1 commit
  13. 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
  14. 27 Feb, 2018 1 commit
  15. 21 Feb, 2018 1 commit
  16. 16 Feb, 2018 2 commits
  17. 15 Feb, 2018 2 commits
  18. 09 Feb, 2018 1 commit
  19. 02 Feb, 2018 1 commit
    • MARCHE Claude's avatar
      fix issue #85 · 25acc03a
      MARCHE Claude authored
      The naming is now "consistent" in the sense that a transformation
      argument is not taken in place of another.
      
      However, it does not solve all the issues related to using
      the IDE without the "introduce premises" enabled.
      25acc03a
  20. 24 Jan, 2018 1 commit
  21. 22 Jan, 2018 3 commits
  22. 19 Jan, 2018 3 commits
  23. 14 Jan, 2018 1 commit
  24. 12 Jan, 2018 2 commits
  25. 09 Jan, 2018 1 commit
  26. 08 Jan, 2018 1 commit
  27. 22 Dec, 2017 2 commits
  28. 19 Dec, 2017 1 commit
    • Sylvain Dailler's avatar
      Fixes #58 · 373a7bc9
      Sylvain Dailler authored
      Remove now selects the parent of the removed node when a selected node is
      contained in the removed subtree.
      
      Adding a function that check a request is not referring to obsolete
      node_id in itp_server.ml. If such a request is found, the error that owuld
      have been generated is not sent to the ide.
      373a7bc9
  29. 28 Nov, 2017 1 commit
    • MARCHE Claude's avatar
      fix blocking issue #48 · b28e2653
      MARCHE Claude authored
      improve the startup sequence at the same time
      
      in particular, when source editing is disabled and there is a
      syntax or typing error, the GTK window does not 'blink' briefly before
      printing the error in the console
      b28e2653
  30. 24 Nov, 2017 2 commits