Skip to content
  1. Mar 04, 2015
  2. Mar 03, 2015
  3. Feb 28, 2015
  4. Feb 26, 2015
  5. Feb 21, 2015
  6. Feb 20, 2015
  7. Feb 19, 2015
  8. Feb 15, 2015
  9. Feb 10, 2015
  10. Dec 14, 2014
  11. Dec 06, 2014
  12. Dec 01, 2014
    • Kim Nguyễn's avatar
      Recursively check in the global normalisation hash table whether the · 86748961
      Kim Nguyễn authored
      type has already been normalized. Without this patch, in the following usage:
      
      norm(T1, delta)
      norm(<a>[ T1 ], delta)
      
      the fact that T1 has already been normalized against some delta is not taken into
      account while normalizin <a>[T1].
      86748961
    • Kim Nguyễn's avatar
      Improve the complexity of constraint normalisation by using a hash · 7932c071
      Kim Nguyễn authored
      table instead of a 'recursion set' like in the paper.  The hash table
      is tricky:
      
       - its keys should be both the type we are normalizing and
      delta
      
       - we should store a flag together with the constraint set, indicating
      whether the computation of the normalization for the corresponding
      type has finished. If it has, we can use the associated constraint set
      instead of CS.sat and stop recursion. If it has not, we can return
      CS.sat (like the previous base case).
      
      We also update the test case files to check that everything is in order:
      
      - part2.cd has been rewritten to make use of the new syntax and remove
        the red-black trees examples that are now in a separate file
      
      - red-black.cd is a fully typechecking file
      - rb-fail.cd has the type definition and the wrong balance function.
      7932c071
  13. Oct 16, 2014
  14. Oct 03, 2014
  15. Sep 19, 2014
  16. Sep 16, 2014
    • Pietro Abate's avatar
      Make fresh variables really fresh · c9ad3e5c
      Pietro Abate authored
      Add a global variable table, so when we call "Var.mk id" twice, the
      same variable is returned and when we call "Var.fresh v" we always
      return a truly globally fresh variable.
      c9ad3e5c
  17. Sep 10, 2014
  18. Sep 08, 2014
  19. Aug 28, 2014
  20. Aug 26, 2014
  21. Aug 25, 2014
  22. Aug 21, 2014
  23. Aug 20, 2014
  24. Aug 19, 2014
Loading