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

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

[matthijs/master-project/cλash.git] / CoreTools.hs

2009-07-11	Christiaan Baaij	Great speed-up in type generation	blob \| commitdiff \| raw
2009-07-08	Christiaan Baaij	VERY Ad-hoc support of literals.	blob \| commitdiff \| raw \| diff to current
2009-07-08	Christiaan Baaij	Added support for SizedInts and cleaned up some functio...	blob \| commitdiff \| raw \| diff to current
2009-07-06	Christiaan Baaij	Caching converted tfp integers to speedup translation	blob \| commitdiff \| raw \| diff to current
2009-06-30	Christiaan Baaij	Updated all error messages to include modulename and...	blob \| commitdiff \| raw \| diff to current
2009-06-26	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-06-26	Matthijs Kooijman	Let exprToVar give a useful error message.	blob \| commitdiff \| raw \| diff to current
2009-06-26	Matthijs Kooijman	Use tcSplitSigmaTy for getting at value arguments.	blob \| commitdiff \| raw \| diff to current
2009-06-26	Matthijs Kooijman	Add is_simple predicate for applications and vars.	blob \| commitdiff \| raw \| diff to current
2009-06-26	Matthijs Kooijman	Add has_free_vars predicate.	blob \| commitdiff \| raw \| diff to current
2009-06-25	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-06-25	Matthijs Kooijman	Let tfvec_len and tfvec_elem give a proper error message.	blob \| commitdiff \| raw \| diff to current
2009-06-24	Matthijs Kooijman	Clean up the code a bit more.	blob \| commitdiff \| raw \| diff to current
2009-06-22	Matthijs Kooijman	Merge git://github.com/darchon/clash into cλash	blob \| commitdiff \| raw \| diff to current
2009-06-22	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-06-22	Christiaan Baaij	Added support for vectors with arbitrary element types	blob \| commitdiff \| raw \| diff to current
2009-06-22	Christiaan Baaij	Added subtype declarations to TypeMap, removed SubtypeMap.	blob \| commitdiff \| raw \| diff to current
2009-06-22	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-06-21	Matthijs Kooijman	Add is_applicable predicate.	blob \| commitdiff \| raw \| diff to current
2009-06-21	Matthijs Kooijman	Add has_free_tyvars predicate.	blob \| commitdiff \| raw \| diff to current
2009-06-21	Matthijs Kooijman	Add is_poly and is_var predicates.	blob \| commitdiff \| raw \| diff to current
2009-06-21	Matthijs Kooijman	Make is_fun also work properly for Type CoreExprs.	blob \| commitdiff \| raw \| diff to current
2009-06-19	Christiaan Baaij	Added support for RangedWords	blob \| commitdiff \| raw \| diff to current
2009-06-19	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-06-19	Christiaan Baaij	Merge branch 'cλash' of git.stderr.nl/matthijs/projects...	blob \| commitdiff \| raw \| diff to current
2009-06-19	Christiaan Baaij	Started adding builtin functions	blob \| commitdiff \| raw \| diff to current
2009-06-18	Matthijs Kooijman	Add is_lam and is_fun predicates.	blob \| commitdiff \| raw \| diff to current
2009-06-18	Matthijs Kooijman	Add is_wild function to check for wild binders.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Generalize VHDL type creation for SizedWord and FSVec.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	A word has a width, not a length.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Move eval_type_level_int to CoreTools.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Import the Types.Data.Num module in eval_tfp_int.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Add a [ModuleName] parameter to toCore.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Fix compilation of CoreTools.	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Add sized_word_len, which gets the length from a SizedW...	blob \| commitdiff \| raw \| diff to current
2009-04-09	Matthijs Kooijman	Add the new CoreTools module.	blob \| commitdiff \| raw \| diff to current

The Cλash compiler

RSS Atom