matthijs/master-project/cλash.git
2010-06-23 christiaanbZ-encode invalid names instead of using extended identi...
2010-06-22 christiaanbAdd parenthesis to output of show function to mimic...
2010-06-22 christiaanbAdd comment to DEFAULT alternative simplification
2010-06-22 christiaanbAlso simplify expressions of the DEFAULT alternative...
2010-06-21 christiaanbEnum literals are now correctly translated to numbers
2010-06-21 christiaanbAdd derivelift function to hardwaretypes
2010-06-21 christiaanbPrint null character instead of empty character when...
2010-06-21 christiaanbUse numbers in case-selectors to reflect changes to...
2010-06-21 christiaanbClash depends on newer vhdl package that can print...
2010-06-21 christiaanbadtShow now calls vhdl show function to show the constr...
2010-06-21 christiaanbEnum are now integer typedefs instead of unsigned subty...
2010-06-21 christiaanbNumbers are now encoded using a descending index
2010-06-21 christiaanbAdd show generation function for ADTs
2010-06-21 christiaanbEncode enumerations as unsigned integers instead of...
2010-06-17 christiaanbAdd shiftL and shiftR operators for signed and unsigned...
2010-06-17 christiaanbAdd higherordercpu and matrix multiplication examples
2010-06-17 christiaanbFix sectioning bug of fold, iterate and friends
2010-06-17 christiaanbmap fst works again after latest fixes to clash
2010-06-17 christiaanbgetFieldLabels has better error messages
2010-06-17 christiaanbgenApplication get an explicit destination type
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...
next