Add isUserDefined predicate.
[matthijs/master-project/cλash.git] / cλash / CLasH / Normalize /
2009-08-19 Matthijs KooijmanAdd isUserDefined predicate.
2009-08-17 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-08-17 Matthijs KooijmanTurn of Normalize debugging again, accidentally committed.
2009-08-14 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-08-14 Matthijs KooijmanOrder the extracted bindings from a case expression...
2009-08-14 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-08-14 Matthijs KooijmanMake inlinebind work for non-recursive lets.
2009-08-06 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-06 Matthijs KooijmanAdd changeif normalization helper function.
2009-08-05 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-05 Matthijs KooijmanMove around some helper functions.
2009-08-05 Matthijs KooijmanRemove compatability aliases for the old sessions.
2009-08-05 Matthijs KooijmanMake vhdl generation and normalization lazy.
2009-07-31 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-07-28 Christiaan BaaijAdd automated testbench generation according to supplie...
2009-07-23 Christiaan BaaijRemove NoGenerics pragma, as the ghc bug 3391 is now...
2009-07-23 Christiaan BaaijAlso add NoGenerics pragma to the other types.hs files
2009-07-15 Christiaan BaaijAdepted the modules to their new structure
2009-07-15 Christiaan BaaijMoved clash to it's own library directory, and started...