git.stderr.nl Git - matthijs/master-project/cλash.git/shortlog

projects / matthijs / master-project / cλash.git / shortlog

2009-11-06	Christiaan...	Update reducer	commit \| commitdiff \| tree \| snapshot
2009-09-28	Christiaan...	Fix error message genNegation for non-SizedWord types	commit \| commitdiff \| tree \| snapshot
2009-09-23	Christiaan...	Fix bug with generating head and tail functions. Update...	commit \| commitdiff \| tree \| snapshot
2009-09-09	Christiaan...	Fail again when we try translate a DEFAULT condition	commit \| commitdiff \| tree \| snapshot
2009-09-09	Christiaan...	Add some comments	commit \| commitdiff \| tree \| snapshot
2009-09-09	Christiaan...	Omit empty block statements in test bench	commit \| commitdiff \| tree \| snapshot
2009-09-09	Christiaan...	Add support for multiple alts in case statements	commit \| commitdiff \| tree \| snapshot
2009-09-09	Christiaan...	Add support for enumeration types.	commit \| commitdiff \| tree \| snapshot
2009-09-08	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-09-08	Christiaan...	Add support for fromIntegerT	commit \| commitdiff \| tree \| snapshot
2009-09-08	Christiaan...	Add some gt,lt,gteq and lteq boolean operators	commit \| commitdiff \| tree \| snapshot
2009-09-01	Matthijs Kooijman	Add a trailing newline to HighOrdAlu.	commit \| commitdiff \| tree \| snapshot
2009-09-01	Matthijs Kooijman	Add comments to the inlinetoplevel transformation.	commit \| commitdiff \| tree \| snapshot
2009-09-01	Matthijs Kooijman	Update comments for inlinenonrep.	commit \| commitdiff \| tree \| snapshot
2009-09-01	Matthijs Kooijman	Fix typo.	commit \| commitdiff \| tree \| snapshot
2009-09-01	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree \| snapshot
2009-08-29	Christiaan...	Use boolean as write enable signal	commit \| commitdiff \| tree \| snapshot
2009-08-28	Matthijs Kooijman	Fix typo.	commit \| commitdiff \| tree \| snapshot
2009-08-28	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree \| snapshot
2009-08-20	Christiaan...	TFP has updated/remade. Change hardwaretypes accordingly	commit \| commitdiff \| tree \| snapshot
2009-08-20	Christiaan...	Connect resetn port to states.	commit \| commitdiff \| tree \| snapshot
2009-08-20	Christiaan...	Fix the resetn signal in the testbench, it is now corre...	commit \| commitdiff \| tree \| snapshot
2009-08-20	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Add a not in isUserDefined.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Let vhld_ty handle free tyvars gracefully.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Add ty_has_free_tyvars predicate.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Split substitute into substitute and substitute_clone.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Rewrite substitute to clone the substitution range.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Don't error on type abstraction when cloning binders.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	When inlining top level functions, guarantee uniqueness.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Make all binders unique before normalizing.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Add genUniques function to regenerate all uniques.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Add mapAccumLM helper function.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Don't try to inline non-normalizeable top level functions.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Add andM and orM utility functions.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Add isNormalizeable predicate.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Make isRepr work on TypedThings instead of CoreExpr.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Also inline functions named "fromInteger".	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Don't extra non-representable values in simplres.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Use isUserDefined for (not) inlining top level functions.	commit \| commitdiff \| tree \| snapshot
2009-08-19	Matthijs Kooijman	Add isUserDefined predicate.	commit \| commitdiff \| tree \| snapshot
2009-08-18	Christiaan...	Work around some bugs in the current clash to make...	commit \| commitdiff \| tree \| snapshot
2009-08-18	Christiaan...	Just name the testbench: testbench; don't add the unique	commit \| commitdiff \| tree \| snapshot
2009-08-18	Christiaan...	No longer allow slashes in extended names, they are...	commit \| commitdiff \| tree \| snapshot
2009-08-18	Christiaan...	Used unsigned instead of natural as representation...	commit \| commitdiff \| tree \| snapshot
2009-08-18	Matthijs Kooijman	Inline all top level functions that look simple.	commit \| commitdiff \| tree \| snapshot
2009-08-17	Christiaan...	Add resetn ports	commit \| commitdiff \| tree \| snapshot
2009-08-17	Matthijs Kooijman	Add (temporary) simplres normalization pass.	commit \| commitdiff \| tree \| snapshot
2009-08-17	Matthijs Kooijman	Add top level inliner normalization pass.	commit \| commitdiff \| tree \| snapshot
2009-08-17	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-08-17	Matthijs Kooijman	Make letflat work for nonrec lets in rec lets as well.	commit \| commitdiff \| tree \| snapshot
2009-08-17	Matthijs Kooijman	Revert "Limit flattenLets to non-recursive lets only."	commit \| commitdiff \| tree \| snapshot
2009-08-17	Matthijs Kooijman	Disable letmerge.	commit \| commitdiff \| tree \| snapshot
2009-08-17	Matthijs Kooijman	Make letremoveunused work for recursive lets again.	commit \| commitdiff \| tree \| snapshot
2009-08-17	Matthijs Kooijman	Make letflat work for recursive lets again.	commit \| commitdiff \| tree \| snapshot
2009-08-17	Matthijs Kooijman	Turn of Normalize debugging again, accidentally committed.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Order the extracted bindings from a case expression...	commit \| commitdiff \| tree \| snapshot
2009-08-14	Christiaan...	Fix replace function to make Quartus II happy	commit \| commitdiff \| tree \| snapshot
2009-08-14	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-08-14	Christiaan...	Ignore casts that just repack state. Don't make VHDL...	commit \| commitdiff \| tree \| snapshot
2009-08-14	Christiaan...	Add builtin blockRAM primitive	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Add lambdasimpl normalization pass.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Make letremoveunused work for non-recursive lets.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Let casesimpl generate non-recursive lets.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Add mkNonRecLets and use it.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Make letmerge work with non-recursive lets.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Limit flattenLets to non-recursive lets only.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Move flattenLets from Normalize to CoreTools.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Make inlinebind work for non-recursive lets.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Add empty let removal normalization pass.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Rename letremove to letremovesimple.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Don't try to simplify nested lets.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Make letflat work with non-recursive lets.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Make letsimpl work on and generate a non-recursive...	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	No longer add a top level let before normalization.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Make some normalizations generate nonrecursive lets.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Turn let recursification into its opposite.	commit \| commitdiff \| tree \| snapshot
2009-08-14	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-08-14	Matthijs Kooijman	Be more strict in state recognition.	commit \| commitdiff \| tree \| snapshot
2009-08-13	Christiaan...	Hopefully generate completely unique varNames now ...	commit \| commitdiff \| tree \| snapshot
2009-08-13	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-08-13	Christiaan...	Generate more unique variable names, generate truely...	commit \| commitdiff \| tree \| snapshot
2009-08-13	Matthijs Kooijman	Don't generate a state proc for an empty state.	commit \| commitdiff \| tree \| snapshot
2009-08-13	Matthijs Kooijman	Make splitNormalized work for non-recursive lets.	commit \| commitdiff \| tree \| snapshot
2009-08-13	Matthijs Kooijman	Add and use splitNormalized helper function.	commit \| commitdiff \| tree \| snapshot
2009-08-13	Christiaan...	Add boolean or and and, tuple fst and snd function.	commit \| commitdiff \| tree \| snapshot
2009-08-13	Christiaan...	Added equals builtin. And fixed show function generatio...	commit \| commitdiff \| tree \| snapshot
2009-08-13	Christiaan...	Class Num is re-exported by CLasH.HardwareTypes, so...	commit \| commitdiff \| tree \| snapshot
2009-08-12	Matthijs Kooijman	Revert "Put mkAssocElems in the TranslatorSession."	commit \| commitdiff \| tree \| snapshot
2009-08-12	Matthijs Kooijman	Revert "Don't generate VHDL for state packing."	commit \| commitdiff \| tree \| snapshot
2009-08-12	Matthijs Kooijman	Throw away old and unused functions for state.	commit \| commitdiff \| tree \| snapshot
2009-08-12	Matthijs Kooijman	Generate a state proc for a stateful function.	commit \| commitdiff \| tree \| snapshot
2009-08-12	Matthijs Kooijman	Don't inline register_bank.	commit \| commitdiff \| tree \| snapshot
2009-08-12	Matthijs Kooijman	Only do State packing once in register_bank.	commit \| commitdiff \| tree \| snapshot
2009-08-12	Matthijs Kooijman	Improve Normalize debug output.	commit \| commitdiff \| tree \| snapshot
2009-08-12	Matthijs Kooijman	Add isStateCon helper.	commit \| commitdiff \| tree \| snapshot
2009-08-12	Matthijs Kooijman	Use mkBinderFor instead of mkInternalVar.	commit \| commitdiff \| tree \| snapshot
next

The Cλash compiler

RSS Atom