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

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

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
2009-08-18	Matthijs Kooijman	Inline all top level functions that look simple.	commit \| commitdiff \| tree
2009-08-17	Matthijs Kooijman	Add (temporary) simplres normalization pass.	commit \| commitdiff \| tree
2009-08-17	Matthijs Kooijman	Add top level inliner normalization pass.	commit \| commitdiff \| tree
2009-08-17	Matthijs Kooijman	Make letflat work for nonrec lets in rec lets as well.	commit \| commitdiff \| tree
2009-08-17	Matthijs Kooijman	Revert "Limit flattenLets to non-recursive lets only."	commit \| commitdiff \| tree
2009-08-17	Matthijs Kooijman	Disable letmerge.	commit \| commitdiff \| tree
2009-08-17	Matthijs Kooijman	Make letremoveunused work for recursive lets again.	commit \| commitdiff \| tree
2009-08-17	Matthijs Kooijman	Make letflat work for recursive lets again.	commit \| commitdiff \| tree
2009-08-17	Matthijs Kooijman	Turn of Normalize debugging again, accidentally committed.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Order the extracted bindings from a case expression...	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Add lambdasimpl normalization pass.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Make letremoveunused work for non-recursive lets.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Let casesimpl generate non-recursive lets.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Add mkNonRecLets and use it.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Make letmerge work with non-recursive lets.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Limit flattenLets to non-recursive lets only.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Move flattenLets from Normalize to CoreTools.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Make inlinebind work for non-recursive lets.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Add empty let removal normalization pass.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Rename letremove to letremovesimple.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Don't try to simplify nested lets.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Make letflat work with non-recursive lets.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Make letsimpl work on and generate a non-recursive...	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	No longer add a top level let before normalization.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Make some normalizations generate nonrecursive lets.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Turn let recursification into its opposite.	commit \| commitdiff \| tree
2009-08-14	Matthijs Kooijman	Be more strict in state recognition.	commit \| commitdiff \| tree
2009-08-13	Matthijs Kooijman	Don't generate a state proc for an empty state.	commit \| commitdiff \| tree
2009-08-13	Matthijs Kooijman	Make splitNormalized work for non-recursive lets.	commit \| commitdiff \| tree
2009-08-13	Matthijs Kooijman	Add and use splitNormalized helper function.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Revert "Put mkAssocElems in the TranslatorSession."	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Revert "Don't generate VHDL for state packing."	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Throw away old and unused functions for state.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Generate a state proc for a stateful function.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Don't inline register_bank.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Only do State packing once in register_bank.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Improve Normalize debug output.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Add isStateCon helper.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Use mkBinderFor instead of mkInternalVar.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Add identical let binding merge normalization pass.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Add cast simplification normalization pass.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Make output ports optional.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Fix more comments.	commit \| commitdiff \| tree
2009-08-12	Matthijs Kooijman	Fix comment.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Rewrite Alu using the State newtype.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Filter out empty-typed binders in selector cases.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Add hasNonEmptyType helper function.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Let argsToVHDLExpr ignore empty types.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Generalize vhdl_ty to work an all TypedThings.	commit \| commitdiff \| tree
next

The Cλash compiler

RSS Atom