projects
/
matthijs
/
master-project
/
cλash.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge branch 'cλash' of http://git.stderr.nl/matthijs/projects/master-project
[matthijs/master-project/cλash.git]
/
Translator.hs
2009-06-22
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
blob
|
commitdiff
|
raw
2009-06-19
Matthijs Kooijman
Recursively normalize binds.
blob
|
commitdiff
|
raw
2009-06-19
Christiaan Baaij
Added main function to Main module
blob
|
commitdiff
|
raw
|
diff to current
2009-06-19
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
blob
|
commitdiff
|
raw
|
diff to current
2009-06-19
Matthijs Kooijman
Add another higher order testcase, highordtest2.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-19
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
blob
|
commitdiff
|
raw
|
diff to current
2009-06-19
Christiaan Baaij
Started adding builtin functions
blob
|
commitdiff
|
raw
|
diff to current
2009-06-19
Christiaan Baaij
Cabalized clash
blob
|
commitdiff
|
raw
|
diff to current
2009-06-18
Matthijs Kooijman
Use highordtest in main, since that can now be normalized.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-18
Matthijs Kooijman
Add infrastructure for running core to core transformat...
blob
|
commitdiff
|
raw
|
diff to current
2009-06-15
Matthijs Kooijman
Generate VHDL from Core instead of flat functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-12
Matthijs Kooijman
Make listBind support recursive bindings.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Properly save state propagated flat functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Make the Alu example use 4-bit SizedWord as data.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-06
Matthijs Kooijman
Make listBind also show the type of the bind.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-10
Matthijs Kooijman
Remove a few stale TODOs.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-10
Matthijs Kooijman
Add support for builtin functions again.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-10
Matthijs Kooijman
Redo the global (state) structure of the translator.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-09
Matthijs Kooijman
Rename VHDLState to TranslatorState.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-09
Matthijs Kooijman
Use Data.Accessor for FuncData.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-09
Matthijs Kooijman
Remove createArchitecture from the VHDLState Monad.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-09
Matthijs Kooijman
Remove nameFlatFunction from the VHDLState monad.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-05
Matthijs Kooijman
Remove createEntity from the VHDLState monad.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-05
Matthijs Kooijman
Remove getDesignFiles from the VHDLState monad.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-04
Matthijs Kooijman
Provide preliminary support for list types.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-04
Matthijs Kooijman
Fix propagateState removing all non-FApp SigDefs.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-03
Matthijs Kooijman
Fill in propagateState.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-03
Matthijs Kooijman
Add initial (dummy) propagateState function.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-03
Matthijs Kooijman
Put VHDL files for each design in a separate directory.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-03
Matthijs Kooijman
Allow for generating VHDL for stateless functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-27
Matthijs Kooijman
Add some newlines in the output.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-19
Matthijs Kooijman
Write each VHDL entity to a seperate file.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-19
Matthijs Kooijman
Use the name hints in signal name construction.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-19
Matthijs Kooijman
Do the naming of a signal in named function instead...
blob
|
commitdiff
|
raw
|
diff to current
2009-02-19
Matthijs Kooijman
Allow name hints to be set for a signal.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-19
Matthijs Kooijman
Make register_bank work, with a bunch of changes.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-19
Matthijs Kooijman
Make listBind also show a pretty printed output.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-19
Matthijs Kooijman
Further reduce main and add a makeVHDL function.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-19
Matthijs Kooijman
Support multiple alternative case expressions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-18
Matthijs Kooijman
Add a simple four-bit shift register model.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-18
Matthijs Kooijman
Use a different approach for marking SigUses.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-18
Matthijs Kooijman
Add a listBind function to show the Core for a bind.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-18
Matthijs Kooijman
Split out the large main function a bit.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-17
Matthijs Kooijman
Generalize FApp and CondDef into SigDef and add UncondDef.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-17
Matthijs Kooijman
Don't generate ports for non-port signals.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-17
Matthijs Kooijman
Move the DesignFile creation to VHDL.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-17
Matthijs Kooijman
Create state procs for state signals.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-16
Matthijs Kooijman
Store a use for each signal in a flattened function.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-16
Matthijs Kooijman
Add Entities for builtin functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Make modFuncs work with stateful functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Use less general names as labels some fields.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Generate a VHDL architecture for each function.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Store the Haskell Type in SignalInfo.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Extract entities from the session and return them in...
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Create an entity for each function.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Store signals in a map.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Name signals in a function after flattening it.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Remove NamedFlatFunction again.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Allow a FlatFunction to be named as well as unnamed.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Move around a bunch of types.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Add more builtin functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Only force a stateful interface for top level functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Add facilities for builtin functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Add a setFlatFunc function.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Make the flatfunc in FuncMap optional.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Replace FuncMap by a Data.Map.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Implement resolvFunc.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Add the current CoreModule to the session.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Replace printBind* by a Pretty instance.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Greatly clean up Translator.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-06
Matthijs Kooijman
Let Translator.hs export everything.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-05
Matthijs Kooijman
Name the module in Translator.hs Translator.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-03
Matthijs Kooijman
Create a VHDL proc for each state variable.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-03
Matthijs Kooijman
Generate a list of state, signal pairs as a side effect...
blob
|
commitdiff
|
raw
|
diff to current
2009-02-03
Matthijs Kooijman
Match input and output state using ints.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-03
Matthijs Kooijman
Use a better name for binders in a lambda expression.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-03
Matthijs Kooijman
Improve error message.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-03
Matthijs Kooijman
Let mkIfaceSigDecs and createSignalAssignments handle...
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Make state values unused in a SignalNameMap.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Extract mkPort and mkState to the top level.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Print the final session after the output.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Allow variables to be bound to complex expressions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Find state arguments / results in top level functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Make a proper HsFunction for top-level functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Restructure mkVHDL and getArchitecture a bit.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Create proper HsFunctions for function application.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Index the list of functions with information about...
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Introduce a new type HsValueMap.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Make tuple construction handling more portable.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Remove the getInstantiations function.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Write the resulting vhdl to file.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-02
Matthijs Kooijman
Replace - with _ in VHDL ids.
blob
|
commitdiff
|
raw
|
diff to current
2009-01-30
Matthijs Kooijman
Set VHDL types based on Haskell Types.
blob
|
commitdiff
|
raw
|
diff to current
2009-01-30
Matthijs Kooijman
Store the type of a signal in a SignalNameMap.
blob
|
commitdiff
|
raw
|
diff to current
2009-01-30
Matthijs Kooijman
Make SignalNameMap always map VHDLId's.
blob
|
commitdiff
|
raw
|
diff to current
2009-01-30
Matthijs Kooijman
Generate entities in addition to architectures.
blob
|
commitdiff
|
raw
|
diff to current
2009-01-30
Matthijs Kooijman
Store the VHDLId of a function in HWFunction.
blob
|
commitdiff
|
raw
|
diff to current
2009-01-30
Matthijs Kooijman
Print the binds we're about to translate.
blob
|
commitdiff
|
raw
|
diff to current
2009-01-29
Matthijs Kooijman
Allow multiple functions to be translated in the same...
blob
|
commitdiff
|
raw
|
diff to current
2009-01-29
Matthijs Kooijman
Swap argument order on findBind.
blob
|
commitdiff
|
raw
|
diff to current
next