1. 07 May, 2020 1 commit
  2. 06 May, 2020 2 commits
  3. 01 Oct, 2019 1 commit
  4. 30 Sep, 2019 1 commit
  5. 21 Aug, 2019 1 commit
  6. 23 Apr, 2019 1 commit
  7. 17 Apr, 2019 2 commits
  8. 16 Apr, 2019 1 commit
    • pietro's avatar
      Opam: update dependencies · 657ffd13
      pietro authored and Pierre Boutillier's avatar Pierre Boutillier committed
      - ocaml.4.07.1
      - lwt.4.1.0
      - dune.1.7.1
      
      These need to be updated all at once due to incompatibilities
      in our dependencies
      
      Author: Grégoire Henry <gregoire.henry@tezos.com>
      657ffd13
  9. 25 Feb, 2019 1 commit
  10. 21 Jan, 2019 1 commit
  11. 11 Oct, 2018 1 commit
    • pietro's avatar
      vendors,hacl: use more generic gcc options · 80a7372a
      pietro authored
      Tentative fix for "Illegal instruction (core dumped)" on certain
      architectures du to gcc over optimization. This can possibly
      introduce a performance regression.
      
      @chambart for his gbd-foo skills
      80a7372a
  12. 20 Aug, 2018 4 commits
  13. 01 Aug, 2018 2 commits
  14. 25 Jul, 2018 1 commit
  15. 24 Jul, 2018 1 commit
  16. 25 Jun, 2018 1 commit
  17. 06 Jun, 2018 3 commits
  18. 24 May, 2018 1 commit
  19. 21 May, 2018 1 commit
  20. 17 May, 2018 1 commit