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

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

2009-06-23	Matthijs Kooijman	Make subeverywhere complain for unknown expressions.	commit \| commitdiff \| tree \| snapshot
2009-06-23	Matthijs Kooijman	Do not apply eta expansion to application arguments.	commit \| commitdiff \| tree \| snapshot
2009-06-23	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-06-23	Christiaan...	Added +> function, started on map	commit \| commitdiff \| tree \| snapshot
2009-06-23	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree \| snapshot
2009-06-23	Matthijs Kooijman	Always add a clk port map on instantiations.	commit \| commitdiff \| tree \| snapshot
2009-06-23	Matthijs Kooijman	Delete all old .vhdl files before writing new ones.	commit \| commitdiff \| tree \| snapshot
2009-06-23	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-06-23	Christiaan...	Added support for empty TFVec's, Added Some more builti...	commit \| commitdiff \| tree \| snapshot
2009-06-23	Matthijs Kooijman	Prepend "comp_ins_" to component instantiation labels.	commit \| commitdiff \| tree \| snapshot
2009-06-23	Matthijs Kooijman	Remove dummy mkConcSm clause for r = r bindings.	commit \| commitdiff \| tree \| snapshot
2009-06-23	Matthijs Kooijman	Return multiple statements instead of a block.	commit \| commitdiff \| tree \| snapshot
2009-06-23	Matthijs Kooijman	Let mkConcSm return a list of ConcSms.	commit \| commitdiff \| tree \| snapshot
2009-06-23	Matthijs Kooijman	Don't generate a signal for the output port.	commit \| commitdiff \| tree \| snapshot
2009-06-23	Matthijs Kooijman	Perform subsititutions one after another.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Christiaan...	Updated support for RangedWords, Requires new branch...	commit \| commitdiff \| tree \| snapshot
2009-06-22	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Append the Unique to generated VHDL entity id's.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Generate the VHDLId of an entity in a single place.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Remove the old builtin function support.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Christiaan...	Filter non-value variables for built-in functions	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Add error message to mkConcSm for unsupported expressions.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-06-22	Christiaan...	Added support for vectors with arbitrary element types	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Fix definition of hwor builtin operator.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Check parameter counts in mkConcSm instead of the actua...	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Make the hw functions builtin operators instead of...	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Fix typo.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Christiaan...	Added subtype declarations to TypeMap, removed SubtypeMap.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Support application of dataconstructors.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Make mkAssign support assigning to a VHDLName as well.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Split off record field selection AST construction.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Only try to generate builtin functions for global binders.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Never try to normalize global binders.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Matthijs Kooijman	Split off assignment generating code.	commit \| commitdiff \| tree \| snapshot
2009-06-22	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Support single-alt selector case expressions.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add pprString convenience method.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Support single-constructor algebraic types.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Move type registration out of construct_vhdl_ty.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Split off the VHDL type generating code.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Actually use the introduced let from a few commits...	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Error out when normalizing polymorphic functions.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add an empty let before starting normalization.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add and use a mkFunction utility function.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Make beta reduction of Case expressions work for type...	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add function propagation transform.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Improve debug output timing.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Don't propagate types with free tyvars.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add is_applicable predicate.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add has_free_tyvars predicate.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Fix compile error three commits back.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Let inlinefun also apply polymorphic values.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add getGlobalBinders accessor.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add functions for creating and referencing type variables.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Make substitute work for type variables as well.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Change the debug output of applyboth a bit.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add is_poly and is_var predicates.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Make is_fun also work properly for Type CoreExprs.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Remove two old debug traces.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add type propagation transform.	commit \| commitdiff \| tree \| snapshot
2009-06-21	Matthijs Kooijman	Add cloneVar function to clone a Var.	commit \| commitdiff \| tree \| snapshot
2009-06-19	Matthijs Kooijman	Recursively normalize binds.	commit \| commitdiff \| tree \| snapshot
2009-06-19	Christiaan...	Added support for (!) function	commit \| commitdiff \| tree \| snapshot
2009-06-19	Christiaan...	Added support for RangedWords	commit \| commitdiff \| tree \| snapshot
2009-06-19	Christiaan...	Adders.hs explicityly uses Prelude lists function....	commit \| commitdiff \| tree \| snapshot
2009-06-19	Christiaan...	Added main function to Main module	commit \| commitdiff \| tree \| snapshot
2009-06-19	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-06-19	Christiaan...	Added function calls	commit \| commitdiff \| tree \| snapshot
2009-06-19	Matthijs Kooijman	Add another higher order testcase, highordtest2.	commit \| commitdiff \| tree \| snapshot
2009-06-19	Matthijs Kooijman	Support VHDL generation for two-alternative cases.	commit \| commitdiff \| tree \| snapshot
2009-06-19	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-06-19	Christiaan...	Started adding builtin functions	commit \| commitdiff \| tree \| snapshot
2009-06-19	Christiaan...	Cabalized clash	commit \| commitdiff \| tree \| snapshot
2009-06-19	Christiaan...	Added global vector function generation	commit \| commitdiff \| tree \| snapshot
2009-06-18	Matthijs Kooijman	Use highordtest in main, since that can now be normalized.	commit \| commitdiff \| tree \| snapshot
2009-06-18	Matthijs Kooijman	Add a (fairly complete) set of transforms.	commit \| commitdiff \| tree \| snapshot
2009-06-18	Matthijs Kooijman	Add is_lam and is_fun predicates.	commit \| commitdiff \| tree \| snapshot
2009-06-18	Matthijs Kooijman	Add a inlinebind helper function.	commit \| commitdiff \| tree \| snapshot
2009-06-18	Matthijs Kooijman	Add a substitute helper function.	commit \| commitdiff \| tree \| snapshot
2009-06-18	Matthijs Kooijman	Print the type in the transform debug output.	commit \| commitdiff \| tree \| snapshot
2009-06-18	Matthijs Kooijman	Add infrastructure for running core to core transformat...	commit \| commitdiff \| tree \| snapshot
2009-06-18	Matthijs Kooijman	Add a higher order testcase.	commit \| commitdiff \| tree \| snapshot
2009-06-18	Matthijs Kooijman	Add is_wild function to check for wild binders.	commit \| commitdiff \| tree \| snapshot
2009-06-15	Matthijs Kooijman	Generate VHDL from Core instead of flat functions.	commit \| commitdiff \| tree \| snapshot
2009-06-12	Matthijs Kooijman	Make listBind support recursive bindings.	commit \| commitdiff \| tree \| snapshot
2009-05-25	Matthijs Kooijman	Update the hardware models a bit.	commit \| commitdiff \| tree \| snapshot
2009-04-16	Matthijs Kooijman	Support binding the scrutinee of a Case expression.	commit \| commitdiff \| tree \| snapshot
2009-04-15	Matthijs Kooijman	Derive Show CoreSyn.Note.	commit \| commitdiff \| tree \| snapshot
2009-04-14	Matthijs Kooijman	Let VHDL generate a typecast for SizedWord literals.	commit \| commitdiff \| tree \| snapshot
2009-04-14	Matthijs Kooijman	Generate VHDL typecasts for literals when needed.	commit \| commitdiff \| tree \| snapshot
2009-04-14	Matthijs Kooijman	Put mkConcSm inside the VHDLState monad.	commit \| commitdiff \| tree \| snapshot
2009-04-14	Matthijs Kooijman	Add a Type to a Literal SignalExpr.	commit \| commitdiff \| tree \| snapshot
2009-04-09	Matthijs Kooijman	Generalize VHDL type creation for SizedWord and FSVec.	commit \| commitdiff \| tree \| snapshot
2009-04-09	Matthijs Kooijman	A word has a width, not a length.	commit \| commitdiff \| tree \| snapshot
2009-04-09	Matthijs Kooijman	Properly save state propagated flat functions.	commit \| commitdiff \| tree \| snapshot
2009-04-09	Matthijs Kooijman	Make the Alu example use 4-bit SizedWord as data.	commit \| commitdiff \| tree \| snapshot
2009-04-09	Matthijs Kooijman	Add (non-working) support for SizedWord literals.	commit \| commitdiff \| tree \| snapshot
2009-04-09	Matthijs Kooijman	Translate the SizedWord type to a VHDL vector.	commit \| commitdiff \| tree \| snapshot
next

The Cλash compiler

RSS Atom