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