projects
/
matthijs
/
master-project
/
cλash.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add mkNonRecLets and use it.
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
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
next