1. 26 May, 2020 1 commit
  2. 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
  3. 30 Apr, 2020 2 commits
  4. 28 Apr, 2020 3 commits
  5. 24 Apr, 2020 4 commits
  6. 09 Apr, 2020 1 commit
  7. 07 Apr, 2020 3 commits
  8. 17 Feb, 2020 1 commit
  9. 29 Nov, 2019 2 commits
  10. 28 Nov, 2019 3 commits
  11. 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
  12. 25 Nov, 2019 1 commit
  13. 21 Nov, 2019 4 commits
  14. 20 Nov, 2019 13 commits