projects / matthijs / master-project / cλash.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
No longer treat tfp ints as builtin types.
[matthijs/master-project/cλash.git] / cλash / CLasH / Normalize /
2010-04-07 Matthijs KooijmanAllow normalized functions to have a non-representable... tree | commitdiff
2010-04-06 Matthijs KooijmanFix let binding inlining in some cases. tree | commitdiff
2010-03-31 Matthijs KooijmanRevert "Make inlinebind work for non-recursive lets." tree | commitdiff
2010-03-31 Matthijs KooijmanCompilefix debug output. tree | commitdiff
2010-03-31 Matthijs KooijmanKeep (and show) a count of applied transformations. tree | commitdiff
2010-03-31 Matthijs KooijmanShow the current transformation context in the debug... tree | commitdiff
2010-03-31 Matthijs KooijmanDerive Show for CoreContext. tree | commitdiff
2010-03-31 Matthijs KooijmanDerive Eq for CoreContext. tree | commitdiff
2010-03-31 Matthijs KooijmanAdd LambdaBody to CoreContext. tree | commitdiff
2010-03-30 Matthijs KooijmanAdd LetBody and LetBinding to the CoreContext. tree | commitdiff
2010-03-30 Matthijs KooijmanRemove notappargs, which is unused now. tree | commitdiff
2010-03-30 Matthijs KooijmanAdd AppFirst and AddSecond to CoreContext. tree | commitdiff
2010-03-30 Matthijs KooijmanPass the context in which an expression occurs to each... tree | commitdiff
2010-03-25 Christiaan BaaijMerge branch 'master' of git.stderr.nl/matthijs/master... tree | commitdiff
2010-03-20 Christiaan BaaijAdd "init" to list of builtin function within Normalize... tree | commitdiff
2010-03-20 Christiaan BaaijMove built_in names to different list within NormalizeTools tree | commitdiff
2010-03-10 Matthijs KooijmanUse the list of builtin functions for inlining. tree | commitdiff
2010-03-10 Matthijs KooijmanSlightly improve normalization debug output. tree | commitdiff
2010-03-05 Matthijs KooijmanAdd variant of isNormalizeable that operates in the... tree | commitdiff
2010-03-05 Matthijs KooijmanAdd variant of isRepr that operates in the TranslatorSe... tree | commitdiff
2010-03-03 Matthijs KooijmanAllow inlining of head and friends. tree | commitdiff
2010-03-03 Matthijs KooijmanAllow ! to be inlined. tree | commitdiff
2009-12-07 Matthijs KooijmanAlso inline some arithmetic operators. tree | commitdiff
2009-11-30 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb... tree | commitdiff
2009-11-11 Christiaan BaaijFix haddock generation tree | commitdiff
2009-11-11 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects... tree | commitdiff
2009-11-11 Christiaan BaaijClean up source files: tree | commitdiff
2009-11-10 Christiaan BaaijUse data-accessor-transformers package to remove deprec... tree | commitdiff
2009-08-20 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects... tree | commitdiff
2009-08-19 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb... tree | commitdiff
2009-08-19 Matthijs KooijmanAdd a not in isUserDefined. tree | commitdiff
2009-08-19 Matthijs KooijmanSplit substitute into substitute and substitute_clone. tree | commitdiff
2009-08-19 Matthijs KooijmanRewrite substitute to clone the substitution range. tree | commitdiff
2009-08-19 Matthijs KooijmanAdd isNormalizeable predicate. tree | commitdiff
2009-08-19 Matthijs KooijmanMake isRepr work on TypedThings instead of CoreExpr. tree | commitdiff
2009-08-19 Matthijs KooijmanAlso inline functions named "fromInteger". tree | commitdiff
2009-08-19 Matthijs KooijmanAdd isUserDefined predicate. tree | commitdiff
2009-08-17 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects... tree | commitdiff
2009-08-17 Matthijs KooijmanTurn of Normalize debugging again, accidentally committed. tree | commitdiff
2009-08-14 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects... tree | commitdiff
2009-08-14 Matthijs KooijmanOrder the extracted bindings from a case expression... tree | commitdiff
2009-08-14 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects... tree | commitdiff
2009-08-14 Matthijs KooijmanMake inlinebind work for non-recursive lets. tree | commitdiff
2009-08-06 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb... tree | commitdiff
2009-08-06 Matthijs KooijmanAdd changeif normalization helper function. tree | commitdiff
2009-08-05 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb... tree | commitdiff
2009-08-05 Matthijs KooijmanMove around some helper functions. tree | commitdiff
2009-08-05 Matthijs KooijmanRemove compatability aliases for the old sessions. tree | commitdiff
2009-08-05 Matthijs KooijmanMake vhdl generation and normalization lazy. tree | commitdiff
2009-07-31 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb... tree | commitdiff
2009-07-28 Christiaan BaaijAdd automated testbench generation according to supplie... tree | commitdiff
2009-07-23 Christiaan BaaijRemove NoGenerics pragma, as the ghc bug 3391 is now... tree | commitdiff
2009-07-23 Christiaan BaaijAlso add NoGenerics pragma to the other types.hs files tree | commitdiff
2009-07-15 Christiaan BaaijAdepted the modules to their new structure tree | commitdiff
2009-07-15 Christiaan BaaijMoved clash to it's own library directory, and started... tree | commitdiff
The Cλash compiler