| 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 |
Matthijs Kooijman | Order the extracted bindings from a case expression... |
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 |
| 2009-08-06 |
Matthijs Kooijman | Don't generate VHDL for state packing. |
commit | commitdiff | tree | snapshot |
| 2009-08-06 |
Matthijs Kooijman | Add TypedThing class, and generalize hasStateType with it. |
commit | commitdiff | tree | snapshot |
| 2009-08-06 |
Matthijs Kooijman | Add letremoveunused transformation. |
commit | commitdiff | tree | snapshot |
| 2009-08-06 |
Matthijs Kooijman | Add changeif normalization helper function. |
commit | commitdiff | tree | snapshot |
| 2009-08-06 |
Matthijs Kooijman | Add expr_uses_binders predicate. |
commit | commitdiff | tree | snapshot |
| 2009-08-06 |
Matthijs Kooijman | Add {is,has}StateType predicates. |
commit | commitdiff | tree | snapshot |
| 2009-08-06 |
Matthijs Kooijman | Let mkTupleShow support empty tuples. |
commit | commitdiff | tree | snapshot |
| 2009-08-06 |
Christiaan... | Add the type-alias Vector for TFVec to HardwareTypes... |
commit | commitdiff | tree | snapshot |
| 2009-08-06 |
Christiaan... | Add the module hardware types, that exports all builtin... |
commit | commitdiff | tree | snapshot |
| 2009-08-06 |
Christiaan... | Add new modules to cabal file |
commit | commitdiff | tree | snapshot |
| 2009-08-06 |
Matthijs Kooijman | Remove the unused "stateful" argument fomr makeVHDL*. |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Merge branch 'master' of git://github.com/christiaanb... |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Restructure the "finder" functions. |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Add catMaybesM and concatM helper functions. |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Use the right id for the testbench architecture. |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Christiaan... | Fix builtin functions (!),take and RangedWord |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Fix testbench again. |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Split of part of getNormalized into normalizeExpr. |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Add unzipM helper function. |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Slightly simplify getEntity. |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Move around some helper functions. |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Remove compatability aliases for the old sessions. |
commit | commitdiff | tree | snapshot |
| 2009-08-05 |
Matthijs Kooijman | Make vhdl generation and normalization lazy. |
commit | commitdiff | tree | snapshot |
| 2009-08-03 |
Matthijs Kooijman | Put a comment on UniqSupply generation back. |
commit | commitdiff | tree | snapshot |
| 2009-08-03 |
Matthijs Kooijman | Merge branch 'master' of git://github.com/christiaanb... |
commit | commitdiff | tree | snapshot |
| next |
projects / matthijs / master-project / cλash.git / shortlog