1. 10 Jun, 2020 4 commits
  2. 26 May, 2020 1 commit
  3. 04 May, 2020 1 commit
  4. 02 May, 2020 1 commit
    • Raphaël Cauderlier's avatar
      [Spec|compiler|CI] Timestamp strings following RFC3339 · 67b2d8f1
      Raphaël Cauderlier authored
      Adding support for timestamp strings following RFC3339.
      
      The spec is extended to accept the timestamps in this format.
      The compiler uses the library coq-moment to  check the well-formedness
      of timestamps.
      
      The CI is updated to install all the declared dependancies of the opam package.
      67b2d8f1
  5. 30 Apr, 2020 2 commits
  6. 28 Apr, 2020 3 commits
  7. 24 Apr, 2020 4 commits
  8. 09 Apr, 2020 1 commit
  9. 07 Apr, 2020 3 commits
  10. 17 Feb, 2020 1 commit
  11. 29 Nov, 2019 2 commits
  12. 28 Nov, 2019 3 commits
  13. 26 Nov, 2019 1 commit
    • Raphaël Cauderlier's avatar
      [Compiler|optimizer] Fix a bug in the optimizer · ce14c82b
      Raphaël Cauderlier authored
      `DROP1` at pattern position was interpreted as an unused variable
      instead of `DROP 1`. This lead to eagerly replacing `PUSH ty x;
      <anything>` by `NOOP`, which is incorrect.
      
      This bug was probably introduced during the adaptation to Babylon.
      ce14c82b
  14. 25 Nov, 2019 1 commit
  15. 21 Nov, 2019 4 commits
  16. 20 Nov, 2019 8 commits