matthijs/master-project/cλash.git
2009-01-30 Matthijs KooijmanStore the RegisterBankState in a algbraic data type.
2009-01-30 Matthijs KooijmanShow input on each simulation step.
2009-01-30 Matthijs KooijmanPrint the binds we're about to translate.
2009-01-30 Matthijs KooijmanImplement full_adder in terms of half_adder.
2009-01-29 Matthijs KooijmanAllow multiple functions to be translated in the same...
2009-01-29 Matthijs KooijmanSwap argument order on findBind.
2009-01-29 Matthijs KooijmanLearn expandExpr how to handle Let expressions.
2009-01-29 Matthijs KooijmanMake full_adder simpler.
2009-01-29 Matthijs KooijmanImprove error message for createSignalAssignments.
2009-01-29 Matthijs KooijmanLearn ExpandExpr how to handle simple case expressions.
2009-01-29 Matthijs KooijmanAdd a base case to splitTupleConstructorArgs.
2009-01-29 Matthijs KooijmanLearn expandExpr how to handle tuple construction.
2009-01-29 Matthijs KooijmanAdd a duplication hardware model.
2009-01-29 Matthijs KooijmanImplement expandArgs in terms of expandExpr.
2009-01-29 Matthijs KooijmanAdd a double invertor model.
2009-01-29 Matthijs KooijmanLearn expandExpr how to expand Application.
2009-01-29 Matthijs KooijmanLet expandExpr error out on unsupported expressions.
2009-01-29 Matthijs KooijmanAdd an invertor hardware model.
2009-01-29 Matthijs KooijmanRework the VHDL generation to be more bottom up.
2009-01-29 Matthijs KooijmanAdd a trivial "wire" hardware model.
2009-01-29 Matthijs KooijmanRename PortNameMap to SignalNameMap and make it a depen...
2009-01-29 Matthijs KooijmanMove around some functionality.
2009-01-29 Matthijs KooijmanReorder and comment things a bit.
2009-01-29 Matthijs KooijmanUse uniqueName to make component instantiations unique.
2009-01-29 Matthijs KooijmanAdd a uniqueName function.
2009-01-29 Matthijs KooijmanAdd some comments.
2009-01-27 Matthijs KooijmanUse spaces instead of tabs.
2009-01-27 Matthijs KooijmanPut getInstantiations in the State monad.
2009-01-27 Matthijs KooijmanPut getArchitecture inside the State monad.
2009-01-27 Matthijs KooijmanMake the state monad calling code more pretty.
2009-01-27 Matthijs KooijmanRun mkHWFunction and addFunc in a State monad.
2009-01-27 Matthijs KooijmanDerive Show for the data types we define.
2009-01-22 Matthijs KooijmanRemove the Args constructor, just use a list instead.
2009-01-22 Matthijs KooijmanLook up the port names in the session when generating...
2009-01-22 Matthijs KooijmanGenerate a HWFunction for the function that is being...
2009-01-22 Matthijs KooijmanLookup input port names for instantiations in the session.
2009-01-22 Matthijs KooijmanMake getPortMapEntry accept a PortNameMap.
2009-01-22 Matthijs KooijmanPass around a session variable.
2009-01-22 Matthijs KooijmanUse ForSyDe.Backend.VHDL modules to generate VHDL.
2009-01-22 Matthijs KooijmanRemove the entity generation code.
2009-01-21 Matthijs KooijmanHandle tuple constructors in expressions.
2009-01-21 Matthijs KooijmanLet the Adders module export everything.
2009-01-21 Matthijs KooijmanAdd a haskell model for a half adder.
2009-01-21 Matthijs KooijmanAdd an error message.
2009-01-21 Matthijs KooijmanMap output ports as well as input ports.
2009-01-21 Matthijs KooijmanGenerate input port names from the argument types.
2009-01-19 Matthijs KooijmanAdd .gitignore file.
2009-01-19 Matthijs KooijmanIntial import of some haskell programs.