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