2009-09-08 |
Christiaan Baaij | Add some gt,lt,gteq and lteq boolean operators |
tree | commitdiff |
2009-08-29 |
Christiaan Baaij | Use boolean as write enable signal |
tree | commitdiff |
2009-08-20 |
Christiaan Baaij | TFP has updated/remade. Change hardwaretypes accordingly |
tree | commitdiff |
2009-08-20 |
Christiaan Baaij | Connect resetn port to states. |
tree | commitdiff |
2009-08-20 |
Christiaan Baaij | Fix the resetn signal in the testbench, it is now corre... |
tree | commitdiff |
2009-08-20 |
Christiaan Baaij | Merge branch 'cλash' of git.stderr.nl/matthijs/projects... |
tree | commitdiff |
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 |
Christiaan Baaij | Just name the testbench: testbench; don't add the unique |
tree | commitdiff |
2009-08-18 |
Christiaan Baaij | No longer allow slashes in extended names, they are... |
tree | commitdiff |
2009-08-18 |
Christiaan Baaij | Used unsigned instead of natural as representation... |
tree | commitdiff |
2009-08-18 |
Matthijs Kooijman | Inline all top level functions that look simple. |
tree | commitdiff |
2009-08-17 |
Christiaan Baaij | Add resetn ports |
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 |
next |