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

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

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
2009-08-06	Matthijs Kooijman	Add isJustM helper function.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Rename eitherCoreOrExprArgs to argsToVHDLExprs.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Remove the getType field name from OrdType.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Put mkAssocElems in the TranslatorSession.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Remove unused mkAssocElemIndexed.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Don't generate VHDL for substate extractor cases.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Fix letremoveunused, it removed all used bindings.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Fix the trace output of normalized functions.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Filtering out state arguments is no longer needed.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Generate the empty type for State types.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Allow explicit empty VHDL types using Maybe.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Don't generate input ports for State arguments.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Don't generate VHDL for state packing.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Add TypedThing class, and generalize hasStateType with it.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Add letremoveunused transformation.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Add changeif normalization helper function.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Add expr_uses_binders predicate.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Add {is,has}StateType predicates.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Let mkTupleShow support empty tuples.	commit \| commitdiff \| tree
2009-08-06	Matthijs Kooijman	Remove the unused "stateful" argument fomr makeVHDL*.	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Restructure the "finder" functions.	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Add catMaybesM and concatM helper functions.	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Use the right id for the testbench architecture.	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Fix testbench again.	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Split of part of getNormalized into normalizeExpr.	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Add unzipM helper function.	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Slightly simplify getEntity.	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Move around some helper functions.	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Remove compatability aliases for the old sessions.	commit \| commitdiff \| tree
2009-08-05	Matthijs Kooijman	Make vhdl generation and normalization lazy.	commit \| commitdiff \| tree
2009-08-03	Matthijs Kooijman	Put a comment on UniqSupply generation back.	commit \| commitdiff \| tree
next

The Cλash compiler

RSS Atom