Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

  1. 24 Jul, 2018 1 commit
    • Erwan Jahier's avatar
      Add bigarray as a dep of lutin.cmxa · f5332350
      Erwan Jahier authored
      Indeed, for some reasons, this lib was useable of ocaml 4.07.0
      
      ocaml
        #use "topfind";;
        #require "rdbg-plugin";;
        #require "lutin";;
      
      Error: Reference to undefined global `Stdlib__bigarray'
      f5332350
  2. 10 Jul, 2018 2 commits
  3. 22 May, 2018 1 commit
  4. 18 May, 2018 1 commit
  5. 17 May, 2018 1 commit
  6. 15 May, 2018 1 commit
  7. 07 May, 2018 1 commit
  8. 04 May, 2018 3 commits
  9. 03 May, 2018 1 commit
  10. 27 Apr, 2018 1 commit
  11. 28 Mar, 2018 1 commit
  12. 21 Mar, 2018 1 commit
  13. 12 Feb, 2018 1 commit
  14. 15 Dec, 2017 1 commit
  15. 14 Dec, 2017 3 commits
  16. 13 Dec, 2017 4 commits
  17. 12 Dec, 2017 2 commits
  18. 11 Dec, 2017 2 commits
  19. 06 Dec, 2017 1 commit
  20. 04 Dec, 2017 1 commit
  21. 30 Nov, 2017 1 commit
  22. 28 Aug, 2017 2 commits
  23. 04 May, 2017 2 commits
  24. 03 May, 2017 1 commit
  25. 24 Apr, 2017 1 commit
  26. 24 Mar, 2017 1 commit
  27. 21 Mar, 2017 1 commit
  28. 17 Mar, 2017 1 commit
    • erwan's avatar
      Allow the division by a constant in constraint. · c7a6f554
      erwan authored
      I'm pretty sure this used to be supported. Why did I remove it?
      unfortunately, the ne.ml file was not tracked by git (and by mistake)
      at this time.
      
      also, begin to replace lurettetop by rdbg -lurette in tests
      c7a6f554