matthijs/master-project/cλash.git
2009-06-24 Matthijs KooijmanGenerate vector functions on demand.
2009-06-24 Matthijs KooijmanPut the Builders in the VHDLSession.
2009-06-24 Matthijs KooijmanRemove the globalNameTable from the VHDLState.
2009-06-24 Matthijs KooijmanSwap the VHDLState and VHDLSession type names.
2009-06-24 Matthijs KooijmanClean up the code a bit more.
2009-06-23 Christiaan... Always use everything declared in VHDL work library
2009-06-23 Christiaan... Started cleanup of VHDL.hs and some builtin funcs now...
2009-06-23 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Matthijs KooijmanAdd a hardware module for a generalized Alu.
2009-06-23 Matthijs KooijmanMake mkConcSm support a = b style bindings.
2009-06-23 Matthijs KooijmanMake appsimpl also simplify dataconstructors.
2009-06-23 Christiaan... Added builtin copy function
2009-06-23 Matthijs KooijmanMake subeverywhere support NonRec Lets.
2009-06-23 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Christiaan... Map generations always maps clk port
2009-06-23 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-06-23 Matthijs KooijmanSupport turning dataconstructors into VHDL constants.
2009-06-23 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Christiaan... Added singleton
2009-06-23 Matthijs KooijmanUse varToVHDLExpr in mkConcSm.
2009-06-23 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-06-23 Matthijs KooijmanIgnore cast expressions when generating VHDL.
2009-06-23 Matthijs KooijmanAdd Cast propagation transform.
2009-06-23 Matthijs KooijmanMake subeverywhere support Cast expressions.
2009-06-23 Matthijs KooijmanRemove a double line introduced a few commits back.
2009-06-23 Matthijs KooijmanMake subeverywhere complain for unknown expressions.
2009-06-23 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Christiaan... Almost finished support for 'map'
2009-06-23 Matthijs KooijmanDo not apply eta expansion to application arguments.
2009-06-23 Christiaan... Added builtin function 'empty'
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.
next