Skip to content
  1. Mar 30, 2015
  2. Mar 18, 2015
  3. Feb 20, 2015
  4. Sep 08, 2014
  5. Aug 21, 2014
    • Pietro Abate's avatar
      Fix subsitution problem · f32ff557
      Pietro Abate authored
      Now gamma is correctly propagated in the compilation Enviroment
      and substitions are correctly applied to abstractions
      f32ff557
  6. Aug 19, 2014
  7. Jul 12, 2014
  8. Jul 11, 2014
    • Kim Nguyễn's avatar
      Partial fix for issue #20. In the Value.t type, the Concat _ value and the... · d774a55b
      Kim Nguyễn authored
      Partial fix for issue #20. In the Value.t type, the Concat _ value and the Pair value must have the same underlying representation (since their tag is mutated).
      This actually also corrects a bug: Concat _ nodes acts as constructor (like pairs, xml, records, …) and should also be decorated with a sigma. Adding a sigma component to Concat make the segfault disapear. However, for the moment substitutions in Concat are never used.
      d774a55b
  9. Jul 01, 2014
  10. Jun 22, 2014
  11. Jun 19, 2014
  12. Jun 12, 2014
  13. Jun 10, 2014
  14. Jun 09, 2014
  15. Jun 05, 2014
  16. Jun 04, 2014
  17. Jun 03, 2014
  18. Jun 02, 2014
  19. Jun 01, 2014
  20. May 30, 2014
  21. May 28, 2014
  22. May 26, 2014
  23. May 23, 2014
  24. May 22, 2014
  25. May 20, 2014
  26. May 13, 2014
  27. Apr 28, 2014
  28. Apr 17, 2014
  29. Apr 16, 2014
Loading