Permalink
Commits on Jun 1, 2010
Commits on May 31, 2010
Commits on May 30, 2010
  1. only show unique predicates in hiji

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

    Mattis Jeppsson committed May 30, 2010
  3. Made filter more general

    phyrex1an committed May 30, 2010
  4. Apply substitutions

    phyrex1an committed May 30, 2010
  5. merge

    Johan Gustafsson committed May 30, 2010
Commits on May 29, 2010
  1. Type declarations in ast

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

    Mattis Jeppsson committed May 29, 2010
  3. Limited version of :t

    phyrex1an committed May 29, 2010
  4. 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

    northOfThule committed May 25, 2010