Merge branch 'cλash' of http://git.stderr.nl/matthijs/projects/master-project
[matthijs/master-project/cλash.git] / cλash / CLasH / Utils / Core / CoreTools.hs
2009-08-14 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-08-14 Matthijs KooijmanAdd mkNonRecLets and use it.
2009-08-14 Matthijs KooijmanLimit flattenLets to non-recursive lets only.
2009-08-14 Matthijs KooijmanMove flattenLets from Normalize to CoreTools.
2009-08-13 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-08-13 Matthijs KooijmanAdd and use splitNormalized helper function.
2009-08-12 Matthijs KooijmanAdd isStateCon helper.
2009-08-07 Christiaan BaaijHave reduceCoreListToHsList work with simplified modules
2009-08-07 Christiaan BaaijWe now use compileToCoreSimplified, I'm sure there...
2009-08-06 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-06 Matthijs KooijmanAdd TypedThing class, and generalize hasStateType with it.
2009-08-06 Matthijs KooijmanAdd expr_uses_binders predicate.
2009-08-06 Matthijs KooijmanAdd {is,has}StateType predicates.
2009-08-03 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-03 Christiaan BaaijTFVec builtin should now completely work
2009-07-31 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-07-31 Christiaan BaaijQuick hack implementation of FSVec literals, needs...
2009-07-28 Christiaan BaaijAdd automated testbench generation according to supplie...
2009-07-22 Christiaan BaaijRemoved need for GHC.Paths, some functions however...
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...