projects
/
matthijs
/
master-project
/
cλash.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Merge branch 'master' of git://github.com/christiaanb/clash into cλash
2009-06-21
Matthijs Kooijman
Add and use a mkFunction utility function.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Make beta reduction of Case expressions work for type...
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Add function propagation transform.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Improve debug output timing.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Don't propagate types with free tyvars.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Add is_applicable predicate.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Add has_free_tyvars predicate.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Fix compile error three commits back.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Let inlinefun also apply polymorphic values.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Add getGlobalBinders accessor.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Add functions for creating and referencing type variables.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Make substitute work for type variables as well.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Change the debug output of applyboth a bit.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Add is_poly and is_var predicates.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Make is_fun also work properly for Type CoreExprs.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Remove two old debug traces.
commit
|
commitdiff
|
tree
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
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
next