projects
/
matthijs
/
master-project
/
cλash.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Add non-representable result inlining transformation.
2009-07-13
Matthijs Kooijman
Normalize all used global binders.
commit
|
commitdiff
|
tree
2009-07-03
Matthijs Kooijman
Let inlinefun inline everything non-representable.
commit
|
commitdiff
|
tree
2009-07-03
Matthijs Kooijman
Unify typeprop and funprop into argprop.
commit
|
commitdiff
|
tree
2009-07-03
Matthijs Kooijman
Extract only representable arguments.
commit
|
commitdiff
|
tree
2009-07-03
Matthijs Kooijman
Add predicates for testing representability of types.
commit
|
commitdiff
|
tree
2009-07-03
Matthijs Kooijman
Let mkHType also return errors using Either.
commit
|
commitdiff
|
tree
2009-07-03
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
2009-07-03
Matthijs Kooijman
Put a TypeState in TransformState.
commit
|
commitdiff
|
tree
2009-07-03
Matthijs Kooijman
Split off the type related VHDLState variables.
commit
|
commitdiff
|
tree
2009-07-03
Matthijs Kooijman
Make vhdl_ty and friends return errors with Either.
commit
|
commitdiff
|
tree
2009-07-03
Matthijs Kooijman
Stop extracting dataconstructor arguments.
commit
|
commitdiff
|
tree
2009-07-02
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
2009-07-01
Matthijs Kooijman
Add TODO regarding removal of is_wild.
commit
|
commitdiff
|
tree
2009-06-29
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
2009-06-29
Matthijs Kooijman
Make genMap support mapping applications.
commit
|
commitdiff
|
tree
2009-06-29
Matthijs Kooijman
Allow arguments to builtins to be applications.
commit
|
commitdiff
|
tree
2009-06-26
Matthijs Kooijman
Let exprToVar give a useful error message.
commit
|
commitdiff
|
tree
2009-06-26
Matthijs Kooijman
Use tcSplitSigmaTy for getting at value arguments.
commit
|
commitdiff
|
tree
2009-06-26
Matthijs Kooijman
Add is_simple predicate for applications and vars.
commit
|
commitdiff
|
tree
2009-06-26
Matthijs Kooijman
Add function-typed argument extraction transform.
commit
|
commitdiff
|
tree
2009-06-26
Matthijs Kooijman
Add has_free_vars predicate.
commit
|
commitdiff
|
tree
2009-06-26
Matthijs Kooijman
Remove TODO that was already solved.
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Add a anyset operation to HighOrdAlu, using foldl.
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Re-enable and clean up the foldl generation.
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Remove the function wrapper hack from HighOrdAlu.
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Use genApplication in genMap and genZipWith.
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Remove the unused Maybe typing in Entity ports.
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Add mkIndexedName utility function.
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Restructure a lot of VHDL generating code.
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Unify all BuiltinBuilder functions.
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Give HighOrdAlu an and operation.
commit
|
commitdiff
|
tree
2009-06-25
Matthijs Kooijman
Let tfvec_len and tfvec_elem give a proper error message.
commit
|
commitdiff
|
tree
2009-06-24
Matthijs Kooijman
No longer use a view pattern in HsTools.
commit
|
commitdiff
|
tree
2009-06-24
Matthijs Kooijman
Generate vector functions on demand.
commit
|
commitdiff
|
tree
2009-06-24
Matthijs Kooijman
Put the Builders in the VHDLSession.
commit
|
commitdiff
|
tree
2009-06-24
Matthijs Kooijman
Remove the globalNameTable from the VHDLState.
commit
|
commitdiff
|
tree
2009-06-24
Matthijs Kooijman
Swap the VHDLState and VHDLSession type names.
commit
|
commitdiff
|
tree
2009-06-24
Matthijs Kooijman
Clean up the code a bit more.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Add a hardware module for a generalized Alu.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Make mkConcSm support a = b style bindings.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Make appsimpl also simplify dataconstructors.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Make subeverywhere support NonRec Lets.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Support turning dataconstructors into VHDL constants.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Use varToVHDLExpr in mkConcSm.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Ignore cast expressions when generating VHDL.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Add Cast propagation transform.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Make subeverywhere support Cast expressions.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Remove a double line introduced a few commits back.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Make subeverywhere complain for unknown expressions.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Do not apply eta expansion to application arguments.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Always add a clk port map on instantiations.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Delete all old .vhdl files before writing new ones.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Prepend "comp_ins_" to component instantiation labels.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Remove dummy mkConcSm clause for r = r bindings.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Return multiple statements instead of a block.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Let mkConcSm return a list of ConcSms.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Don't generate a signal for the output port.
commit
|
commitdiff
|
tree
2009-06-23
Matthijs Kooijman
Perform subsititutions one after another.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Append the Unique to generated VHDL entity id's.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Generate the VHDLId of an entity in a single place.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Remove the old builtin function support.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Merge git://github.com/darchon/clash into cλash
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Add error message to mkConcSm for unsupported expressions.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Fix definition of hwor builtin operator.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Check parameter counts in mkConcSm instead of the actual...
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Make the hw functions builtin operators instead of...
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Fix typo.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Support application of dataconstructors.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Make mkAssign support assigning to a VHDLName as well.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Split off record field selection AST construction.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Only try to generate builtin functions for global binders.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Never try to normalize global binders.
commit
|
commitdiff
|
tree
2009-06-22
Matthijs Kooijman
Split off assignment generating code.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Support single-alt selector case expressions.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Add pprString convenience method.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Support single-constructor algebraic types.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Move type registration out of construct_vhdl_ty.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Split off the VHDL type generating code.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Actually use the introduced let from a few commits...
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Error out when normalizing polymorphic functions.
commit
|
commitdiff
|
tree
2009-06-21
Matthijs Kooijman
Add an empty let before starting normalization.
commit
|
commitdiff
|
tree
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
next