projects
/
matthijs
/
master-project
/
cλash.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Make letflat work for nonrec lets in rec lets as well.
2009-06-21
Matthijs Kooijman
Add type propagation transform.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Add cloneVar function to clone a Var.
commit
|
commitdiff
|
tree
2009-06-19
Matthijs Kooijman
Recursively normalize binds.
commit
|
commitdiff
|
tree
2009-06-19
Matthijs Kooijman
Add another higher order testcase, highordtest2.
commit
|
commitdiff
|
tree
2009-06-19
Matthijs Kooijman
Support VHDL generation for two-alternative cases.
commit
|
commitdiff
|
tree
2009-06-18
Matthijs Kooijman
Use highordtest in main, since that can now be normalized.
commit
|
commitdiff
|
tree
2009-06-18
Matthijs Kooijman
Add a (fairly complete) set of transforms.
commit
|
commitdiff
|
tree
2009-06-18
Matthijs Kooijman
Add is_lam and is_fun predicates.
commit
|
commitdiff
|
tree
2009-06-18
Matthijs Kooijman
Add a inlinebind helper function.
commit
|
commitdiff
|
tree
2009-06-18
Matthijs Kooijman
Add a substitute helper function.
commit
|
commitdiff
|
tree
2009-06-18
Matthijs Kooijman
Print the type in the transform debug output.
commit
|
commitdiff
|
tree
2009-06-18
Matthijs Kooijman
Add infrastructure for running core to core transformations.
commit
|
commitdiff
|
tree
2009-06-18
Matthijs Kooijman
Add a higher order testcase.
commit
|
commitdiff
|
tree
2009-06-18
Matthijs Kooijman
Add is_wild function to check for wild binders.
commit
|
commitdiff
|
tree
2009-06-15
Matthijs Kooijman
Generate VHDL from Core instead of flat functions.
commit
|
commitdiff
|
tree
2009-06-12
Matthijs Kooijman
Make listBind support recursive bindings.
commit
|
commitdiff
|
tree
2009-05-25
Matthijs Kooijman
Update the hardware models a bit.
commit
|
commitdiff
|
tree
2009-04-16
Matthijs Kooijman
Support binding the scrutinee of a Case expression.
commit
|
commitdiff
|
tree
2009-04-15
Matthijs Kooijman
Derive Show CoreSyn.Note.
commit
|
commitdiff
|
tree
2009-04-14
Matthijs Kooijman
Let VHDL generate a typecast for SizedWord literals.
commit
|
commitdiff
|
tree
2009-04-14
Matthijs Kooijman
Generate VHDL typecasts for literals when needed.
commit
|
commitdiff
|
tree
2009-04-14
Matthijs Kooijman
Put mkConcSm inside the VHDLState monad.
commit
|
commitdiff
|
tree
2009-04-14
Matthijs Kooijman
Add a Type to a Literal SignalExpr.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Generalize VHDL type creation for SizedWord and FSVec.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
A word has a width, not a length.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Properly save state propagated flat functions.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Make the Alu example use 4-bit SizedWord as data.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Add (non-working) support for SizedWord literals.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Translate the SizedWord type to a VHDL vector.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Move eval_type_level_int to CoreTools.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Import the Types.Data.Num module in eval_tfp_int.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Add a [ModuleName] parameter to toCore.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Fix compilation of CoreTools.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Add an importModule function.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Allow references to global values without arguments.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Move some code out of the flattenExpr to global scope.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Add sized_word_len, which gets the length from a SizedWord...
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Add the new CoreTools module.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Add a runTcM utility function.
commit
|
commitdiff
|
tree
2009-04-09
Matthijs Kooijman
Derive Show for HsBinds.
commit
|
commitdiff
|
tree
2009-04-06
Matthijs Kooijman
Use basic identifiers for builtins.
commit
|
commitdiff
|
tree
2009-04-06
Matthijs Kooijman
Make Map.Map an instance of Pretty.
commit
|
commitdiff
|
tree
2009-04-06
Matthijs Kooijman
Use extended VHDL identifiers where possible.
commit
|
commitdiff
|
tree
2009-04-06
Matthijs Kooijman
Use the actual FSVec length to create VHDL vectors.
commit
|
commitdiff
|
tree
2009-04-06
Matthijs Kooijman
Ignore .swp files.
commit
|
commitdiff
|
tree
2009-04-06
Matthijs Kooijman
Add the new HsTools module.
commit
|
commitdiff
|
tree
2009-04-06
Matthijs Kooijman
Add the new GhcTools module.
commit
|
commitdiff
|
tree
2009-04-06
Matthijs Kooijman
Cleanup imports and add a vim modeline.
commit
|
commitdiff
|
tree
2009-04-06
Matthijs Kooijman
Make listBind also show the type of the bind.
commit
|
commitdiff
|
tree
2009-04-06
Matthijs Kooijman
Derive Show for more types.
commit
|
commitdiff
|
tree
2009-04-02
Matthijs Kooijman
Delete unused Parser.hs.
commit
|
commitdiff
|
tree
2009-03-10
Matthijs Kooijman
Add a TODO.
commit
|
commitdiff
|
tree
2009-03-10
Matthijs Kooijman
Remove a few stale TODOs.
commit
|
commitdiff
|
tree
2009-03-10
Matthijs Kooijman
Import the ieee library into the generated types package.
commit
|
commitdiff
|
tree
2009-03-10
Matthijs Kooijman
Filter out dots from generated type id's.
commit
|
commitdiff
|
tree
2009-03-10
Matthijs Kooijman
Put vhdl_ty in the (new) TypeState Monad.
commit
|
commitdiff
|
tree
2009-03-10
Matthijs Kooijman
Output a package containing all type declarations.
commit
|
commitdiff
|
tree
2009-03-10
Matthijs Kooijman
Add support for builtin functions again.
commit
|
commitdiff
|
tree
2009-03-10
Matthijs Kooijman
Redo the global (state) structure of the translator.
commit
|
commitdiff
|
tree
2009-03-09
Matthijs Kooijman
Rename VHDLState to TranslatorState.
commit
|
commitdiff
|
tree
2009-03-09
Matthijs Kooijman
Use Data.Accessor for FuncData.
commit
|
commitdiff
|
tree
2009-03-09
Matthijs Kooijman
Remove createArchitecture from the VHDLState Monad.
commit
|
commitdiff
|
tree
2009-03-09
Matthijs Kooijman
Remove mkConcSm from the VHDLState monad.
commit
|
commitdiff
|
tree
2009-03-09
Matthijs Kooijman
Remove nameFlatFunction from the VHDLState monad.
commit
|
commitdiff
|
tree
2009-03-09
Matthijs Kooijman
Make createEntity preserve the Entity on builtin functions.
commit
|
commitdiff
|
tree
2009-03-06
Matthijs Kooijman
Add a getFuncMap accessor for VHDLState.
commit
|
commitdiff
|
tree
2009-03-06
Matthijs Kooijman
Derive Show for a bunch of types.
commit
|
commitdiff
|
tree
2009-03-06
Matthijs Kooijman
Move the Show deriving for Core types to a new CoreShow...
commit
|
commitdiff
|
tree
2009-03-05
Matthijs Kooijman
Remove the dontcare function from Bits.
commit
|
commitdiff
|
tree
2009-03-05
Matthijs Kooijman
Remove createEntity from the VHDLState monad.
commit
|
commitdiff
|
tree
2009-03-05
Matthijs Kooijman
Remove getDesignFiles from the VHDLState monad.
commit
|
commitdiff
|
tree
2009-03-05
Matthijs Kooijman
Strip adjacent underscores from VHDLIds.
commit
|
commitdiff
|
tree
2009-03-04
Matthijs Kooijman
Provide preliminary support for list types.
commit
|
commitdiff
|
tree
2009-03-04
Matthijs Kooijman
Add some hardware models using vectors (FSVec).
commit
|
commitdiff
|
tree
2009-03-04
Matthijs Kooijman
Fix propagateState removing all non-FApp SigDefs.
commit
|
commitdiff
|
tree
2009-03-04
Matthijs Kooijman
Map the clk port on stateful function applications.
commit
|
commitdiff
|
tree
2009-03-04
Matthijs Kooijman
Don't inline alu.
commit
|
commitdiff
|
tree
2009-03-04
Matthijs Kooijman
Remove support for DontCare.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Fill in propagateState.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Remove the now obsolete getOwnStates.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Add some predicates and accessors to FlattenTypes.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Let VHDL use SignalInfo instead of HsFunction for generating...
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Add initial (dummy) propagateState function.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Add vim modeline.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Add a is_FApp predicate.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Never inline the half_adder function.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Add StandalonDeriving language option to Pretty.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Don't add duplicate name hints.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Put VHDL files for each design in a separate directory.
commit
|
commitdiff
|
tree
2009-03-03
Matthijs Kooijman
Allow for generating VHDL for stateless functions.
commit
|
commitdiff
|
tree
2009-02-27
Matthijs Kooijman
Add some newlines in the output.
commit
|
commitdiff
|
tree
2009-02-27
Matthijs Kooijman
Make exec have a single binding.
commit
|
commitdiff
|
tree
2009-02-27
Matthijs Kooijman
Add a two-port mux hardware model.
commit
|
commitdiff
|
tree
2009-02-19
Matthijs Kooijman
Write each VHDL entity to a seperate file.
commit
|
commitdiff
|
tree
2009-02-19
Matthijs Kooijman
Let the exec function output something.
commit
|
commitdiff
|
tree
2009-02-19
Matthijs Kooijman
Support construction of empty tuples.
commit
|
commitdiff
|
tree
2009-02-19
Matthijs Kooijman
Print the list of signals sorted by id.
commit
|
commitdiff
|
tree
2009-02-19
Matthijs Kooijman
Also allow uppercase letters and a period in VHDL ids.
commit
|
commitdiff
|
tree
2009-02-19
Matthijs Kooijman
Add name hints to various signals generated.
commit
|
commitdiff
|
tree
2009-02-19
Matthijs Kooijman
Strip invalid characters from VHDL identifiers.
commit
|
commitdiff
|
tree
next