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

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

2009-02-09	Matthijs Kooijman	Learn flattenExpr about Var expressions.	commit \| commitdiff \| tree
2009-02-09	Matthijs Kooijman	Learn flattenExpr about Lambda expressions.	commit \| commitdiff \| tree
2009-02-06	Matthijs Kooijman	Add a BindMap argument to flattenExpr.	commit \| commitdiff \| tree
2009-02-06	Matthijs Kooijman	Add accessor methods for FlattenState.	commit \| commitdiff \| tree
2009-02-06	Matthijs Kooijman	Add flattenFunction and flattenExpr.	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Create a VHDL proc for each state variable.	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Generate a list of state, signal pairs as a side effect...	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Match input and output state using ints.	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Use a better name for binders in a lambda expression.	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Improve error message.	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Let mkIfaceSigDecs and createSignalAssignments handle...	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Add a D-Flip flop hardware model.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Make state values unused in a SignalNameMap.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Extract mkPort and mkState to the top level.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Print the final session after the output.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Allow variables to be bound to complex expressions.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Find state arguments / results in top level functions.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Add a full_adder version with stateful interface.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Make a proper HsFunction for top-level functions.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Restructure mkVHDL and getArchitecture a bit.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Create proper HsFunctions for function application.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Index the list of functions with information about...	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Introduce a new type HsValueMap.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Make tuple construction handling more portable.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Remove the getInstantiations function.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Write the resulting vhdl to file.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Replace - with _ in VHDL ids.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Set VHDL types based on Haskell Types.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Store the type of a signal in a SignalNameMap.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Make SignalNameMap always map VHDLId's.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Generate entities in addition to architectures.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Store the VHDLId of a function in HWFunction.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Give Adders a mainIO to to interactive simulation.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Add a a new function "stateless".	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Add a stateless circuit type.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Rename the Circuit type to SCircuit (for stateful)	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Rename a bunch of type variables.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Store the RegisterBankState in a algbraic data type.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Show input on each simulation step.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Print the binds we're about to translate.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Implement full_adder in terms of half_adder.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Allow multiple functions to be translated in the same...	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Swap argument order on findBind.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Learn expandExpr how to handle Let expressions.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Make full_adder simpler.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Improve error message for createSignalAssignments.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Learn ExpandExpr how to handle simple case expressions.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add a base case to splitTupleConstructorArgs.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Learn expandExpr how to handle tuple construction.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add a duplication hardware model.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Implement expandArgs in terms of expandExpr.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add a double invertor model.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Learn expandExpr how to expand Application.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Let expandExpr error out on unsupported expressions.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add an invertor hardware model.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Rework the VHDL generation to be more bottom up.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add a trivial "wire" hardware model.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Rename PortNameMap to SignalNameMap and make it a dependent...	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Move around some functionality.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Reorder and comment things a bit.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Use uniqueName to make component instantiations unique.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add a uniqueName function.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add some comments.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Use spaces instead of tabs.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Put getInstantiations in the State monad.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Put getArchitecture inside the State monad.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Make the state monad calling code more pretty.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Run mkHWFunction and addFunc in a State monad.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Derive Show for the data types we define.	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Remove the Args constructor, just use a list instead.	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Look up the port names in the session when generating...	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Generate a HWFunction for the function that is being...	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Lookup input port names for instantiations in the session.	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Make getPortMapEntry accept a PortNameMap.	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Pass around a session variable.	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Use ForSyDe.Backend.VHDL modules to generate VHDL.	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Remove the entity generation code.	commit \| commitdiff \| tree
2009-01-21	Matthijs Kooijman	Handle tuple constructors in expressions.	commit \| commitdiff \| tree
2009-01-21	Matthijs Kooijman	Let the Adders module export everything.	commit \| commitdiff \| tree
2009-01-21	Matthijs Kooijman	Add a haskell model for a half adder.	commit \| commitdiff \| tree
2009-01-21	Matthijs Kooijman	Add an error message.	commit \| commitdiff \| tree
2009-01-21	Matthijs Kooijman	Map output ports as well as input ports.	commit \| commitdiff \| tree
2009-01-21	Matthijs Kooijman	Generate input port names from the argument types.	commit \| commitdiff \| tree
2009-01-19	Matthijs Kooijman	Add .gitignore file.	commit \| commitdiff \| tree
2009-01-19	Matthijs Kooijman	Intial import of some haskell programs.	commit \| commitdiff \| tree

The Cλash compiler

RSS Atom