matthijs/master-project/cλash.git
2010-06-17 christiaanbBuiltin builder arguments now get an extra Type.Type
2010-06-17 christiaanbImplement API change of shiftl and shiftr, limit Prelud...
2010-06-17 christiaanbFix vhdl type generation of index type, as upper bound...
2010-06-16 christiaanbGive the index type an exclusive upper-bound, and fix...
2010-06-16 Matthijs KooijmanAdd a CaseAlt constructor to CoreContext.
2010-06-16 Matthijs KooijmanStore which binders become in scope in the CoreContext.
2010-06-16 Matthijs KooijmanUse the CoreContext predicate functions.
2010-06-16 Matthijs KooijmanAdd predicate functions for the CoreContext type.
2010-06-16 Matthijs KooijmanLet genApplication handle (built-in) enumeration types.
2010-06-16 Matthijs KooijmanRestructure genApplication to handle all AggrTypes.
2010-06-16 Matthijs KooijmanDon't treat datacon id's as local variables.
2010-06-16 Matthijs KooijmanAdd getConstructorFieldLabel accessor function.
2010-06-16 Matthijs KooijmanAdd datacons_for function to get the datacons for a...
2010-06-16 Matthijs KooijmanCorrectly treat errors as a nested list in mkTyConHType.
2010-06-16 Matthijs KooijmanDon't mix up the i and dc_i variables.
2010-06-09 Matthijs KooijmanAdd support for multiple-constructor datatypes with...
2010-06-09 Matthijs KooijmanAdd stringToVHDLExpr function.
2010-06-09 Matthijs KooijmanAdd datacon_index function to find a datacon in a type.
2010-06-09 Matthijs KooijmanMake casesimpl support multiple-alt cases with fields.
2010-06-08 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2010-06-08 christiaanbDo not be overzealous with inlining results of polymorp...
2010-06-08 christiaanbDo not function extract functions that still have free...
2010-06-07 christiaanbAdd setup file
2010-06-07 christiaanbFix cabal file to reflect temp bug fixes
2010-06-07 christiaanbTemporarily disable "inlinenonrepresult" transformation...
2010-06-02 christiaanbRename cλash dir to clash so it behaves well within...
2010-06-01 christiaanbupdate cabal file to upload to hackage
2010-06-01 christiaanbRemove defunct makeVHDLStrings function, messes with...
2010-06-01 christiaanbUpdate reducer to use new integer types
2010-06-01 christiaanbReflect moving TFVec and TFP Integers into clash in...
2010-06-01 christiaanbUpdate package dependencies
2010-06-01 christiaanbMove TFVec and TFP integers (Signed, Unsiged and Index...
2010-05-26 Matthijs KooijmanAlso simplify top level binder scrutinees.
2010-05-26 Matthijs KooijmanAdd a new "section" for type-class transformations.
2010-05-25 Matthijs KooijmanImprove listBindings output.
2010-05-18 Matthijs KooijmanReorder transformations to match my thesis.
2010-05-18 Matthijs KooijmanMove a part of β-reduction to application propagation.
2010-04-14 Matthijs KooijmanMake debug output controllable with a top-level "constant".
2010-04-14 Matthijs KooijmanAdd traceIf function for conditional tracing.
2010-04-13 Matthijs KooijmanMove the application of "everywhere" to dotransforms.
2010-04-13 Matthijs KooijmanRemove some commented out code.
2010-04-13 Matthijs Kooijmans/normalise/normalize/
2010-04-13 Matthijs KooijmanDon't inline non representable results with free type...
2010-04-13 Matthijs KooijmanImprove error message in mkSelCase.
2010-04-13 Matthijs KooijmanReplace fst with a lambda in a map.
2010-04-13 Matthijs KooijmanForbid inlinenonrepresult to inline dictionaries.
2010-04-13 Matthijs KooijmanRemove two debug traces.
2010-04-13 Matthijs KooijmanRewrite fromInteger and literal generation.
2010-04-13 Matthijs KooijmanNo longer treat tfp ints as builtin types.
2010-04-13 Matthijs KooijmanAdd genCoreArgs wrapper to VHDL.Generate.
2010-04-13 Matthijs KooijmanMove tfp_to_int from VHDLTools to CoreTools.
2010-04-13 Matthijs KooijmanAdd getFullString function to get a qualified name.
2010-04-07 Matthijs KooijmanAdd non-representable result inlining transformation.
2010-04-07 Matthijs KooijmanAdd case of known constructor simplification.
2010-04-07 Matthijs KooijmanAllow normalized functions to have a non-representable...
2010-04-07 Matthijs KooijmanAdd allM and anyM functions.
2010-04-06 Matthijs KooijmanSplit off selector case creation code into CoreTools.
2010-04-06 Matthijs KooijmanMake top level inlining handle non-representable result...
2010-04-06 Matthijs KooijmanFix typo in error message.
2010-04-06 Matthijs KooijmanAdd variant of splitNormalized for non-representable...
2010-04-06 Matthijs KooijmanSwitch order of clauses in retvalsimpl to match thesis.
2010-04-06 Matthijs KooijmanUpdate comment for return value simplification.
2010-04-06 Matthijs KooijmanFix let binding inlining in some cases.
2010-03-31 Matthijs KooijmanTurn letderecursification into let recursification...
2010-03-31 Matthijs KooijmanRevert "Make inlinebind work for non-recursive lets."
2010-03-31 Matthijs KooijmanSlightly move the "after normalization" debug output.
2010-03-31 Matthijs KooijmanCompilefix debug output.
2010-03-31 christiaanbUpdate reducer to latest design (that runs at 159 MHz)
2010-03-31 christiaanbAdd time dependency to cabal package
2010-03-31 Matthijs KooijmanShow number of transformations per function.
2010-03-31 Matthijs KooijmanKeep (and show) a count of applied transformations.
2010-03-31 Matthijs KooijmanMerge lambdasimpl, letsimpl and simplres into retvalsim...
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.
next