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