matthijs/master-project/cλash.git
2009-06-23 Matthijs KooijmanMake subeverywhere complain for unknown expressions.
2009-06-23 Matthijs KooijmanDo not apply eta expansion to application arguments.
2009-06-23 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Christiaan... Added +> function, started on map
2009-06-23 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-06-23 Matthijs KooijmanAlways add a clk port map on instantiations.
2009-06-23 Matthijs KooijmanDelete all old .vhdl files before writing new ones.
2009-06-23 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Christiaan... Added support for empty TFVec's, Added Some more builti...
2009-06-23 Matthijs KooijmanPrepend "comp_ins_" to component instantiation labels.
2009-06-23 Matthijs KooijmanRemove dummy mkConcSm clause for r = r bindings.
2009-06-23 Matthijs KooijmanReturn multiple statements instead of a block.
2009-06-23 Matthijs KooijmanLet mkConcSm return a list of ConcSms.
2009-06-23 Matthijs KooijmanDon't generate a signal for the output port.
2009-06-23 Matthijs KooijmanPerform subsititutions one after another.
2009-06-22 Christiaan... Updated support for RangedWords, Requires new branch...
2009-06-22 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-22 Matthijs KooijmanAppend the Unique to generated VHDL entity id's.
2009-06-22 Matthijs KooijmanGenerate the VHDLId of an entity in a single place.
2009-06-22 Matthijs KooijmanRemove the old builtin function support.
2009-06-22 Christiaan... Filter non-value variables for built-in functions
2009-06-22 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-06-22 Matthijs KooijmanAdd error message to mkConcSm for unsupported expressions.
2009-06-22 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-22 Christiaan... Added support for vectors with arbitrary element types
2009-06-22 Matthijs KooijmanFix definition of hwor builtin operator.
2009-06-22 Matthijs KooijmanCheck parameter counts in mkConcSm instead of the actua...
2009-06-22 Matthijs KooijmanMake the hw functions builtin operators instead of...
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.
next