projects
/
matthijs
/
master-project
/
cλash.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Split out the large main function a bit.
[matthijs/master-project/cλash.git]
/
Pretty.hs
2009-02-18
Matthijs Kooijman
Derive and use show instead of ppr to display Exprs.
blob
|
commitdiff
|
raw
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
Remove type parameterisation of SignalMap.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-17
Matthijs Kooijman
Mark all signals as ports or states when appropriate.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-16
Matthijs Kooijman
Improve the pretty output of the signal list.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-16
Matthijs Kooijman
Make the pretty output more pretty.
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
Let mkCompInsSm look up the actual VHDL entity id.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Move some pretty printing code around.
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
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
Add a list of used signals to FlatFunction.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Remove the distinction between SignalDef and SignalUse.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Make FlatFunction parameterized with the signal id...
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 a setFlatFunc function.
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
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
Add Pretty instance for VHDLSession.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Add pretty printing functions for FlatFunction.
blob
|
commitdiff
|
raw
|
diff to current