projects / matthijs / master-project / cλash.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
matthijs/master-project/cλash.git
2009-02-05 Matthijs KooijmanRemove the export list from the Alu module. commit | commitdiff | tree | snapshot
2009-02-05 Matthijs KooijmanMake the arguments of the alu function curried. commit | commitdiff | tree | snapshot
2009-02-05 Matthijs KooijmanRemove the empty state of the alu function. commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanCreate a VHDL proc for each state variable. commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanGenerate a list of state, signal pairs as a side effect... commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanMatch input and output state using ints. commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanUse a better name for binders in a lambda expression. commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanImprove error message. commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanLet mkIfaceSigDecs and createSignalAssignments handle... commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanAdd a D-Flip flop hardware model. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanMake state values unused in a SignalNameMap. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanExtract mkPort and mkState to the top level. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanPrint the final session after the output. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanAllow variables to be bound to complex expressions. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanFind state arguments / results in top level functions. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanAdd a full_adder version with stateful interface. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanMake a proper HsFunction for top-level functions. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanRestructure mkVHDL and getArchitecture a bit. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanCreate proper HsFunctions for function application. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanIndex the list of functions with information about... commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanIntroduce a new type HsValueMap. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanMake tuple construction handling more portable. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanRemove the getInstantiations function. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanWrite the resulting vhdl to file. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanReplace - with _ in VHDL ids. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanSet VHDL types based on Haskell Types. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanStore the type of a signal in a SignalNameMap. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanMake SignalNameMap always map VHDLId's. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanGenerate entities in addition to architectures. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanStore the VHDLId of a function in HWFunction. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanGive Adders a mainIO to to interactive simulation. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanAdd a a new function "stateless". commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanAdd a stateless circuit type. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanRename the Circuit type to SCircuit (for stateful) commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanRename a bunch of type variables. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanStore the RegisterBankState in a algbraic data type. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanShow input on each simulation step. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanPrint the binds we're about to translate. commit | commitdiff | tree | snapshot
2009-01-30 Matthijs KooijmanImplement full_adder in terms of half_adder. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanAllow multiple functions to be translated in the same... commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanSwap argument order on findBind. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanLearn expandExpr how to handle Let expressions. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanMake full_adder simpler. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanImprove error message for createSignalAssignments. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanLearn ExpandExpr how to handle simple case expressions. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanAdd a base case to splitTupleConstructorArgs. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanLearn expandExpr how to handle tuple construction. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanAdd a duplication hardware model. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanImplement expandArgs in terms of expandExpr. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanAdd a double invertor model. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanLearn expandExpr how to expand Application. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanLet expandExpr error out on unsupported expressions. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanAdd an invertor hardware model. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanRework the VHDL generation to be more bottom up. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanAdd a trivial "wire" hardware model. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanRename PortNameMap to SignalNameMap and make it a depen... commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanMove around some functionality. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanReorder and comment things a bit. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanUse uniqueName to make component instantiations unique. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanAdd a uniqueName function. commit | commitdiff | tree | snapshot
2009-01-29 Matthijs KooijmanAdd some comments. commit | commitdiff | tree | snapshot
2009-01-27 Matthijs KooijmanUse spaces instead of tabs. commit | commitdiff | tree | snapshot
2009-01-27 Matthijs KooijmanPut getInstantiations in the State monad. commit | commitdiff | tree | snapshot
2009-01-27 Matthijs KooijmanPut getArchitecture inside the State monad. commit | commitdiff | tree | snapshot
2009-01-27 Matthijs KooijmanMake the state monad calling code more pretty. commit | commitdiff | tree | snapshot
2009-01-27 Matthijs KooijmanRun mkHWFunction and addFunc in a State monad. commit | commitdiff | tree | snapshot
2009-01-27 Matthijs KooijmanDerive Show for the data types we define. commit | commitdiff | tree | snapshot
2009-01-22 Matthijs KooijmanRemove the Args constructor, just use a list instead. commit | commitdiff | tree | snapshot
2009-01-22 Matthijs KooijmanLook up the port names in the session when generating... commit | commitdiff | tree | snapshot
2009-01-22 Matthijs KooijmanGenerate a HWFunction for the function that is being... commit | commitdiff | tree | snapshot
2009-01-22 Matthijs KooijmanLookup input port names for instantiations in the session. commit | commitdiff | tree | snapshot
2009-01-22 Matthijs KooijmanMake getPortMapEntry accept a PortNameMap. commit | commitdiff | tree | snapshot
2009-01-22 Matthijs KooijmanPass around a session variable. commit | commitdiff | tree | snapshot
2009-01-22 Matthijs KooijmanUse ForSyDe.Backend.VHDL modules to generate VHDL. commit | commitdiff | tree | snapshot
2009-01-22 Matthijs KooijmanRemove the entity generation code. commit | commitdiff | tree | snapshot
2009-01-21 Matthijs KooijmanHandle tuple constructors in expressions. commit | commitdiff | tree | snapshot
2009-01-21 Matthijs KooijmanLet the Adders module export everything. commit | commitdiff | tree | snapshot
2009-01-21 Matthijs KooijmanAdd a haskell model for a half adder. commit | commitdiff | tree | snapshot
2009-01-21 Matthijs KooijmanAdd an error message. commit | commitdiff | tree | snapshot
2009-01-21 Matthijs KooijmanMap output ports as well as input ports. commit | commitdiff | tree | snapshot
2009-01-21 Matthijs KooijmanGenerate input port names from the argument types. commit | commitdiff | tree | snapshot
2009-01-19 Matthijs KooijmanAdd .gitignore file. commit | commitdiff | tree | snapshot
2009-01-19 Matthijs KooijmanIntial import of some haskell programs. commit | commitdiff | tree | snapshot
The Cλash compiler