git.stderr.nl Git - matthijs/master-project/cλash.git/search

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

2010-04-13	Matthijs Kooijman	Move tfp_to_int from VHDLTools to CoreTools.	commit \| commitdiff \| tree
2010-04-13	Matthijs Kooijman	Add getFullString function to get a qualified name.	commit \| commitdiff \| tree
2010-04-07	Matthijs Kooijman	Add non-representable result inlining transformation.	commit \| commitdiff \| tree
2010-04-07	Matthijs Kooijman	Add case of known constructor simplification.	commit \| commitdiff \| tree
2010-04-07	Matthijs Kooijman	Allow normalized functions to have a non-representable...	commit \| commitdiff \| tree
2010-04-07	Matthijs Kooijman	Add allM and anyM functions.	commit \| commitdiff \| tree
2010-04-06	Matthijs Kooijman	Split off selector case creation code into CoreTools.	commit \| commitdiff \| tree
2010-04-06	Matthijs Kooijman	Make top level inlining handle non-representable results...	commit \| commitdiff \| tree
2010-04-06	Matthijs Kooijman	Fix typo in error message.	commit \| commitdiff \| tree
2010-04-06	Matthijs Kooijman	Add variant of splitNormalized for non-representable...	commit \| commitdiff \| tree
2010-04-06	Matthijs Kooijman	Switch order of clauses in retvalsimpl to match thesis.	commit \| commitdiff \| tree
2010-04-06	Matthijs Kooijman	Update comment for return value simplification.	commit \| commitdiff \| tree
2010-04-06	Matthijs Kooijman	Fix let binding inlining in some cases.	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Turn letderecursification into let recursification...	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Revert "Make inlinebind work for non-recursive lets."	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Slightly move the "after normalization" debug output.	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Compilefix debug output.	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Show number of transformations per function.	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Keep (and show) a count of applied transformations.	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Merge lambdasimpl, letsimpl and simplres into retvalsimpl...	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Show the current transformation context in the debug...	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Derive Show for CoreContext.	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Add is_let predicate.	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Log the time needed for compilation.	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Only apply eta expansion to expressions at the top...	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Derive Eq for CoreContext.	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Add LambdaBody to CoreContext.	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Only inline top level functions that are completely...	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Inline all simple top level functions, not just compiler...	commit \| commitdiff \| tree
2010-03-31	Matthijs Kooijman	Only inline dictionaries that are likely to be resolvable.	commit \| commitdiff \| tree
2010-03-30	Matthijs Kooijman	Only inline top level functions that are applied in...	commit \| commitdiff \| tree
2010-03-30	Matthijs Kooijman	Add LetBody and LetBinding to the CoreContext.	commit \| commitdiff \| tree
2010-03-30	Matthijs Kooijman	Remove notappargs, which is unused now.	commit \| commitdiff \| tree
2010-03-30	Matthijs Kooijman	Let eta expansion use the passed context instead of...	commit \| commitdiff \| tree
2010-03-30	Matthijs Kooijman	Add AppFirst and AddSecond to CoreContext.	commit \| commitdiff \| tree
2010-03-30	Matthijs Kooijman	Pass the context in which an expression occurs to each...	commit \| commitdiff \| tree
2010-03-10	Matthijs Kooijman	Don't inline == and /=.	commit \| commitdiff \| tree
2010-03-10	Matthijs Kooijman	Restructure the top level inlining transformation.	commit \| commitdiff \| tree
2010-03-10	Matthijs Kooijman	Don't resolve class operations that are builtin functions.	commit \| commitdiff \| tree
2010-03-10	Matthijs Kooijman	Use the list of builtin functions for inlining.	commit \| commitdiff \| tree
2010-03-10	Matthijs Kooijman	Slightly improve normalization debug output.	commit \| commitdiff \| tree
2010-03-10	Matthijs Kooijman	Fix casesimpl and caseremove wrt scrutinee binders.	commit \| commitdiff \| tree
2010-03-10	Matthijs Kooijman	Put a list of builtin functions in VHDL.Constants	commit \| commitdiff \| tree
2010-03-10	Matthijs Kooijman	Let classoperationresolution handle partially inlined...	commit \| commitdiff \| tree
2010-03-08	Matthijs Kooijman	Make listBindings return IO () instead of IO [()].	commit \| commitdiff \| tree
2010-03-08	Matthijs Kooijman	Show classes in listBindings output.	commit \| commitdiff \| tree
2010-03-08	Matthijs Kooijman	Show uniques in listBindings output.	commit \| commitdiff \| tree
2010-03-08	Matthijs Kooijman	Add class operation resolution transformation.	commit \| commitdiff \| tree
2010-03-08	Matthijs Kooijman	Add dictionary inlining transformation.	commit \| commitdiff \| tree
2010-03-08	Matthijs Kooijman	Let inlinetoplevel use getNormalized_maybe.	commit \| commitdiff \| tree
2010-03-05	Matthijs Kooijman	Let getNormalized return Nothing on non-normalizeable...	commit \| commitdiff \| tree
2010-03-05	Matthijs Kooijman	Add variant of isNormalizeable that operates in the...	commit \| commitdiff \| tree
2010-03-05	Matthijs Kooijman	Add variant of isRepr that operates in the TranslatorSession.	commit \| commitdiff \| tree
2010-03-05	Matthijs Kooijman	Add getNormalized_maybe that does not fail if a binder...	commit \| commitdiff \| tree
2010-03-05	Matthijs Kooijman	Remove getBinding and use getGlobalBind instead.	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Support stateful functions with no own state (only...	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Allow inlining of head and friends.	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Use fromMaybe with an error message instead of fromJust.	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Ignore all applications that have an empty result type.	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Copy initial state when specializing functions.	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Ignore selector cases selecting empty typed values.	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Support unzipping of a vector containing state values.	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Add some comments.	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Make getFieldLabels errors more verbose.	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Give a proper error when a vector of an empty type...	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Allow ! to be inlined.	commit \| commitdiff \| tree
2010-03-03	Matthijs Kooijman	Update module name in error message.	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Let scrutinee binder removal mark the expression as...	commit \| commitdiff \| tree
2009-12-07	Matthijs Kooijman	Also inline some arithmetic operators.	commit \| commitdiff \| tree
2009-12-01	Matthijs Kooijman	Add TODO.	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree
2009-11-30	Matthijs Kooijman	Add comment.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Actually make the scrutinee binder removal not crash.	commit \| commitdiff \| tree
2009-11-11	Matthijs Kooijman	Add scrutinee binder removal transformation.	commit \| commitdiff \| tree
2009-09-01	Matthijs Kooijman	Add a trailing newline to HighOrdAlu.	commit \| commitdiff \| tree
2009-09-01	Matthijs Kooijman	Add comments to the inlinetoplevel transformation.	commit \| commitdiff \| tree
2009-09-01	Matthijs Kooijman	Update comments for inlinenonrep.	commit \| commitdiff \| tree
2009-09-01	Matthijs Kooijman	Fix typo.	commit \| commitdiff \| tree
2009-09-01	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree
2009-08-28	Matthijs Kooijman	Fix typo.	commit \| commitdiff \| tree
2009-08-28	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Add a not in isUserDefined.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Let vhld_ty handle free tyvars gracefully.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Add ty_has_free_tyvars predicate.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Split substitute into substitute and substitute_clone.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Rewrite substitute to clone the substitution range.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Don't error on type abstraction when cloning binders.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	When inlining top level functions, guarantee uniqueness.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Make all binders unique before normalizing.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Add genUniques function to regenerate all uniques.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Add mapAccumLM helper function.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Don't try to inline non-normalizeable top level functions.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Add andM and orM utility functions.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Add isNormalizeable predicate.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Make isRepr work on TypedThings instead of CoreExpr.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Also inline functions named "fromInteger".	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Don't extra non-representable values in simplres.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Use isUserDefined for (not) inlining top level functions.	commit \| commitdiff \| tree
2009-08-19	Matthijs Kooijman	Add isUserDefined predicate.	commit \| commitdiff \| tree
next

The Cλash compiler

RSS Atom