lambdacube-compiler.git -

Age	Commit message (Expand)	Author
2016-02-15	adjust TODO	Csaba Hruska
2016-02-15	update todo	Csaba Hruska
2016-02-15	improve backend test and add results	Csaba Hruska
2016-02-14	update TODOs	Péter Diviánszky
2016-02-13	refactoring (use infer monad)	Péter Diviánszky
2016-02-10	use type checker's Exp representation in CoreToGLSL.hs. Still 3 test cases ti...	Péter Diviánszky
2016-02-10	update todo	Csaba Hruska
2016-02-09	add todo	Csaba Hruska
2016-02-09	update todo	Csaba Hruska
2016-02-09	begin to refactor CoreToIR.hs: use de bruijn indices & reordering	Péter Diviánszky
2016-02-08	store fixity info next to definitions	Péter Diviánszky
2016-02-08	update todo	Csaba Hruska
2016-02-08	add compiler version to pipeline info	Csaba Hruska
2016-02-08	reorder TODOs	Péter Diviánszky
2016-02-07	work on the elimination of ConName	Péter Diviánszky
2016-02-07	cleanup constraint reduction	Péter Diviánszky
2016-02-07	add todo	Csaba Hruska
2016-02-07	Updated first blog post outline.	Patai Gergely
2016-02-05	update TODOs	Péter Diviánszky
2016-02-05	add todo	Csaba Hruska
2016-02-05	add todo	Csaba Hruska
2016-02-05	add todo	Csaba Hruska
2016-02-04	update todo	Csaba Hruska
2016-02-04	update todo	Csaba Hruska
2016-02-04	add todo	Csaba Hruska
2016-02-04	always include builtins path	Csaba Hruska
2016-02-04	update todo	Csaba Hruska
2016-02-04	update TODOs	Péter Diviánszky
2016-02-04	definitions are allowed in any order (not just bottom-up)	Péter Diviánszky
2016-02-03	more uniform handling of literals	Péter Diviánszky
2016-02-03	new idea in todo	Csaba Hruska
2016-02-03	more precise one line comment	Péter Diviánszky
2016-02-02	reorder TODO items	Péter Diviánszky
2016-02-02	adjust todo	Csaba Hruska
2016-02-02	adjust todo	Csaba Hruska
2016-02-01	update TODOs	Péter Diviánszky
2016-01-29	schedule some tasks	Csaba Hruska
2016-01-28	add todo	Csaba Hruska
2016-01-27	add TODO item	Péter Diviánszky
2016-01-26	add TODO items	Péter Diviánszky
2016-01-25	update TODOs	Péter Diviánszky
2016-01-23	update TODO	Csaba Hruska
2016-01-23	major refactoring	Péter Diviánszky
2016-01-22	update TODOs	Péter Diviánszky
2016-01-22	tried to speed up with cached max. de bruijn indices (no speedup at the moment)	Péter Diviánszky
2016-01-21	add todo	Csaba Hruska
2016-01-20	add todo	Csaba Hruska
2016-01-20	support type synonyms	Péter Diviánszky
2016-01-20	support simple import lists (hiding + explicit)	Péter Diviánszky
2016-01-20	update todo	Csaba Hruska