| 2010-06-21 |
christiaanb | Enum are now integer typedefs instead of unsigned subty... |
commit | commitdiff | tree | snapshot |
| 2010-06-21 |
christiaanb | Numbers are now encoded using a descending index |
commit | commitdiff | tree | snapshot |
| 2010-06-21 |
christiaanb | Add show generation function for ADTs |
commit | commitdiff | tree | snapshot |
| 2010-06-21 |
christiaanb | Encode enumerations as unsigned integers instead of... |
commit | commitdiff | tree | snapshot |
| 2010-06-17 |
christiaanb | Add shiftL and shiftR operators for signed and unsigned... |
commit | commitdiff | tree | snapshot |
| 2010-06-17 |
christiaanb | Add higherordercpu and matrix multiplication examples |
commit | commitdiff | tree | snapshot |
| 2010-06-17 |
christiaanb | Fix sectioning bug of fold, iterate and friends |
commit | commitdiff | tree | snapshot |
| 2010-06-17 |
christiaanb | map fst works again after latest fixes to clash |
commit | commitdiff | tree | snapshot |
| 2010-06-17 |
christiaanb | getFieldLabels has better error messages |
commit | commitdiff | tree | snapshot |
| 2010-06-17 |
christiaanb | genApplication get an explicit destination type |
commit | commitdiff | tree | snapshot |
| 2010-06-17 |
christiaanb | Builtin builder arguments now get an extra Type.Type |
commit | commitdiff | tree | snapshot |
| 2010-06-17 |
christiaanb | Implement API change of shiftl and shiftr, limit Prelud... |
commit | commitdiff | tree | snapshot |
| 2010-06-17 |
christiaanb | Fix vhdl type generation of index type, as upper bound... |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
christiaanb | Give the index type an exclusive upper-bound, and fix... |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Add a CaseAlt constructor to CoreContext. |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Store which binders become in scope in the CoreContext. |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Use the CoreContext predicate functions. |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Add predicate functions for the CoreContext type. |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Let genApplication handle (built-in) enumeration types. |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Restructure genApplication to handle all AggrTypes. |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Don't treat datacon id's as local variables. |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Add getConstructorFieldLabel accessor function. |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Add datacons_for function to get the datacons for a... |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Correctly treat errors as a nested list in mkTyConHType. |
commit | commitdiff | tree | snapshot |
| 2010-06-16 |
Matthijs Kooijman | Don't mix up the i and dc_i variables. |
commit | commitdiff | tree | snapshot |
| 2010-06-09 |
Matthijs Kooijman | Add support for multiple-constructor datatypes with... |
commit | commitdiff | tree | snapshot |
| 2010-06-09 |
Matthijs Kooijman | Add stringToVHDLExpr function. |
commit | commitdiff | tree | snapshot |
| 2010-06-09 |
Matthijs Kooijman | Add datacon_index function to find a datacon in a type. |
commit | commitdiff | tree | snapshot |
| 2010-06-09 |
Matthijs Kooijman | Make casesimpl support multiple-alt cases with fields. |
commit | commitdiff | tree | snapshot |
| 2010-06-08 |
Matthijs Kooijman | Merge branch 'master' of git://github.com/christiaanb... |
commit | commitdiff | tree | snapshot |
| 2010-06-08 |
christiaanb | Do not be overzealous with inlining results of polymorp... |
commit | commitdiff | tree | snapshot |
| 2010-06-08 |
christiaanb | Do not function extract functions that still have free... |
commit | commitdiff | tree | snapshot |
| 2010-06-07 |
christiaanb | Add setup file |
commit | commitdiff | tree | snapshot |
| 2010-06-07 |
christiaanb | Fix cabal file to reflect temp bug fixes |
commit | commitdiff | tree | snapshot |
| 2010-06-07 |
christiaanb | Temporarily disable "inlinenonrepresult" transformation... |
commit | commitdiff | tree | snapshot |
| 2010-06-02 |
christiaanb | Rename cλash dir to clash so it behaves well within... |
commit | commitdiff | tree | snapshot |
| 2010-06-01 |
christiaanb | update cabal file to upload to hackage |
commit | commitdiff | tree | snapshot |
| 2010-06-01 |
christiaanb | Remove defunct makeVHDLStrings function, messes with... |
commit | commitdiff | tree | snapshot |
| 2010-06-01 |
christiaanb | Update reducer to use new integer types |
commit | commitdiff | tree | snapshot |
| 2010-06-01 |
christiaanb | Reflect moving TFVec and TFP Integers into clash in... |
commit | commitdiff | tree | snapshot |
| 2010-06-01 |
christiaanb | Update package dependencies |
commit | commitdiff | tree | snapshot |
| 2010-06-01 |
christiaanb | Move TFVec and TFP integers (Signed, Unsiged and Index... |
commit | commitdiff | tree | snapshot |
| 2010-05-26 |
Matthijs Kooijman | Also simplify top level binder scrutinees. |
commit | commitdiff | tree | snapshot |
| 2010-05-26 |
Matthijs Kooijman | Add a new "section" for type-class transformations. |
commit | commitdiff | tree | snapshot |
| 2010-05-25 |
Matthijs Kooijman | Improve listBindings output. |
commit | commitdiff | tree | snapshot |
| 2010-05-18 |
Matthijs Kooijman | Reorder transformations to match my thesis. |
commit | commitdiff | tree | snapshot |
| 2010-05-18 |
Matthijs Kooijman | Move a part of β-reduction to application propagation. |
commit | commitdiff | tree | snapshot |
| 2010-04-14 |
Matthijs Kooijman | Make debug output controllable with a top-level "constant". |
commit | commitdiff | tree | snapshot |
| 2010-04-14 |
Matthijs Kooijman | Add traceIf function for conditional tracing. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Move the application of "everywhere" to dotransforms. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Remove some commented out code. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | s/normalise/normalize/ |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Don't inline non representable results with free type... |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Improve error message in mkSelCase. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Replace fst with a lambda in a map. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Forbid inlinenonrepresult to inline dictionaries. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Remove two debug traces. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Rewrite fromInteger and literal generation. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | No longer treat tfp ints as builtin types. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Add genCoreArgs wrapper to VHDL.Generate. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Move tfp_to_int from VHDLTools to CoreTools. |
commit | commitdiff | tree | snapshot |
| 2010-04-13 |
Matthijs Kooijman | Add getFullString function to get a qualified name. |
commit | commitdiff | tree | snapshot |
| 2010-04-07 |
Matthijs Kooijman | Add non-representable result inlining transformation. |
commit | commitdiff | tree | snapshot |
| 2010-04-07 |
Matthijs Kooijman | Add case of known constructor simplification. |
commit | commitdiff | tree | snapshot |
| 2010-04-07 |
Matthijs Kooijman | Allow normalized functions to have a non-representable... |
commit | commitdiff | tree | snapshot |
| 2010-04-07 |
Matthijs Kooijman | Add allM and anyM functions. |
commit | commitdiff | tree | snapshot |
| 2010-04-06 |
Matthijs Kooijman | Split off selector case creation code into CoreTools. |
commit | commitdiff | tree | snapshot |
| 2010-04-06 |
Matthijs Kooijman | Make top level inlining handle non-representable result... |
commit | commitdiff | tree | snapshot |
| 2010-04-06 |
Matthijs Kooijman | Fix typo in error message. |
commit | commitdiff | tree | snapshot |
| 2010-04-06 |
Matthijs Kooijman | Add variant of splitNormalized for non-representable... |
commit | commitdiff | tree | snapshot |
| 2010-04-06 |
Matthijs Kooijman | Switch order of clauses in retvalsimpl to match thesis. |
commit | commitdiff | tree | snapshot |
| 2010-04-06 |
Matthijs Kooijman | Update comment for return value simplification. |
commit | commitdiff | tree | snapshot |
| 2010-04-06 |
Matthijs Kooijman | Fix let binding inlining in some cases. |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Turn letderecursification into let recursification... |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Revert "Make inlinebind work for non-recursive lets." |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Slightly move the "after normalization" debug output. |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Compilefix debug output. |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
christiaanb | Update reducer to latest design (that runs at 159 MHz) |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
christiaanb | Add time dependency to cabal package |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Show number of transformations per function. |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Keep (and show) a count of applied transformations. |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Merge lambdasimpl, letsimpl and simplres into retvalsim... |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Show the current transformation context in the debug... |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Derive Show for CoreContext. |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Add is_let predicate. |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Log the time needed for compilation. |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Only apply eta expansion to expressions at the top... |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Derive Eq for CoreContext. |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Add LambdaBody to CoreContext. |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Only inline top level functions that are completely... |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Inline all simple top level functions, not just compile... |
commit | commitdiff | tree | snapshot |
| 2010-03-31 |
Matthijs Kooijman | Only inline dictionaries that are likely to be resolvable. |
commit | commitdiff | tree | snapshot |
| 2010-03-30 |
Matthijs Kooijman | Only inline top level functions that are applied in... |
commit | commitdiff | tree | snapshot |
| 2010-03-30 |
Matthijs Kooijman | Add LetBody and LetBinding to the CoreContext. |
commit | commitdiff | tree | snapshot |
| 2010-03-30 |
Matthijs Kooijman | Remove notappargs, which is unused now. |
commit | commitdiff | tree | snapshot |
| 2010-03-30 |
Matthijs Kooijman | Let eta expansion use the passed context instead of... |
commit | commitdiff | tree | snapshot |
| 2010-03-30 |
Matthijs Kooijman | Add AppFirst and AddSecond to CoreContext. |
commit | commitdiff | tree | snapshot |
| 2010-03-30 |
Matthijs Kooijman | Pass the context in which an expression occurs to each... |
commit | commitdiff | tree | snapshot |
| 2010-03-30 |
christiaanb | add fromRangedWord function, and add error message... |
commit | commitdiff | tree | snapshot |
| 2010-03-25 |
Christiaan... | Merge branch 'master' of git.stderr.nl/matthijs/master... |
commit | commitdiff | tree | snapshot |
| next |
projects / matthijs / master-project / cλash.git / shortlog