projects
/
matthijs
/
master-project
/
cλash.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Make casesimpl support multiple-alt cases with fields.
[matthijs/master-project/cλash.git]
/
Flatten.hs
2009-06-12
Matthijs Kooijman
Make listBind support recursive bindings.
blob
|
commitdiff
|
raw
2009-04-16
Matthijs Kooijman
Support binding the scrutinee of a Case expression.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-14
Matthijs Kooijman
Let VHDL generate a typecast for SizedWord literals.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-14
Matthijs Kooijman
Add a Type to a Literal SignalExpr.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Add (non-working) support for SizedWord literals.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Allow references to global values without arguments.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Move some code out of the flattenExpr to global scope.
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-04
Matthijs Kooijman
Remove support for DontCare.
blob
|
commitdiff
|
raw
|
diff to current
2009-03-03
Matthijs Kooijman
Remove the now obsolete getOwnStates.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-19
Matthijs Kooijman
Support construction of empty tuples.
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
Enable the DontCare value for Bit again.
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
Add space in error message.
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
Use a different approach for marking SigUses.
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
Mark all signals as ports or states when appropriate.
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
Mark port signals as such during flattening.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-16
Matthijs Kooijman
Reduce genSignals to a single line using Traversable.
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
Store the Haskell Type in SignalInfo.
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
2009-02-11
Matthijs Kooijman
Derive Ord for HsFunction.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Learn flattenExpr about single alt Case expressions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Learn flattenExpr about Let expressions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Learn flattenExpr about building tuples.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Learn flattenExpr to flatten normal applications.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-11
Matthijs Kooijman
Add useAsPort and useAsState functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-09
Matthijs Kooijman
Add defMapTouseMap function.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-09
Matthijs Kooijman
Make HsValueMap an instance of Functor.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-09
Matthijs Kooijman
Learn flattenExpr about function application.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-09
Matthijs Kooijman
Make flattenExpr return signal definitions for arguments.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-09
Matthijs Kooijman
Learn flattenExpr about Var expressions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-09
Matthijs Kooijman
Learn flattenExpr about Lambda expressions.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-06
Matthijs Kooijman
Add a BindMap argument to flattenExpr.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-06
Matthijs Kooijman
Add accessor methods for FlattenState.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-06
Matthijs Kooijman
Add flattenFunction and flattenExpr.
blob
|
commitdiff
|
raw
|
diff to current
2009-02-06
Matthijs Kooijman
Add a new module "Flatten".
blob
|
commitdiff
|
raw
|
diff to current