projects
/
matthijs
/
master-project
/
cλash.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add some hardware models using vectors (FSVec).
[matthijs/master-project/cλash.git]
/
FlattenTypes.hs
2009-03-03
Matthijs Kooijman
Add some predicates and accessors to FlattenTypes.
blob
|
commitdiff
|
raw
2009-03-03
Matthijs Kooijman
Add vim modeline.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-03
Matthijs Kooijman
Add a is_FApp predicate.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-03
Matthijs Kooijman
Don't add duplicate name hints.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-19
Matthijs Kooijman
Add name hints to various signals generated.
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
Support multiple alternative case expressions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-18
Matthijs Kooijman
Add setSignalInfo accessor for FlattenState.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-18
Matthijs Kooijman
Add a getSignalInfo accessor.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-18
Matthijs Kooijman
Fix comment indent.
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
Add a type alias StateId for state numbers.
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
Add predicates for SigUse.
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-17
Matthijs Kooijman
Add clk port on any stateful entity.
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-13
Matthijs Kooijman
Use less general names as labels some fields.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-13
Matthijs Kooijman
Rename fields of SignalInfo.
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
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-11
Matthijs Kooijman
Fill the signal list in FlatFunction.
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