| 2009-11-11 |
Matthijs Kooijman | Actually make the scrutinee binder removal not crash. |
commit | commitdiff | tree | snapshot |
| 2009-11-11 |
Matthijs Kooijman | Add scrutinee binder removal transformation. |
commit | commitdiff | tree | snapshot |
| 2009-11-10 |
Christiaan... | Use data-accessor-transformers package to remove deprec... |
commit | commitdiff | tree | snapshot |
| 2009-11-10 |
Christiaan... | Fixed VHDL Type generation, vhdlTy now uses HType's... |
commit | commitdiff | tree | snapshot |
| 2009-11-06 |
Christiaan... | Start support on initial state. Substates currently... |
commit | commitdiff | tree | snapshot |
| 2009-11-06 |
Christiaan... | Add built-in split function |
commit | commitdiff | tree | snapshot |
| 2009-11-06 |
Christiaan... | Update reducer |
commit | commitdiff | tree | snapshot |
| 2009-09-28 |
Christiaan... | Fix error message genNegation for non-SizedWord types |
commit | commitdiff | tree | snapshot |
| 2009-09-23 |
Christiaan... | Fix bug with generating head and tail functions. Update... |
commit | commitdiff | tree | snapshot |
| 2009-09-09 |
Christiaan... | Fail again when we try translate a DEFAULT condition |
commit | commitdiff | tree | snapshot |
| 2009-09-09 |
Christiaan... | Add some comments |
commit | commitdiff | tree | snapshot |
| 2009-09-09 |
Christiaan... | Omit empty block statements in test bench |
commit | commitdiff | tree | snapshot |
| 2009-09-09 |
Christiaan... | Add support for multiple alts in case statements |
commit | commitdiff | tree | snapshot |
| 2009-09-09 |
Christiaan... | Add support for enumeration types. |
commit | commitdiff | tree | snapshot |
| 2009-09-08 |
Christiaan... | Merge branch 'cλash' of git.stderr.nl/matthijs/projects... |
commit | commitdiff | tree | snapshot |
| 2009-09-08 |
Christiaan... | Add support for fromIntegerT |
commit | commitdiff | tree | snapshot |
| 2009-09-08 |
Christiaan... | Add some gt,lt,gteq and lteq boolean operators |
commit | commitdiff | tree | snapshot |
| 2009-09-01 |
Matthijs Kooijman | Add a trailing newline to HighOrdAlu. |
commit | commitdiff | tree | snapshot |
| 2009-09-01 |
Matthijs Kooijman | Add comments to the inlinetoplevel transformation. |
commit | commitdiff | tree | snapshot |
| 2009-09-01 |
Matthijs Kooijman | Update comments for inlinenonrep. |
commit | commitdiff | tree | snapshot |
| 2009-09-01 |
Matthijs Kooijman | Fix typo. |
commit | commitdiff | tree | snapshot |
| 2009-09-01 |
Matthijs Kooijman | Merge branch 'master' of git://github.com/christiaanb... |
commit | commitdiff | tree | snapshot |
| 2009-08-29 |
Christiaan... | Use boolean as write enable signal |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
Matthijs Kooijman | Fix typo. |
commit | commitdiff | tree | snapshot |
| 2009-08-28 |
Matthijs Kooijman | Merge branch 'master' of git://github.com/christiaanb... |
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 | Merge branch 'master' of git://github.com/christiaanb... |
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 |
| next |
projects / matthijs / master-project / cλash.git / shortlog