git.stderr.nl Git - matthijs/master-project/cλash.git/search

projects / matthijs / master-project / cλash.git / search

2009-07-03	Matthijs Kooijman	Let inlinefun inline everything non-representable.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Unify typeprop and funprop into argprop.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Extract only representable arguments.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Add predicates for testing representability of types.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Let mkHType also return errors using Either.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Put a TypeState in TransformState.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Split off the type related VHDLState variables.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Make vhdl_ty and friends return errors with Either.	commit \| commitdiff \| tree
2009-07-03	Matthijs Kooijman	Stop extracting dataconstructor arguments.	commit \| commitdiff \| tree
2009-07-02	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-07-01	Matthijs Kooijman	Add TODO regarding removal of is_wild.	commit \| commitdiff \| tree
2009-06-29	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-06-29	Matthijs Kooijman	Make genMap support mapping applications.	commit \| commitdiff \| tree
2009-06-29	Matthijs Kooijman	Allow arguments to builtins to be applications.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Let exprToVar give a useful error message.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Use tcSplitSigmaTy for getting at value arguments.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Add is_simple predicate for applications and vars.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Add function-typed argument extraction transform.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Add has_free_vars predicate.	commit \| commitdiff \| tree
2009-06-26	Matthijs Kooijman	Remove TODO that was already solved.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Add a anyset operation to HighOrdAlu, using foldl.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Re-enable and clean up the foldl generation.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Remove the function wrapper hack from HighOrdAlu.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Use genApplication in genMap and genZipWith.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Remove the unused Maybe typing in Entity ports.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Add mkIndexedName utility function.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Restructure a lot of VHDL generating code.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Unify all BuiltinBuilder functions.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Give HighOrdAlu an and operation.	commit \| commitdiff \| tree
2009-06-25	Matthijs Kooijman	Let tfvec_len and tfvec_elem give a proper error message.	commit \| commitdiff \| tree
2009-06-24	Matthijs Kooijman	No longer use a view pattern in HsTools.	commit \| commitdiff \| tree
2009-06-24	Matthijs Kooijman	Generate vector functions on demand.	commit \| commitdiff \| tree
2009-06-24	Matthijs Kooijman	Put the Builders in the VHDLSession.	commit \| commitdiff \| tree
2009-06-24	Matthijs Kooijman	Remove the globalNameTable from the VHDLState.	commit \| commitdiff \| tree
2009-06-24	Matthijs Kooijman	Swap the VHDLState and VHDLSession type names.	commit \| commitdiff \| tree
2009-06-24	Matthijs Kooijman	Clean up the code a bit more.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Add a hardware module for a generalized Alu.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Make mkConcSm support a = b style bindings.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Make appsimpl also simplify dataconstructors.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Make subeverywhere support NonRec Lets.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Support turning dataconstructors into VHDL constants.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Use varToVHDLExpr in mkConcSm.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Ignore cast expressions when generating VHDL.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Add Cast propagation transform.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Make subeverywhere support Cast expressions.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Remove a double line introduced a few commits back.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Make subeverywhere complain for unknown expressions.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Do not apply eta expansion to application arguments.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Always add a clk port map on instantiations.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Delete all old .vhdl files before writing new ones.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Prepend "comp_ins_" to component instantiation labels.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Remove dummy mkConcSm clause for r = r bindings.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Return multiple statements instead of a block.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Let mkConcSm return a list of ConcSms.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Don't generate a signal for the output port.	commit \| commitdiff \| tree
2009-06-23	Matthijs Kooijman	Perform subsititutions one after another.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Append the Unique to generated VHDL entity id's.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Generate the VHDLId of an entity in a single place.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Remove the old builtin function support.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Add error message to mkConcSm for unsupported expressions.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Fix definition of hwor builtin operator.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Check parameter counts in mkConcSm instead of the actual...	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Make the hw functions builtin operators instead of...	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Fix typo.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Support application of dataconstructors.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Make mkAssign support assigning to a VHDLName as well.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Split off record field selection AST construction.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Only try to generate builtin functions for global binders.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Never try to normalize global binders.	commit \| commitdiff \| tree
2009-06-22	Matthijs Kooijman	Split off assignment generating code.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Support single-alt selector case expressions.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Add pprString convenience method.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Support single-constructor algebraic types.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Move type registration out of construct_vhdl_ty.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Split off the VHDL type generating code.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Actually use the introduced let from a few commits...	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Error out when normalizing polymorphic functions.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Add an empty let before starting normalization.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Add and use a mkFunction utility function.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Make beta reduction of Case expressions work for type...	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Add function propagation transform.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Improve debug output timing.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Don't propagate types with free tyvars.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Add is_applicable predicate.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Add has_free_tyvars predicate.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Fix compile error three commits back.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Let inlinefun also apply polymorphic values.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Add getGlobalBinders accessor.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Add functions for creating and referencing type variables.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Make substitute work for type variables as well.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Change the debug output of applyboth a bit.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Add is_poly and is_var predicates.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Make is_fun also work properly for Type CoreExprs.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Remove two old debug traces.	commit \| commitdiff \| tree
next

The Cλash compiler

RSS Atom