git.stderr.nl Git - matthijs/master-project/cλash.git/history - cλash/CLasH/Normalize/NormalizeTools.hs

projects / matthijs / master-project / cλash.git / history

[matthijs/master-project/cλash.git] / cλash / CLasH / Normalize / NormalizeTools.hs

2010-04-13	Matthijs Kooijman	Move the application of "everywhere" to dotransforms.	blob \| commitdiff \| raw
2010-04-07	Matthijs Kooijman	Allow normalized functions to have a non-representable...	blob \| commitdiff \| raw \| diff to current
2010-04-06	Matthijs Kooijman	Fix let binding inlining in some cases.	blob \| commitdiff \| raw \| diff to current
2010-03-31	Matthijs Kooijman	Revert "Make inlinebind work for non-recursive lets."	blob \| commitdiff \| raw \| diff to current
2010-03-31	Matthijs Kooijman	Compilefix debug output.	blob \| commitdiff \| raw \| diff to current
2010-03-31	Matthijs Kooijman	Keep (and show) a count of applied transformations.	blob \| commitdiff \| raw \| diff to current
2010-03-31	Matthijs Kooijman	Show the current transformation context in the debug...	blob \| commitdiff \| raw \| diff to current
2010-03-31	Matthijs Kooijman	Add LambdaBody to CoreContext.	blob \| commitdiff \| raw \| diff to current
2010-03-30	Matthijs Kooijman	Add LetBody and LetBinding to the CoreContext.	blob \| commitdiff \| raw \| diff to current
2010-03-30	Matthijs Kooijman	Remove notappargs, which is unused now.	blob \| commitdiff \| raw \| diff to current
2010-03-30	Matthijs Kooijman	Add AppFirst and AddSecond to CoreContext.	blob \| commitdiff \| raw \| diff to current
2010-03-30	Matthijs Kooijman	Pass the context in which an expression occurs to each...	blob \| commitdiff \| raw \| diff to current
2010-03-25	Christiaan Baaij	Merge branch 'master' of git.stderr.nl/matthijs/master...	blob \| commitdiff \| raw \| diff to current
2010-03-20	Christiaan Baaij	Add "init" to list of builtin function within Normalize...	blob \| commitdiff \| raw \| diff to current
2010-03-20	Christiaan Baaij	Move built_in names to different list within NormalizeTools	blob \| commitdiff \| raw \| diff to current
2010-03-10	Matthijs Kooijman	Use the list of builtin functions for inlining.	blob \| commitdiff \| raw \| diff to current
2010-03-10	Matthijs Kooijman	Slightly improve normalization debug output.	blob \| commitdiff \| raw \| diff to current
2010-03-05	Matthijs Kooijman	Add variant of isNormalizeable that operates in the...	blob \| commitdiff \| raw \| diff to current
2010-03-05	Matthijs Kooijman	Add variant of isRepr that operates in the TranslatorSe...	blob \| commitdiff \| raw \| diff to current
2010-03-03	Matthijs Kooijman	Allow inlining of head and friends.	blob \| commitdiff \| raw \| diff to current
2010-03-03	Matthijs Kooijman	Allow ! to be inlined.	blob \| commitdiff \| raw \| diff to current
2009-12-07	Matthijs Kooijman	Also inline some arithmetic operators.	blob \| commitdiff \| raw \| diff to current
2009-11-30	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	blob \| commitdiff \| raw \| diff to current
2009-11-11	Christiaan Baaij	Fix haddock generation	blob \| commitdiff \| raw \| diff to current
2009-11-11	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-11-11	Christiaan Baaij	Clean up source files:	blob \| commitdiff \| raw \| diff to current
2009-11-10	Christiaan Baaij	Use data-accessor-transformers package to remove deprec...	blob \| commitdiff \| raw \| diff to current
2009-08-20	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-08-19	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	blob \| commitdiff \| raw \| diff to current
2009-08-19	Matthijs Kooijman	Add a not in isUserDefined.	blob \| commitdiff \| raw \| diff to current
2009-08-19	Matthijs Kooijman	Split substitute into substitute and substitute_clone.	blob \| commitdiff \| raw \| diff to current
2009-08-19	Matthijs Kooijman	Rewrite substitute to clone the substitution range.	blob \| commitdiff \| raw \| diff to current
2009-08-19	Matthijs Kooijman	Add isNormalizeable predicate.	blob \| commitdiff \| raw \| diff to current
2009-08-19	Matthijs Kooijman	Make isRepr work on TypedThings instead of CoreExpr.	blob \| commitdiff \| raw \| diff to current
2009-08-19	Matthijs Kooijman	Also inline functions named "fromInteger".	blob \| commitdiff \| raw \| diff to current
2009-08-19	Matthijs Kooijman	Add isUserDefined predicate.	blob \| commitdiff \| raw \| diff to current
2009-08-17	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-08-17	Matthijs Kooijman	Turn of Normalize debugging again, accidentally committed.	blob \| commitdiff \| raw \| diff to current
2009-08-14	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-08-14	Matthijs Kooijman	Order the extracted bindings from a case expression...	blob \| commitdiff \| raw \| diff to current
2009-08-14	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-08-14	Matthijs Kooijman	Make inlinebind work for non-recursive lets.	blob \| commitdiff \| raw \| diff to current
2009-08-06	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	blob \| commitdiff \| raw \| diff to current
2009-08-06	Matthijs Kooijman	Add changeif normalization helper function.	blob \| commitdiff \| raw \| diff to current
2009-08-05	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	blob \| commitdiff \| raw \| diff to current
2009-08-05	Matthijs Kooijman	Move around some helper functions.	blob \| commitdiff \| raw \| diff to current
2009-08-05	Matthijs Kooijman	Remove compatability aliases for the old sessions.	blob \| commitdiff \| raw \| diff to current
2009-08-05	Matthijs Kooijman	Make vhdl generation and normalization lazy.	blob \| commitdiff \| raw \| diff to current
2009-07-31	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	blob \| commitdiff \| raw \| diff to current
2009-07-28	Christiaan Baaij	Add automated testbench generation according to supplie...	blob \| commitdiff \| raw \| diff to current
2009-07-15	Christiaan Baaij	Adepted the modules to their new structure	blob \| commitdiff \| raw \| diff to current
2009-07-15	Christiaan Baaij	Moved clash to it's own library directory, and started...	blob \| commitdiff \| raw \| diff to current

The Cλash compiler

RSS Atom