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

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

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
2009-06-21	Matthijs Kooijman	Add type propagation transform.	commit \| commitdiff \| tree
2009-06-21	Matthijs Kooijman	Add cloneVar function to clone a Var.	commit \| commitdiff \| tree
2009-06-19	Matthijs Kooijman	Recursively normalize binds.	commit \| commitdiff \| tree
2009-06-19	Matthijs Kooijman	Add another higher order testcase, highordtest2.	commit \| commitdiff \| tree
2009-06-19	Matthijs Kooijman	Support VHDL generation for two-alternative cases.	commit \| commitdiff \| tree
2009-06-18	Matthijs Kooijman	Use highordtest in main, since that can now be normalized.	commit \| commitdiff \| tree
2009-06-18	Matthijs Kooijman	Add a (fairly complete) set of transforms.	commit \| commitdiff \| tree
2009-06-18	Matthijs Kooijman	Add is_lam and is_fun predicates.	commit \| commitdiff \| tree
2009-06-18	Matthijs Kooijman	Add a inlinebind helper function.	commit \| commitdiff \| tree
2009-06-18	Matthijs Kooijman	Add a substitute helper function.	commit \| commitdiff \| tree
2009-06-18	Matthijs Kooijman	Print the type in the transform debug output.	commit \| commitdiff \| tree
2009-06-18	Matthijs Kooijman	Add infrastructure for running core to core transformations.	commit \| commitdiff \| tree
2009-06-18	Matthijs Kooijman	Add a higher order testcase.	commit \| commitdiff \| tree
2009-06-18	Matthijs Kooijman	Add is_wild function to check for wild binders.	commit \| commitdiff \| tree
2009-06-15	Matthijs Kooijman	Generate VHDL from Core instead of flat functions.	commit \| commitdiff \| tree
2009-06-12	Matthijs Kooijman	Make listBind support recursive bindings.	commit \| commitdiff \| tree
2009-05-25	Matthijs Kooijman	Update the hardware models a bit.	commit \| commitdiff \| tree
2009-04-16	Matthijs Kooijman	Support binding the scrutinee of a Case expression.	commit \| commitdiff \| tree
2009-04-15	Matthijs Kooijman	Derive Show CoreSyn.Note.	commit \| commitdiff \| tree
2009-04-14	Matthijs Kooijman	Let VHDL generate a typecast for SizedWord literals.	commit \| commitdiff \| tree
2009-04-14	Matthijs Kooijman	Generate VHDL typecasts for literals when needed.	commit \| commitdiff \| tree
2009-04-14	Matthijs Kooijman	Put mkConcSm inside the VHDLState monad.	commit \| commitdiff \| tree
2009-04-14	Matthijs Kooijman	Add a Type to a Literal SignalExpr.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Generalize VHDL type creation for SizedWord and FSVec.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	A word has a width, not a length.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Properly save state propagated flat functions.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Make the Alu example use 4-bit SizedWord as data.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Add (non-working) support for SizedWord literals.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Translate the SizedWord type to a VHDL vector.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Move eval_type_level_int to CoreTools.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Import the Types.Data.Num module in eval_tfp_int.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Add a [ModuleName] parameter to toCore.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Fix compilation of CoreTools.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Add an importModule function.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Allow references to global values without arguments.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Move some code out of the flattenExpr to global scope.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Add sized_word_len, which gets the length from a SizedWord...	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Add the new CoreTools module.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Add a runTcM utility function.	commit \| commitdiff \| tree
2009-04-09	Matthijs Kooijman	Derive Show for HsBinds.	commit \| commitdiff \| tree
2009-04-06	Matthijs Kooijman	Use basic identifiers for builtins.	commit \| commitdiff \| tree
2009-04-06	Matthijs Kooijman	Make Map.Map an instance of Pretty.	commit \| commitdiff \| tree
2009-04-06	Matthijs Kooijman	Use extended VHDL identifiers where possible.	commit \| commitdiff \| tree
2009-04-06	Matthijs Kooijman	Use the actual FSVec length to create VHDL vectors.	commit \| commitdiff \| tree
2009-04-06	Matthijs Kooijman	Ignore .swp files.	commit \| commitdiff \| tree
2009-04-06	Matthijs Kooijman	Add the new HsTools module.	commit \| commitdiff \| tree
2009-04-06	Matthijs Kooijman	Add the new GhcTools module.	commit \| commitdiff \| tree
2009-04-06	Matthijs Kooijman	Cleanup imports and add a vim modeline.	commit \| commitdiff \| tree
2009-04-06	Matthijs Kooijman	Make listBind also show the type of the bind.	commit \| commitdiff \| tree
2009-04-06	Matthijs Kooijman	Derive Show for more types.	commit \| commitdiff \| tree
2009-04-02	Matthijs Kooijman	Delete unused Parser.hs.	commit \| commitdiff \| tree
2009-03-10	Matthijs Kooijman	Add a TODO.	commit \| commitdiff \| tree
2009-03-10	Matthijs Kooijman	Remove a few stale TODOs.	commit \| commitdiff \| tree
2009-03-10	Matthijs Kooijman	Import the ieee library into the generated types package.	commit \| commitdiff \| tree
2009-03-10	Matthijs Kooijman	Filter out dots from generated type id's.	commit \| commitdiff \| tree
2009-03-10	Matthijs Kooijman	Put vhdl_ty in the (new) TypeState Monad.	commit \| commitdiff \| tree
2009-03-10	Matthijs Kooijman	Output a package containing all type declarations.	commit \| commitdiff \| tree
2009-03-10	Matthijs Kooijman	Add support for builtin functions again.	commit \| commitdiff \| tree
2009-03-10	Matthijs Kooijman	Redo the global (state) structure of the translator.	commit \| commitdiff \| tree
2009-03-09	Matthijs Kooijman	Rename VHDLState to TranslatorState.	commit \| commitdiff \| tree
2009-03-09	Matthijs Kooijman	Use Data.Accessor for FuncData.	commit \| commitdiff \| tree
2009-03-09	Matthijs Kooijman	Remove createArchitecture from the VHDLState Monad.	commit \| commitdiff \| tree
2009-03-09	Matthijs Kooijman	Remove mkConcSm from the VHDLState monad.	commit \| commitdiff \| tree
2009-03-09	Matthijs Kooijman	Remove nameFlatFunction from the VHDLState monad.	commit \| commitdiff \| tree
2009-03-09	Matthijs Kooijman	Make createEntity preserve the Entity on builtin functions.	commit \| commitdiff \| tree
2009-03-06	Matthijs Kooijman	Add a getFuncMap accessor for VHDLState.	commit \| commitdiff \| tree
2009-03-06	Matthijs Kooijman	Derive Show for a bunch of types.	commit \| commitdiff \| tree
2009-03-06	Matthijs Kooijman	Move the Show deriving for Core types to a new CoreShow...	commit \| commitdiff \| tree
2009-03-05	Matthijs Kooijman	Remove the dontcare function from Bits.	commit \| commitdiff \| tree
2009-03-05	Matthijs Kooijman	Remove createEntity from the VHDLState monad.	commit \| commitdiff \| tree
2009-03-05	Matthijs Kooijman	Remove getDesignFiles from the VHDLState monad.	commit \| commitdiff \| tree
2009-03-05	Matthijs Kooijman	Strip adjacent underscores from VHDLIds.	commit \| commitdiff \| tree
2009-03-04	Matthijs Kooijman	Provide preliminary support for list types.	commit \| commitdiff \| tree
2009-03-04	Matthijs Kooijman	Add some hardware models using vectors (FSVec).	commit \| commitdiff \| tree
2009-03-04	Matthijs Kooijman	Fix propagateState removing all non-FApp SigDefs.	commit \| commitdiff \| tree
2009-03-04	Matthijs Kooijman	Map the clk port on stateful function applications.	commit \| commitdiff \| tree
2009-03-04	Matthijs Kooijman	Don't inline alu.	commit \| commitdiff \| tree
next

The Cλash compiler

RSS Atom