| 2009-07-14 |
Matthijs Kooijman | Remove the (now unused) is_wild predicate. |
commit | commitdiff | tree | snapshot |
| 2009-07-14 |
Matthijs Kooijman | Don't create selector cases for unused binders. |
commit | commitdiff | tree | snapshot |
| 2009-07-14 |
Matthijs Kooijman | Merge git://github.com/darchon/clash into cλash |
commit | commitdiff | tree | snapshot |
| 2009-07-14 |
Christiaan... | Added resize function |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Matthijs Kooijman | Remove some unused code. |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Matthijs Kooijman | Use noSrcSpan instead of a dummy SrcSpan. |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Matthijs Kooijman | Simplify eitherCoreOrExprArgs. |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Christiaan... | Pulled 'varToVHDLExpr' into the TypeSession monad |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Christiaan... | No longer any need to explicitly load module interface... |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Christiaan... | Merge branch 'cλash' of git.stderr.nl/matthijs/projects... |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Matthijs Kooijman | Generate proper VHDL for top level bindings with no... |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Matthijs Kooijman | Use is_local_var for limiting appsimpl and letsimpl. |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Matthijs Kooijman | Add newline at the end of file. |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Matthijs Kooijman | Add is_local_var predicate. |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Christiaan... | Only save normalized tfp integers in the tfp-cache |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Christiaan... | Use HscEnv from initial HsToCore transformation when... |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Matthijs Kooijman | Santize comment dashes position. |
commit | commitdiff | tree | snapshot |
| 2009-07-13 |
Matthijs Kooijman | Normalize all used global binders. |
commit | commitdiff | tree | snapshot |
| 2009-07-11 |
Christiaan... | Great speed-up in type generation |
commit | commitdiff | tree | snapshot |
| 2009-07-09 |
Christiaan... | Correctly handle negate for unsigned integers |
commit | commitdiff | tree | snapshot |
| 2009-07-08 |
Christiaan... | Partly fixed implementation for integer literals. |
commit | commitdiff | tree | snapshot |
| 2009-07-08 |
Christiaan... | VERY Ad-hoc support of literals. |
commit | commitdiff | tree | snapshot |
| 2009-07-08 |
Christiaan... | Added support for SizedInts and cleaned up some functio... |
commit | commitdiff | tree | snapshot |
| 2009-07-07 |
Christiaan... | Started adding numeric operations |
commit | commitdiff | tree | snapshot |
| 2009-07-06 |
Christiaan... | Caching converted tfp integers to speedup translation |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Christiaan... | Updated cabal file to reflect change in TFVec, and... |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Christiaan... | Merge branch 'cλash' of git.stderr.nl/matthijs/projects... |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Christiaan... | Made Bit an instance of Lift so it can be used in vectorTH |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Matthijs Kooijman | Let inlinefun inline everything non-representable. |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Matthijs Kooijman | Unify typeprop and funprop into argprop. |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Matthijs Kooijman | Extract only representable arguments. |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Matthijs Kooijman | Add predicates for testing representability of types. |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Matthijs Kooijman | Let mkHType also return errors using Either. |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Matthijs Kooijman | Merge git://github.com/darchon/clash into cλash |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Matthijs Kooijman | Put a TypeState in TransformState. |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Matthijs Kooijman | Split off the type related VHDLState variables. |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Matthijs Kooijman | Make vhdl_ty and friends return errors with Either. |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Christiaan... | Keys for typemap can now deal with vector lengths based... |
commit | commitdiff | tree | snapshot |
| 2009-07-03 |
Matthijs Kooijman | Stop extracting dataconstructor arguments. |
commit | commitdiff | tree | snapshot |
| 2009-07-02 |
Matthijs Kooijman | Merge git://github.com/darchon/clash into cλash |
commit | commitdiff | tree | snapshot |
| 2009-07-02 |
Christiaan... | We now output VHDL types in the correct order |
commit | commitdiff | tree | snapshot |
| 2009-07-02 |
Christiaan... | Removed the need for a special vector-type map. |
commit | commitdiff | tree | snapshot |
| 2009-07-01 |
Matthijs Kooijman | Add TODO regarding removal of is_wild. |
commit | commitdiff | tree | snapshot |
| 2009-07-01 |
Christiaan... | Added builtin functions: concat, reverse, iterate,... |
commit | commitdiff | tree | snapshot |
| 2009-06-30 |
Christiaan... | Added builtin functions shiftl, shiftr, null, rotl... |
commit | commitdiff | tree | snapshot |
| 2009-06-30 |
Christiaan... | Updated all error messages to include modulename and... |
commit | commitdiff | tree | snapshot |
| 2009-06-29 |
Christiaan... | Added support for copyn and copy |
commit | commitdiff | tree | snapshot |
| 2009-06-29 |
Christiaan... | Merge branch 'cλash' of git.stderr.nl/matthijs/projects... |
commit | commitdiff | tree | snapshot |
| 2009-06-29 |
Christiaan... | Added "lengthT" |
commit | commitdiff | tree | snapshot |
| 2009-06-29 |
Matthijs Kooijman | Merge git://github.com/darchon/clash into cλash |
commit | commitdiff | tree | snapshot |
| 2009-06-29 |
Matthijs Kooijman | Make genMap support mapping applications. |
commit | commitdiff | tree | snapshot |
| 2009-06-29 |
Matthijs Kooijman | Allow arguments to builtins to be applications. |
commit | commitdiff | tree | snapshot |
| 2009-06-29 |
Christiaan... | Added unzip |
commit | commitdiff | tree | snapshot |
| 2009-06-29 |
Christiaan... | Added "zip" function |
commit | commitdiff | tree | snapshot |
| 2009-06-27 |
Christiaan... | Added <+ and ++ operations |
commit | commitdiff | tree | snapshot |
| 2009-06-26 |
Christiaan... | Added support for instances of tfp integer, but poorly... |
commit | commitdiff | tree | snapshot |
| 2009-06-26 |
Christiaan... | Merge branch 'cλash' of git.stderr.nl/matthijs/projects... |
commit | commitdiff | tree | snapshot |
| 2009-06-26 |
Christiaan... | Added select builtin |
commit | commitdiff | tree | snapshot |
| 2009-06-26 |
Matthijs Kooijman | Let exprToVar give a useful error message. |
commit | commitdiff | tree | snapshot |
| 2009-06-26 |
Matthijs Kooijman | Use tcSplitSigmaTy for getting at value arguments. |
commit | commitdiff | tree | snapshot |
| 2009-06-26 |
Matthijs Kooijman | Add is_simple predicate for applications and vars. |
commit | commitdiff | tree | snapshot |
| 2009-06-26 |
Christiaan... | Parameterized fold, so that it can be used for foldl... |
commit | commitdiff | tree | snapshot |
| 2009-06-26 |
Matthijs Kooijman | Add function-typed argument extraction transform. |
commit | commitdiff | tree | snapshot |
| 2009-06-26 |
Matthijs Kooijman | Add has_free_vars predicate. |
commit | commitdiff | tree | snapshot |
| 2009-06-26 |
Matthijs Kooijman | Remove TODO that was already solved. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Merge git://github.com/darchon/clash into cλash |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Add a anyset operation to HighOrdAlu, using foldl. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Re-enable and clean up the foldl generation. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Remove the function wrapper hack from HighOrdAlu. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Use genApplication in genMap and genZipWith. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Remove the unused Maybe typing in Entity ports. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Add mkIndexedName utility function. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Restructure a lot of VHDL generating code. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Christiaan... | Added builtin function foldr |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Christiaan... | Foldl correctly handles empty vectors |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Christiaan... | Merge branch 'cλash' of git.stderr.nl/matthijs/projects... |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Unify all BuiltinBuilder functions. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Give HighOrdAlu an and operation. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Matthijs Kooijman | Let tfvec_len and tfvec_elem give a proper error message. |
commit | commitdiff | tree | snapshot |
| 2009-06-25 |
Christiaan... | Cleaned up genFoldlCall. |
commit | commitdiff | tree | snapshot |
| 2009-06-24 |
Matthijs Kooijman | No longer use a view pattern in HsTools. |
commit | commitdiff | tree | snapshot |
| 2009-06-24 |
Christiaan... | Added builtin foldl function |
commit | commitdiff | tree | snapshot |
| 2009-06-24 |
Christiaan... | Added zipwithid |
commit | commitdiff | tree | snapshot |
| 2009-06-24 |
Christiaan... | Merge branch 'cλash' of git.stderr.nl/matthijs/projects... |
commit | commitdiff | tree | snapshot |
| 2009-06-24 |
Matthijs Kooijman | Generate vector functions on demand. |
commit | commitdiff | tree | snapshot |
| 2009-06-24 |
Christiaan... | Pulled genZipWithCall into VHDLSession monad |
commit | commitdiff | tree | snapshot |
| 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 |
| next |
projects / matthijs / master-project / cλash.git / shortlog