Move a part of β-reduction to application propagation.
[matthijs/master-project/cλash.git] / cλash / CLasH / Normalize.hs
2009-08-05 Matthijs KooijmanMove around some helper functions.
2009-08-05 Matthijs KooijmanMake vhdl generation and normalization lazy.
2009-08-03 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-07-31 Matthijs KooijmanMerge casevalsimpl and casewild into casesimpl.
2009-07-31 Matthijs KooijmanFix a small bug in the case wildening.
2009-07-31 Matthijs KooijmanPrevent conflicts with inlinenonrep in normalization.
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-15 Christiaan BaaijAdepted the modules to their new structure