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

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

2010-03-08	Matthijs Kooijman	Make listBindings return IO () instead of IO [()].	commit \| commitdiff \| tree \| snapshot
2010-03-08	Matthijs Kooijman	Show classes in listBindings output.	commit \| commitdiff \| tree \| snapshot
2010-03-08	Matthijs Kooijman	Show uniques in listBindings output.	commit \| commitdiff \| tree \| snapshot
2010-03-08	Matthijs Kooijman	Add class operation resolution transformation.	commit \| commitdiff \| tree \| snapshot
2010-03-08	Matthijs Kooijman	Add dictionary inlining transformation.	commit \| commitdiff \| tree \| snapshot
2010-03-08	Matthijs Kooijman	Let inlinetoplevel use getNormalized_maybe.	commit \| commitdiff \| tree \| snapshot
2010-03-05	Matthijs Kooijman	Let getNormalized return Nothing on non-normalizeable...	commit \| commitdiff \| tree \| snapshot
2010-03-05	Matthijs Kooijman	Add variant of isNormalizeable that operates in the...	commit \| commitdiff \| tree \| snapshot
2010-03-05	Matthijs Kooijman	Add variant of isRepr that operates in the TranslatorSe...	commit \| commitdiff \| tree \| snapshot
2010-03-05	Matthijs Kooijman	Add getNormalized_maybe that does not fail if a binder...	commit \| commitdiff \| tree \| snapshot
2010-03-05	Matthijs Kooijman	Remove getBinding and use getGlobalBind instead.	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Support stateful functions with no own state (only...	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Allow inlining of head and friends.	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Use fromMaybe with an error message instead of fromJust.	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Ignore all applications that have an empty result type.	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Copy initial state when specializing functions.	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Ignore selector cases selecting empty typed values.	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Support unzipping of a vector containing state values.	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Add some comments.	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Make getFieldLabels errors more verbose.	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Give a proper error when a vector of an empty type...	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Allow ! to be inlined.	commit \| commitdiff \| tree \| snapshot
2010-03-03	Matthijs Kooijman	Update module name in error message.	commit \| commitdiff \| tree \| snapshot
2009-12-07	Matthijs Kooijman	Let scrutinee binder removal mark the expression as...	commit \| commitdiff \| tree \| snapshot
2009-12-07	Matthijs Kooijman	Also inline some arithmetic operators.	commit \| commitdiff \| tree \| snapshot
2009-12-01	Matthijs Kooijman	Add TODO.	commit \| commitdiff \| tree \| snapshot
2009-11-30	Matthijs Kooijman	Merge branch 'master' of git://github.com/christiaanb...	commit \| commitdiff \| tree \| snapshot
2009-11-30	Matthijs Kooijman	Add comment.	commit \| commitdiff \| tree \| snapshot
2009-11-25	Christiaan...	Multiplications are now resized to mimic the behaviour...	commit \| commitdiff \| tree \| snapshot
2009-11-11	Christiaan...	Fix haddock generation	commit \| commitdiff \| tree \| snapshot
2009-11-11	Christiaan...	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	commit \| commitdiff \| tree \| snapshot
2009-11-11	Christiaan...	Clean up source files:	commit \| commitdiff \| tree \| snapshot
2009-11-11	Matthijs Kooijman	Actually make the scrutinee binder removal not crash.	commit \| commitdiff \| tree \| snapshot
2009-11-11	Matthijs Kooijman	Add scrutinee binder removal transformation.	commit \| commitdiff \| tree \| snapshot
2009-11-10	Christiaan...	Use data-accessor-transformers package to remove deprec...	commit \| commitdiff \| tree \| snapshot
2009-11-10	Christiaan...	Fixed VHDL Type generation, vhdlTy now uses HType's...	commit \| commitdiff \| tree \| snapshot
2009-11-06	Christiaan...	Start support on initial state. Substates currently...	commit \| commitdiff \| tree \| snapshot
2009-11-06	Christiaan...	Add built-in split function	commit \| commitdiff \| tree \| snapshot
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
next

The Cλash compiler

RSS Atom