matthijs/master-project/cλash.git
2010-03-31 Matthijs KooijmanShow the current transformation context in the debug...
2010-03-31 Matthijs KooijmanDerive Show for CoreContext.
2010-03-31 Matthijs KooijmanAdd is_let predicate.
2010-03-31 Matthijs KooijmanLog the time needed for compilation.
2010-03-31 Matthijs KooijmanOnly apply eta expansion to expressions at the top...
2010-03-31 Matthijs KooijmanDerive Eq for CoreContext.
2010-03-31 Matthijs KooijmanAdd LambdaBody to CoreContext.
2010-03-31 Matthijs KooijmanOnly inline top level functions that are completely...
2010-03-31 Matthijs KooijmanInline all simple top level functions, not just compile...
2010-03-31 Matthijs KooijmanOnly inline dictionaries that are likely to be resolvable.
2010-03-30 Matthijs KooijmanOnly inline top level functions that are applied in...
2010-03-30 Matthijs KooijmanAdd LetBody and LetBinding to the CoreContext.
2010-03-30 Matthijs KooijmanRemove notappargs, which is unused now.
2010-03-30 Matthijs KooijmanLet eta expansion use the passed context instead of...
2010-03-30 Matthijs KooijmanAdd AppFirst and AddSecond to CoreContext.
2010-03-30 Matthijs KooijmanPass the context in which an expression occurs to each...
2010-03-30 christiaanbadd fromRangedWord function, and add error message...
2010-03-25 Christiaan... Merge branch 'master' of git.stderr.nl/matthijs/master...
2010-03-21 Christiaan... Fix gencopy' to use proper vhdl names
2010-03-20 Christiaan... Add "init" to list of builtin function within Normalize...
2010-03-20 Christiaan... Move built_in names to different list within NormalizeTools
2010-03-20 Christiaan... Fix zipWith template to work with partially applied...
2010-03-10 Matthijs KooijmanDon't inline == and /=.
2010-03-10 Matthijs KooijmanRestructure the top level inlining transformation.
2010-03-10 Matthijs KooijmanDon't resolve class operations that are builtin functions.
2010-03-10 Matthijs KooijmanUse the list of builtin functions for inlining.
2010-03-10 Matthijs KooijmanSlightly improve normalization debug output.
2010-03-10 Matthijs KooijmanFix casesimpl and caseremove wrt scrutinee binders.
2010-03-10 Matthijs KooijmanPut a list of builtin functions in VHDL.Constants
2010-03-10 Matthijs KooijmanLet classoperationresolution handle partially inlined...
2010-03-08 Matthijs KooijmanMake listBindings return IO () instead of IO [()].
2010-03-08 Matthijs KooijmanShow classes in listBindings output.
2010-03-08 Matthijs KooijmanShow uniques in listBindings output.
2010-03-08 Matthijs KooijmanAdd class operation resolution transformation.
2010-03-08 Matthijs KooijmanAdd dictionary inlining transformation.
2010-03-08 Matthijs KooijmanLet inlinetoplevel use getNormalized_maybe.
2010-03-05 Matthijs KooijmanLet getNormalized return Nothing on non-normalizeable...
2010-03-05 Matthijs KooijmanAdd variant of isNormalizeable that operates in the...
2010-03-05 Matthijs KooijmanAdd variant of isRepr that operates in the TranslatorSe...
2010-03-05 Matthijs KooijmanAdd getNormalized_maybe that does not fail if a binder...
2010-03-05 Matthijs KooijmanRemove getBinding and use getGlobalBind instead.
2010-03-03 Matthijs KooijmanSupport stateful functions with no own state (only...
2010-03-03 Matthijs KooijmanAllow inlining of head and friends.
2010-03-03 Matthijs KooijmanUse fromMaybe with an error message instead of fromJust.
2010-03-03 Matthijs KooijmanIgnore all applications that have an empty result type.
2010-03-03 Matthijs KooijmanCopy initial state when specializing functions.
2010-03-03 Matthijs KooijmanIgnore selector cases selecting empty typed values.
2010-03-03 Matthijs KooijmanSupport unzipping of a vector containing state values.
2010-03-03 Matthijs KooijmanAdd some comments.
2010-03-03 Matthijs KooijmanMake getFieldLabels errors more verbose.
2010-03-03 Matthijs KooijmanGive a proper error when a vector of an empty type...
2010-03-03 Matthijs KooijmanAllow ! to be inlined.
2010-03-03 Matthijs KooijmanUpdate module name in error message.
2009-12-07 Matthijs KooijmanLet scrutinee binder removal mark the expression as...
2009-12-07 Matthijs KooijmanAlso inline some arithmetic operators.
2009-12-01 Matthijs KooijmanAdd TODO.
2009-11-30 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-11-30 Matthijs KooijmanAdd comment.
2009-11-25 Christiaan... Multiplications are now resized to mimic the behaviour...
2009-11-11 Christiaan... Fix haddock generation
2009-11-11 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-11-11 Christiaan... Clean up source files:
2009-11-11 Matthijs KooijmanActually make the scrutinee binder removal not crash.
2009-11-11 Matthijs KooijmanAdd scrutinee binder removal transformation.
2009-11-10 Christiaan... Use data-accessor-transformers package to remove deprec...
2009-11-10 Christiaan... Fixed VHDL Type generation, vhdlTy now uses HType's...
2009-11-06 Christiaan... Start support on initial state. Substates currently...
2009-11-06 Christiaan... Add built-in split function
2009-11-06 Christiaan... Update reducer
2009-09-28 Christiaan... Fix error message genNegation for non-SizedWord types
2009-09-23 Christiaan... Fix bug with generating head and tail functions. Update...
2009-09-09 Christiaan... Fail again when we try translate a DEFAULT condition
2009-09-09 Christiaan... Add some comments
2009-09-09 Christiaan... Omit empty block statements in test bench
2009-09-09 Christiaan... Add support for multiple alts in case statements
2009-09-09 Christiaan... Add support for enumeration types.
2009-09-08 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-09-08 Christiaan... Add support for fromIntegerT
2009-09-08 Christiaan... Add some gt,lt,gteq and lteq boolean operators
2009-09-01 Matthijs KooijmanAdd a trailing newline to HighOrdAlu.
2009-09-01 Matthijs KooijmanAdd comments to the inlinetoplevel transformation.
2009-09-01 Matthijs KooijmanUpdate comments for inlinenonrep.
2009-09-01 Matthijs KooijmanFix typo.
2009-09-01 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-29 Christiaan... Use boolean as write enable signal
2009-08-28 Matthijs KooijmanFix typo.
2009-08-28 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-20 Christiaan... TFP has updated/remade. Change hardwaretypes accordingly
2009-08-20 Christiaan... Connect resetn port to states.
2009-08-20 Christiaan... Fix the resetn signal in the testbench, it is now corre...
2009-08-20 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-08-19 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-19 Matthijs KooijmanAdd a not in isUserDefined.
2009-08-19 Matthijs KooijmanLet vhld_ty handle free tyvars gracefully.
2009-08-19 Matthijs KooijmanAdd ty_has_free_tyvars predicate.
2009-08-19 Matthijs KooijmanSplit substitute into substitute and substitute_clone.
2009-08-19 Matthijs KooijmanRewrite substitute to clone the substitution range.
2009-08-19 Matthijs KooijmanDon't error on type abstraction when cloning binders.
2009-08-19 Matthijs KooijmanWhen inlining top level functions, guarantee uniqueness.
2009-08-19 Matthijs KooijmanMake all binders unique before normalizing.
next