projects
/
matthijs
/
master-project
/
cλash.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
matthijs/master-project/cλash.git
2009-08-19
Matthijs Kooijman
Add a not in isUserDefined.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Let vhld_ty handle free tyvars gracefully.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Add ty_has_free_tyvars predicate.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Split substitute into substitute and substitute_clone.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Rewrite substitute to clone the substitution range.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Don't error on type abstraction when cloning binders.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
When inlining top level functions, guarantee uniqueness.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Make all binders unique before normalizing.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Add genUniques function to regenerate all uniques.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Add mapAccumLM helper function.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Don't try to inline non-normalizeable top level functions.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Add andM and orM utility functions.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Add isNormalizeable predicate.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Make isRepr work on TypedThings instead of CoreExpr.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Also inline functions named "fromInteger".
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Don't extra non-representable values in simplres.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Use isUserDefined for (not) inlining top level functions.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-19
Matthijs Kooijman
Add isUserDefined predicate.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-18
Matthijs Kooijman
Inline all top level functions that look simple.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-17
Matthijs Kooijman
Add (temporary) simplres normalization pass.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-17
Matthijs Kooijman
Add top level inliner normalization pass.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-17
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-17
Matthijs Kooijman
Make letflat work for nonrec lets in rec lets as well.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-17
Matthijs Kooijman
Revert "Limit flattenLets to non-recursive lets only."
commit
|
commitdiff
|
tree
|
snapshot
2009-08-17
Matthijs Kooijman
Disable letmerge.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-17
Matthijs Kooijman
Make letremoveunused work for recursive lets again.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-17
Matthijs Kooijman
Make letflat work for recursive lets again.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-17
Matthijs Kooijman
Turn of Normalize debugging again, accidentally committed.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Order the extracted bindings from a case expression...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Christiaan...
Fix replace function to make Quartus II happy
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Christiaan...
Ignore casts that just repack state. Don't make VHDL...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Christiaan...
Add builtin blockRAM primitive
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Add lambdasimpl normalization pass.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Make letremoveunused work for non-recursive lets.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Let casesimpl generate non-recursive lets.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Add mkNonRecLets and use it.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Make letmerge work with non-recursive lets.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Limit flattenLets to non-recursive lets only.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Move flattenLets from Normalize to CoreTools.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Make inlinebind work for non-recursive lets.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Add empty let removal normalization pass.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Rename letremove to letremovesimple.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Don't try to simplify nested lets.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Make letflat work with non-recursive lets.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Make letsimpl work on and generate a non-recursive...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
No longer add a top level let before normalization.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Make some normalizations generate nonrecursive lets.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Turn let recursification into its opposite.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-14
Matthijs Kooijman
Be more strict in state recognition.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-13
Christiaan...
Hopefully generate completely unique varNames now ...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-13
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-13
Christiaan...
Generate more unique variable names, generate truely...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-13
Matthijs Kooijman
Don't generate a state proc for an empty state.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-13
Matthijs Kooijman
Make splitNormalized work for non-recursive lets.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-13
Matthijs Kooijman
Add and use splitNormalized helper function.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-13
Christiaan...
Add boolean or and and, tuple fst and snd function.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-13
Christiaan...
Added equals builtin. And fixed show function generatio...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-13
Christiaan...
Class Num is re-exported by CLasH.HardwareTypes, so...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Revert "Put mkAssocElems in the TranslatorSession."
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Revert "Don't generate VHDL for state packing."
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Throw away old and unused functions for state.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Generate a state proc for a stateful function.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Don't inline register_bank.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Only do State packing once in register_bank.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Improve Normalize debug output.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Add isStateCon helper.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Use mkBinderFor instead of mkInternalVar.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Add identical let binding merge normalization pass.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Add cast simplification normalization pass.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Make output ports optional.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Fix more comments.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-12
Matthijs Kooijman
Fix comment.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-08
Christiaan...
Fix haddock comments
commit
|
commitdiff
|
tree
|
snapshot
2009-08-07
Christiaan...
Add support for translating designs defined over multip...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-07
Christiaan...
Have reduceCoreListToHsList work with simplified modules
commit
|
commitdiff
|
tree
|
snapshot
2009-08-07
Christiaan...
We now use compileToCoreSimplified, I'm sure there...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-07
Christiaan...
State newtype has been moved to CLasH.HardwareTypes
commit
|
commitdiff
|
tree
|
snapshot
2009-08-07
Christiaan...
Alu.hs now uses the new CLasH.HardwareTypes
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Rewrite Alu using the State newtype.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Filter out empty-typed binders in selector cases.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Add hasNonEmptyType helper function.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Let argsToVHDLExpr ignore empty types.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Generalize vhdl_ty to work an all TypedThings.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Add isJustM helper function.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Rename eitherCoreOrExprArgs to argsToVHDLExprs.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Remove the getType field name from OrdType.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Put mkAssocElems in the TranslatorSession.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Remove unused mkAssocElemIndexed.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Don't generate VHDL for substate extractor cases.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Fix letremoveunused, it removed all used bindings.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Fix the trace output of normalized functions.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Filtering out state arguments is no longer needed.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Generate the empty type for State types.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Allow explicit empty VHDL types using Maybe.
commit
|
commitdiff
|
tree
|
snapshot
2009-08-06
Matthijs Kooijman
Don't generate input ports for State arguments.
commit
|
commitdiff
|
tree
|
snapshot
next