projects
/
matthijs
/
master-project
/
cλash.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
matthijs/master-project/cλash.git
2009-06-24
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-24
Christiaan...
Added builtin zipwith function
commit
|
commitdiff
|
tree
|
snapshot
2009-06-24
Matthijs Kooijman
Put the Builders in the VHDLSession.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-24
Matthijs Kooijman
Remove the globalNameTable from the VHDLState.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-24
Christiaan...
Builtin function 'empty' now returns a constant empty...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-24
Matthijs Kooijman
Swap the VHDLState and VHDLSession type names.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-24
Matthijs Kooijman
Clean up the code a bit more.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Always use everything declared in VHDL work library
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Started cleanup of VHDL.hs and some builtin funcs now...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Add a hardware module for a generalized Alu.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Make mkConcSm support a = b style bindings.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Make appsimpl also simplify dataconstructors.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Added builtin copy function
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Make subeverywhere support NonRec Lets.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Map generations always maps clk port
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Support turning dataconstructors into VHDL constants.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Added singleton
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Use varToVHDLExpr in mkConcSm.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Ignore cast expressions when generating VHDL.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Add Cast propagation transform.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Make subeverywhere support Cast expressions.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Remove a double line introduced a few commits back.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Make subeverywhere complain for unknown expressions.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Almost finished support for 'map'
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Do not apply eta expansion to application arguments.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Added builtin function 'empty'
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Added +> function, started on map
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Always add a clk port map on instantiations.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Delete all old .vhdl files before writing new ones.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Christiaan...
Added support for empty TFVec's, Added Some more builti...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Prepend "comp_ins_" to component instantiation labels.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Remove dummy mkConcSm clause for r = r bindings.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Return multiple statements instead of a block.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Let mkConcSm return a list of ConcSms.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Don't generate a signal for the output port.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-23
Matthijs Kooijman
Perform subsititutions one after another.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Christiaan...
Updated support for RangedWords, Requires new branch...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Append the Unique to generated VHDL entity id's.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Generate the VHDLId of an entity in a single place.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Remove the old builtin function support.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Christiaan...
Filter non-value variables for built-in functions
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Add error message to mkConcSm for unsupported expressions.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Christiaan...
Added support for vectors with arbitrary element types
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Fix definition of hwor builtin operator.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Check parameter counts in mkConcSm instead of the actua...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Make the hw functions builtin operators instead of...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Fix typo.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Christiaan...
Added subtype declarations to TypeMap, removed SubtypeMap.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Support application of dataconstructors.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Make mkAssign support assigning to a VHDLName as well.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Split off record field selection AST construction.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Only try to generate builtin functions for global binders.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Never try to normalize global binders.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Matthijs Kooijman
Split off assignment generating code.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-22
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Support single-alt selector case expressions.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add pprString convenience method.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Support single-constructor algebraic types.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Move type registration out of construct_vhdl_ty.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Split off the VHDL type generating code.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Actually use the introduced let from a few commits...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Error out when normalizing polymorphic functions.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add an empty let before starting normalization.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add and use a mkFunction utility function.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Make beta reduction of Case expressions work for type...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add function propagation transform.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Improve debug output timing.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Don't propagate types with free tyvars.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add is_applicable predicate.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add has_free_tyvars predicate.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Fix compile error three commits back.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Let inlinefun also apply polymorphic values.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add getGlobalBinders accessor.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add functions for creating and referencing type variables.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Make substitute work for type variables as well.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Change the debug output of applyboth a bit.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add is_poly and is_var predicates.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Make is_fun also work properly for Type CoreExprs.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Remove two old debug traces.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add type propagation transform.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-21
Matthijs Kooijman
Add cloneVar function to clone a Var.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-19
Matthijs Kooijman
Recursively normalize binds.
commit
|
commitdiff
|
tree
|
snapshot
2009-06-19
Christiaan...
Added support for (!) function
commit
|
commitdiff
|
tree
|
snapshot
2009-06-19
Christiaan...
Added support for RangedWords
commit
|
commitdiff
|
tree
|
snapshot
2009-06-19
Christiaan...
Adders.hs explicityly uses Prelude lists function....
commit
|
commitdiff
|
tree
|
snapshot
2009-06-19
Christiaan...
Added main function to Main module
commit
|
commitdiff
|
tree
|
snapshot
2009-06-19
Christiaan...
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
commit
|
commitdiff
|
tree
|
snapshot
2009-06-19
Christiaan...
Added function calls
commit
|
commitdiff
|
tree
|
snapshot
next