1. 08 Feb, 2019 3 commits
  2. 14 Nov, 2018 1 commit
  3. 13 Nov, 2018 1 commit
  4. 09 Nov, 2018 5 commits
  5. 23 Oct, 2018 2 commits
  6. 19 Oct, 2018 2 commits
    • Mário Pereira's avatar
      Extraction: · 2ea64b0a
      Mário Pereira authored
       . Moved [ity_affected], [pv_affected], and [pvs_affected] from src/mlw/vc.ml to
         src/mlw/ity.ml. These are also declared in src/mlw/ity.mli;
      
       . the test for conflicting reads and writes effects now uses the [pvs_affected]
         function.
      2ea64b0a
    • Mário Pereira's avatar
      Extraction: · 2b77287d
      Mário Pereira authored
       . Moved [ity_affected], [pv_affected], and [pvs_affected] from src/mlw/vc.ml to
         src/mlw/ity.ml. These are also declared in src/mlw/ity.mli;
      
       . the test for conflicting reads and writes effects now uses the [pvs_affected]
         function.
      2b77287d
  7. 21 Sep, 2018 1 commit
  8. 13 Sep, 2018 1 commit
  9. 16 Aug, 2018 1 commit
  10. 21 Jun, 2018 1 commit
  11. 01 Jun, 2018 1 commit
  12. 25 May, 2018 2 commits
  13. 01 May, 2018 1 commit
  14. 11 Apr, 2018 1 commit
  15. 10 Apr, 2018 1 commit
  16. 28 Mar, 2018 1 commit
  17. 27 Mar, 2018 1 commit
  18. 26 Mar, 2018 1 commit
  19. 23 Mar, 2018 1 commit
  20. 21 Mar, 2018 1 commit
    • Guillaume Melquiond's avatar
      Homogenize constructor names. · 6ef0273e
      Guillaume Melquiond authored
      The pattern-matching construct in the logic is now systematically named
      "Tcase" in constructors (Ptree.Tmatch -> Tcase). The one in the
      programs (supporting exceptions) is now systematically named "Ematch"
      (Expr.Ecase -> Ematch, Dexpr.DEcase -> DEmatch). They are now homogeneous
      with the other constructors: Term.Tcase, Dterm.DTcase, Ptree.Ematch,
      Mltree.Ematch. Smart constructor Expr.e_case was renamed accordingly.
      6ef0273e
  21. 20 Mar, 2018 2 commits
  22. 19 Mar, 2018 2 commits
  23. 16 Mar, 2018 1 commit
  24. 15 Mar, 2018 1 commit
  25. 17 Jan, 2018 1 commit
  26. 02 Jan, 2018 1 commit
    • Mário Pereira's avatar
      fixes issue #46 · 773c7372
      Mário Pereira authored
      both constructor and projection names are now added to the mod_known from
      Mltree.pmodule, pointing to the type declarations in which they are introduced.
      773c7372
  27. 19 Dec, 2017 1 commit
  28. 14 Dec, 2017 2 commits