1. 19 Nov, 2019 2 commits
  2. 18 Nov, 2019 1 commit
  3. 31 Oct, 2019 1 commit
  4. 12 Sep, 2019 1 commit
  5. 17 Jul, 2019 3 commits
  6. 02 Jul, 2019 3 commits
  7. 14 May, 2019 2 commits
  8. 26 Apr, 2019 1 commit
  9. 10 Apr, 2019 1 commit
  10. 02 Apr, 2019 2 commits
  11. 23 Mar, 2019 1 commit
  12. 22 Mar, 2019 1 commit
  13. 06 Feb, 2019 5 commits
  14. 11 Jan, 2019 2 commits
  15. 05 Oct, 2018 2 commits
  16. 04 Oct, 2018 4 commits
  17. 27 Sep, 2018 1 commit
  18. 05 Sep, 2018 1 commit
  19. 10 Aug, 2018 2 commits
  20. 08 Aug, 2018 1 commit
  21. 31 Jul, 2018 1 commit
  22. 30 Jul, 2018 1 commit
  23. 25 Jul, 2018 1 commit
    • Maxime Dénès's avatar
      Porting from `omega` to `lia` · 3a585d31
      Maxime Dénès authored
      This is in preparation of https://github.com/coq/coq/pull/7878 and is
      backward compatible (tested on Coq master, expected to build on 8.8).
      
      The patch rebinds `omega` to `lia` on the Flocq side and fixes all the
      incompatibilities due to scripts relying on incompleteness of `omega`
      (no occurrence of `lia` being weaker were found).
      3a585d31