projects / matthijs / master-project / cλash.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
matthijs/master-project/cλash.git
2010-03-05 Matthijs KooijmanAdd variant of isRepr that operates in the TranslatorSe... commit | commitdiff | tree | snapshot
2010-03-05 Matthijs KooijmanAdd getNormalized_maybe that does not fail if a binder... commit | commitdiff | tree | snapshot
2010-03-05 Matthijs KooijmanRemove getBinding and use getGlobalBind instead. commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanSupport stateful functions with no own state (only... commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanAllow inlining of head and friends. commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanUse fromMaybe with an error message instead of fromJust. commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanIgnore all applications that have an empty result type. commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanCopy initial state when specializing functions. commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanIgnore selector cases selecting empty typed values. commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanSupport unzipping of a vector containing state values. commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanAdd some comments. commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanMake getFieldLabels errors more verbose. commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanGive a proper error when a vector of an empty type... commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanAllow ! to be inlined. commit | commitdiff | tree | snapshot
2010-03-03 Matthijs KooijmanUpdate module name in error message. commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanLet scrutinee binder removal mark the expression as... commit | commitdiff | tree | snapshot
2009-12-07 Matthijs KooijmanAlso inline some arithmetic operators. commit | commitdiff | tree | snapshot
2009-12-01 Matthijs KooijmanAdd TODO. commit | commitdiff | tree | snapshot
2009-11-30 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb... commit | commitdiff | tree | snapshot
2009-11-30 Matthijs KooijmanAdd comment. commit | commitdiff | tree | snapshot
2009-11-25 Christiaan... Multiplications are now resized to mimic the behaviour... commit | commitdiff | tree | snapshot
2009-11-11 Christiaan... Fix haddock generation commit | commitdiff | tree | snapshot
2009-11-11 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects... commit | commitdiff | tree | snapshot
2009-11-11 Christiaan... Clean up source files: commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanActually make the scrutinee binder removal not crash. commit | commitdiff | tree | snapshot
2009-11-11 Matthijs KooijmanAdd 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 KooijmanAdd a trailing newline to HighOrdAlu. commit | commitdiff | tree | snapshot
2009-09-01 Matthijs KooijmanAdd comments to the inlinetoplevel transformation. commit | commitdiff | tree | snapshot
2009-09-01 Matthijs KooijmanUpdate comments for inlinenonrep. commit | commitdiff | tree | snapshot
2009-09-01 Matthijs KooijmanFix typo. commit | commitdiff | tree | snapshot
2009-09-01 Matthijs KooijmanMerge 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 KooijmanFix typo. commit | commitdiff | tree | snapshot
2009-08-28 Matthijs KooijmanMerge 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 KooijmanMerge branch 'master' of git://github.com/christiaanb... commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanAdd a not in isUserDefined. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanLet vhld_ty handle free tyvars gracefully. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanAdd ty_has_free_tyvars predicate. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanSplit substitute into substitute and substitute_clone. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanRewrite substitute to clone the substitution range. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanDon't error on type abstraction when cloning binders. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanWhen inlining top level functions, guarantee uniqueness. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanMake all binders unique before normalizing. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanAdd genUniques function to regenerate all uniques. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanAdd mapAccumLM helper function. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanDon't try to inline non-normalizeable top level functions. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanAdd andM and orM utility functions. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanAdd isNormalizeable predicate. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanMake isRepr work on TypedThings instead of CoreExpr. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanAlso inline functions named "fromInteger". commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanDon't extra non-representable values in simplres. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanUse isUserDefined for (not) inlining top level functions. commit | commitdiff | tree | snapshot
2009-08-19 Matthijs KooijmanAdd 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 KooijmanInline 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 KooijmanAdd (temporary) simplres normalization pass. commit | commitdiff | tree | snapshot
2009-08-17 Matthijs KooijmanAdd 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 KooijmanMake letflat work for nonrec lets in rec lets as well. commit | commitdiff | tree | snapshot
2009-08-17 Matthijs KooijmanRevert "Limit flattenLets to non-recursive lets only." commit | commitdiff | tree | snapshot
2009-08-17 Matthijs KooijmanDisable letmerge. commit | commitdiff | tree | snapshot
2009-08-17 Matthijs KooijmanMake letremoveunused work for recursive lets again. commit | commitdiff | tree | snapshot
2009-08-17 Matthijs KooijmanMake letflat work for recursive lets again. commit | commitdiff | tree | snapshot
2009-08-17 Matthijs KooijmanTurn 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 KooijmanOrder 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 KooijmanAdd lambdasimpl normalization pass. commit | commitdiff | tree | snapshot
2009-08-14 Matthijs KooijmanMake letremoveunused work for non-recursive lets. commit | commitdiff | tree | snapshot
2009-08-14 Matthijs KooijmanLet casesimpl generate non-recursive lets. commit | commitdiff | tree | snapshot
2009-08-14 Matthijs KooijmanAdd mkNonRecLets and use it. commit | commitdiff | tree | snapshot
2009-08-14 Matthijs KooijmanMake letmerge work with non-recursive lets. commit | commitdiff | tree | snapshot
2009-08-14 Matthijs KooijmanLimit flattenLets to non-recursive lets only. commit | commitdiff | tree | snapshot
2009-08-14 Matthijs KooijmanMove flattenLets from Normalize to CoreTools. commit | commitdiff | tree | snapshot
next
The Cλash compiler