projects / matthijs / master-project / cλash.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
matthijs/master-project/cλash.git
2009-06-23 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects... commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanAdd a hardware module for a generalized Alu. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanMake mkConcSm support a = b style bindings. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanMake appsimpl also simplify dataconstructors. commit | commitdiff | tree | snapshot
2009-06-23 Christiaan... Added builtin copy function commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanMake 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 KooijmanMerge git://github.com/darchon/clash into cλash commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanSupport 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 KooijmanUse varToVHDLExpr in mkConcSm. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanIgnore cast expressions when generating VHDL. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanAdd Cast propagation transform. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanMake subeverywhere support Cast expressions. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanRemove a double line introduced a few commits back. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanMake 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 KooijmanDo 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 KooijmanMerge git://github.com/darchon/clash into cλash commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanAlways add a clk port map on instantiations. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanDelete 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 KooijmanPrepend "comp_ins_" to component instantiation labels. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanRemove dummy mkConcSm clause for r = r bindings. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanReturn multiple statements instead of a block. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanLet mkConcSm return a list of ConcSms. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanDon't generate a signal for the output port. commit | commitdiff | tree | snapshot
2009-06-23 Matthijs KooijmanPerform 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 KooijmanAppend the Unique to generated VHDL entity id's. commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanGenerate the VHDLId of an entity in a single place. commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanRemove 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 KooijmanMerge git://github.com/darchon/clash into cλash commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanAdd 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 KooijmanFix definition of hwor builtin operator. commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanCheck parameter counts in mkConcSm instead of the actua... commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanMake the hw functions builtin operators instead of... commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanFix typo. commit | commitdiff | tree | snapshot
2009-06-22 Christiaan... Added subtype declarations to TypeMap, removed SubtypeMap. commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanSupport application of dataconstructors. commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanMake mkAssign support assigning to a VHDLName as well. commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanSplit off record field selection AST construction. commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanOnly try to generate builtin functions for global binders. commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanNever try to normalize global binders. commit | commitdiff | tree | snapshot
2009-06-22 Matthijs KooijmanSplit 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 KooijmanSupport single-alt selector case expressions. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd pprString convenience method. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanSupport single-constructor algebraic types. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanMove type registration out of construct_vhdl_ty. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanSplit off the VHDL type generating code. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanActually use the introduced let from a few commits... commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanError out when normalizing polymorphic functions. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd an empty let before starting normalization. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd and use a mkFunction utility function. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanMake beta reduction of Case expressions work for type... commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd function propagation transform. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanImprove debug output timing. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanDon't propagate types with free tyvars. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd is_applicable predicate. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd has_free_tyvars predicate. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanFix compile error three commits back. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanLet inlinefun also apply polymorphic values. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd getGlobalBinders accessor. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd functions for creating and referencing type variables. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanMake substitute work for type variables as well. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanChange the debug output of applyboth a bit. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd is_poly and is_var predicates. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanMake is_fun also work properly for Type CoreExprs. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanRemove two old debug traces. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd type propagation transform. commit | commitdiff | tree | snapshot
2009-06-21 Matthijs KooijmanAdd cloneVar function to clone a Var. commit | commitdiff | tree | snapshot
2009-06-19 Matthijs KooijmanRecursively 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
2009-06-19 Matthijs KooijmanAdd another higher order testcase, highordtest2. commit | commitdiff | tree | snapshot
2009-06-19 Matthijs KooijmanSupport VHDL generation for two-alternative cases. 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... Started adding builtin functions commit | commitdiff | tree | snapshot
2009-06-19 Christiaan... Cabalized clash commit | commitdiff | tree | snapshot
2009-06-19 Christiaan... Added global vector function generation commit | commitdiff | tree | snapshot
2009-06-18 Matthijs KooijmanUse highordtest in main, since that can now be normalized. commit | commitdiff | tree | snapshot
2009-06-18 Matthijs KooijmanAdd a (fairly complete) set of transforms. commit | commitdiff | tree | snapshot
2009-06-18 Matthijs KooijmanAdd is_lam and is_fun predicates. commit | commitdiff | tree | snapshot
next
The Cλash compiler