matthijs/master-project/cλash.git
2009-06-22 Matthijs KooijmanFix typo.
2009-06-22 Christiaan... Added subtype declarations to TypeMap, removed SubtypeMap.
2009-06-22 Matthijs KooijmanSupport application of dataconstructors.
2009-06-22 Matthijs KooijmanMake mkAssign support assigning to a VHDLName as well.
2009-06-22 Matthijs KooijmanSplit off record field selection AST construction.
2009-06-22 Matthijs KooijmanOnly try to generate builtin functions for global binders.
2009-06-22 Matthijs KooijmanNever try to normalize global binders.
2009-06-22 Matthijs KooijmanSplit off assignment generating code.
2009-06-22 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-21 Matthijs KooijmanSupport single-alt selector case expressions.
2009-06-21 Matthijs KooijmanAdd pprString convenience method.
2009-06-21 Matthijs KooijmanSupport single-constructor algebraic types.
2009-06-21 Matthijs KooijmanMove type registration out of construct_vhdl_ty.
2009-06-21 Matthijs KooijmanSplit off the VHDL type generating code.
2009-06-21 Matthijs KooijmanActually use the introduced let from a few commits...
2009-06-21 Matthijs KooijmanError out when normalizing polymorphic functions.
2009-06-21 Matthijs KooijmanAdd an empty let before starting normalization.
2009-06-21 Matthijs KooijmanAdd and use a mkFunction utility function.
2009-06-21 Matthijs KooijmanMake beta reduction of Case expressions work for type...
2009-06-21 Matthijs KooijmanAdd function propagation transform.
2009-06-21 Matthijs KooijmanImprove debug output timing.
2009-06-21 Matthijs KooijmanDon't propagate types with free tyvars.
2009-06-21 Matthijs KooijmanAdd is_applicable predicate.
2009-06-21 Matthijs KooijmanAdd has_free_tyvars predicate.
2009-06-21 Matthijs KooijmanFix compile error three commits back.
2009-06-21 Matthijs KooijmanLet inlinefun also apply polymorphic values.
2009-06-21 Matthijs KooijmanAdd getGlobalBinders accessor.
2009-06-21 Matthijs KooijmanAdd functions for creating and referencing type variables.
2009-06-21 Matthijs KooijmanMake substitute work for type variables as well.
2009-06-21 Matthijs KooijmanChange the debug output of applyboth a bit.
2009-06-21 Matthijs KooijmanAdd is_poly and is_var predicates.
2009-06-21 Matthijs KooijmanMake is_fun also work properly for Type CoreExprs.
2009-06-21 Matthijs KooijmanRemove two old debug traces.
2009-06-21 Matthijs KooijmanAdd type propagation transform.
2009-06-21 Matthijs KooijmanAdd cloneVar function to clone a Var.
2009-06-19 Matthijs KooijmanRecursively normalize binds.
2009-06-19 Christiaan... Added support for (!) function
2009-06-19 Christiaan... Added support for RangedWords
2009-06-19 Christiaan... Adders.hs explicityly uses Prelude lists function....
2009-06-19 Christiaan... Added main function to Main module
2009-06-19 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-19 Christiaan... Added function calls
2009-06-19 Matthijs KooijmanAdd another higher order testcase, highordtest2.
2009-06-19 Matthijs KooijmanSupport VHDL generation for two-alternative cases.
2009-06-19 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-19 Christiaan... Started adding builtin functions
2009-06-19 Christiaan... Cabalized clash
2009-06-19 Christiaan... Added global vector function generation
2009-06-18 Matthijs KooijmanUse highordtest in main, since that can now be normalized.
2009-06-18 Matthijs KooijmanAdd a (fairly complete) set of transforms.
2009-06-18 Matthijs KooijmanAdd is_lam and is_fun predicates.
2009-06-18 Matthijs KooijmanAdd a inlinebind helper function.
2009-06-18 Matthijs KooijmanAdd a substitute helper function.
2009-06-18 Matthijs KooijmanPrint the type in the transform debug output.
2009-06-18 Matthijs KooijmanAdd infrastructure for running core to core transformat...
2009-06-18 Matthijs KooijmanAdd a higher order testcase.
2009-06-18 Matthijs KooijmanAdd is_wild function to check for wild binders.
2009-06-15 Matthijs KooijmanGenerate VHDL from Core instead of flat functions.
2009-06-12 Matthijs KooijmanMake listBind support recursive bindings.
2009-05-25 Matthijs KooijmanUpdate the hardware models a bit.
2009-04-16 Matthijs KooijmanSupport binding the scrutinee of a Case expression.
2009-04-15 Matthijs KooijmanDerive Show CoreSyn.Note.
2009-04-14 Matthijs KooijmanLet VHDL generate a typecast for SizedWord literals.
2009-04-14 Matthijs KooijmanGenerate VHDL typecasts for literals when needed.
2009-04-14 Matthijs KooijmanPut mkConcSm inside the VHDLState monad.
2009-04-14 Matthijs KooijmanAdd a Type to a Literal SignalExpr.
2009-04-09 Matthijs KooijmanGeneralize VHDL type creation for SizedWord and FSVec.
2009-04-09 Matthijs KooijmanA word has a width, not a length.
2009-04-09 Matthijs KooijmanProperly save state propagated flat functions.
2009-04-09 Matthijs KooijmanMake the Alu example use 4-bit SizedWord as data.
2009-04-09 Matthijs KooijmanAdd (non-working) support for SizedWord literals.
2009-04-09 Matthijs KooijmanTranslate the SizedWord type to a VHDL vector.
2009-04-09 Matthijs KooijmanMove eval_type_level_int to CoreTools.
2009-04-09 Matthijs KooijmanImport the Types.Data.Num module in eval_tfp_int.
2009-04-09 Matthijs KooijmanAdd a [ModuleName] parameter to toCore.
2009-04-09 Matthijs KooijmanFix compilation of CoreTools.
2009-04-09 Matthijs KooijmanAdd an importModule function.
2009-04-09 Matthijs KooijmanAllow references to global values without arguments.
2009-04-09 Matthijs KooijmanMove some code out of the flattenExpr to global scope.
2009-04-09 Matthijs KooijmanAdd sized_word_len, which gets the length from a SizedW...
2009-04-09 Matthijs KooijmanAdd the new CoreTools module.
2009-04-09 Matthijs KooijmanAdd a runTcM utility function.
2009-04-09 Matthijs KooijmanDerive Show for HsBinds.
2009-04-06 Matthijs KooijmanUse basic identifiers for builtins.
2009-04-06 Matthijs KooijmanMake Map.Map an instance of Pretty.
2009-04-06 Matthijs KooijmanUse extended VHDL identifiers where possible.
2009-04-06 Matthijs KooijmanUse the actual FSVec length to create VHDL vectors.
2009-04-06 Matthijs KooijmanIgnore .swp files.
2009-04-06 Matthijs KooijmanAdd the new HsTools module.
2009-04-06 Matthijs KooijmanAdd the new GhcTools module.
2009-04-06 Matthijs KooijmanCleanup imports and add a vim modeline.
2009-04-06 Matthijs KooijmanMake listBind also show the type of the bind.
2009-04-06 Matthijs KooijmanDerive Show for more types.
2009-04-02 Matthijs KooijmanDelete unused Parser.hs.
2009-03-10 Matthijs KooijmanAdd a TODO.
2009-03-10 Matthijs KooijmanRemove a few stale TODOs.
2009-03-10 Matthijs KooijmanImport the ieee library into the generated types package.
2009-03-10 Matthijs KooijmanFilter out dots from generated type id's.
2009-03-10 Matthijs KooijmanPut vhdl_ty in the (new) TypeState Monad.
2009-03-10 Matthijs KooijmanOutput a package containing all type declarations.
next