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

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

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
2009-08-03	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree
2009-07-31	Matthijs Kooijman	Merge casevalsimpl and casewild into casesimpl.	commit \| commitdiff \| tree
2009-07-31	Matthijs Kooijman	Fix a small bug in the case wildening.	commit \| commitdiff \| tree
2009-07-31	Matthijs Kooijman	Prevent conflicts with inlinenonrep in normalization.	commit \| commitdiff \| tree
2009-07-31	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree
2009-07-28	Matthijs Kooijman	Show type of binder in listBinding.	commit \| commitdiff \| tree
2009-07-28	Matthijs Kooijman	Make listBind use listBinding.	commit \| commitdiff \| tree
2009-07-28	Matthijs Kooijman	Extend CoreShow for TyCons.	commit \| commitdiff \| tree
2009-07-14	Matthijs Kooijman	Remove the (now unused) is_wild predicate.	commit \| commitdiff \| tree
2009-07-14	Matthijs Kooijman	Don't create selector cases for unused binders.	commit \| commitdiff \| tree
2009-07-14	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-07-13	Matthijs Kooijman	Remove some unused code.	commit \| commitdiff \| tree
2009-07-13	Matthijs Kooijman	Use noSrcSpan instead of a dummy SrcSpan.	commit \| commitdiff \| tree
2009-07-13	Matthijs Kooijman	Simplify eitherCoreOrExprArgs.	commit \| commitdiff \| tree
2009-07-13	Matthijs Kooijman	Generate proper VHDL for top level bindings with no...	commit \| commitdiff \| tree
2009-07-13	Matthijs Kooijman	Use is_local_var for limiting appsimpl and letsimpl.	commit \| commitdiff \| tree
2009-07-13	Matthijs Kooijman	Add newline at the end of file.	commit \| commitdiff \| tree
2009-07-13	Matthijs Kooijman	Add is_local_var predicate.	commit \| commitdiff \| tree
2009-07-13	Matthijs Kooijman	Santize comment dashes position.	commit \| commitdiff \| tree
2009-07-13	Matthijs Kooijman	Normalize all used global binders.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Let inlinefun inline everything non-representable.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Unify typeprop and funprop into argprop.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Extract only representable arguments.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Add predicates for testing representability of types.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Let mkHType also return errors using Either.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Put a TypeState in TransformState.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Split off the type related VHDLState variables.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Make vhdl_ty and friends return errors with Either.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Stop extracting dataconstructor arguments.	commit \| commitdiff \| tree
2009-07-02	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-07-01	Matthijs Kooijman	Add TODO regarding removal of is_wild.	commit \| commitdiff \| tree
2009-06-29	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-06-29	Matthijs Kooijman	Make genMap support mapping applications.	commit \| commitdiff \| tree
2009-06-29	Matthijs Kooijman	Allow arguments to builtins to be applications.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Let exprToVar give a useful error message.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Use tcSplitSigmaTy for getting at value arguments.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Add is_simple predicate for applications and vars.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Add function-typed argument extraction transform.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Add has_free_vars predicate.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Remove TODO that was already solved.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Add a anyset operation to HighOrdAlu, using foldl.	commit \| commitdiff \| tree
next

The Cλash compiler

RSS Atom