Skip to content
Commits on Jun 1, 2010
Commits on May 31, 2010
  1. @phyrex1an
  2. @phyrex1an
  3. @phyrex1an
Commits on May 30, 2010
  1. only show unique predicates in hiji

    Mattis Jeppsson committed May 31, 2010
  2. fixing bugs in substitutions

    Mattis Jeppsson committed May 30, 2010
  3. @phyrex1an
  4. @phyrex1an
  5. @phyrex1an
  6. @phyrex1an
  7. @phyrex1an

    Made filter more general

    phyrex1an committed May 30, 2010
  8. @phyrex1an
  9. @phyrex1an

    Apply substitutions

    phyrex1an committed May 30, 2010
  10. @phyrex1an
  11. merge

    Johan Gustafsson committed May 30, 2010
Commits on May 29, 2010
  1. @phyrex1an

    Type declarations in ast

    phyrex1an committed May 30, 2010
  2. fixing bug in case

    Mattis Jeppsson committed May 29, 2010
  3. @phyrex1an
  4. @phyrex1an

    Limited version of :t

    phyrex1an committed May 29, 2010
  5. @phyrex1an

    Fixed hiji bug

    phyrex1an committed May 29, 2010
Commits on May 28, 2010
  1. Finished do notation in hiji

    Mikael Bung committed May 28, 2010
  2. fixing merge conflict

    Mattis Jeppsson committed May 28, 2010
  3. common prototype objects for all Types

    Mattis Jeppsson committed May 28, 2010
Commits on May 26, 2010
  1. Started changes to help typchecker doing typechecking

    Mikael Bung committed May 26, 2010
  2. Forgott file

    Mikael Bung committed May 26, 2010
Commits on May 25, 2010
  1. Started adding do notation to hiji

    Mikael Bung committed May 25, 2010
  2. final

    Adam Bengtsson committed May 25, 2010
Something went wrong with that request. Please try again.