https://git.martlubbers.net - cc1516.git/history

2016-06-23	pimjager	small update type check	blob \| commitdiff \| raw
2016-06-21	pimjager	Fieldselectors when assigning	blob \| commitdiff \| raw \| diff to current
2016-06-21	pimjager	fixed field selectors on arity 0 functions	blob \| commitdiff \| raw \| diff to current
2016-06-21	pimjager	Fixed checking of lists	blob \| commitdiff \| raw \| diff to current
2016-06-21	pimjager	improving type checking	blob \| commitdiff \| raw \| diff to current
2016-06-01	pimjager	Added listliterals	blob \| commitdiff \| raw \| diff to current
2016-05-26	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/cc1516	blob \| commitdiff \| raw \| diff to current
2016-05-26	pimjager	Fixed inference with typed functions	blob \| commitdiff \| raw \| diff to current
2016-05-26	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/cc1516	blob \| commitdiff \| raw \| diff to current
2016-05-26	pimjager	lambdas without params, lambdas are now passed as vars...	blob \| commitdiff \| raw \| diff to current
2016-05-26	pimjager	Fixed printing from lambdas	blob \| commitdiff \| raw \| diff to current
2016-05-26	pimjager	Working lambdas uitroepteken	blob \| commitdiff \| raw \| diff to current
2016-05-26	pimjager	merge master	blob \| commitdiff \| raw \| diff to current
2016-05-26	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/cc1516	blob \| commitdiff \| raw \| diff to current
2016-05-26	pimjager	Sem now prints Gamma	blob \| commitdiff \| raw \| diff to current
2016-05-26	pimjager	Lambda WIP	blob \| commitdiff \| raw \| diff to current
2016-05-26	pimjager	parsing lambdas	blob \| commitdiff \| raw \| diff to current
2016-05-26	pimjager	Improved Let syntax and improvements to type system	blob \| commitdiff \| raw \| diff to current
2016-05-26	pimjager	Basic Let functionality	blob \| commitdiff \| raw \| diff to current
2016-05-23	pimjager	fixed read	blob \| commitdiff \| raw \| diff to current
2016-05-20	Mart Lubbers	printBool	blob \| commitdiff \| raw \| diff to current
2016-05-20	pimjager	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-05-20	pimjager	print specialised	blob \| commitdiff \| raw \| diff to current
2016-05-20	pimjager	blabla	blob \| commitdiff \| raw \| diff to current
2016-05-20	Mart Lubbers	add last exception for functype	blob \| commitdiff \| raw \| diff to current
2016-05-20	Mart Lubbers	add constant functs	blob \| commitdiff \| raw \| diff to current
2016-05-20	pimjager	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-05-20	pimjager	readchar in sem	blob \| commitdiff \| raw \| diff to current
2016-05-20	pimjager	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-05-20	pimjager	Woooo isEmpty	blob \| commitdiff \| raw \| diff to current
2016-05-20	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/cc1516	blob \| commitdiff \| raw \| diff to current
2016-05-20	pimjager	Typechecking of fieldselectors	blob \| commitdiff \| raw \| diff to current
2016-05-20	Mart Lubbers	add fieldselectors to funExpr and funStmt	blob \| commitdiff \| raw \| diff to current
2016-05-19	pimjager	Added default functions, isEmpty does not typecheck...	blob \| commitdiff \| raw \| diff to current
2016-05-19	pimjager	FunStmt and Stmts added	blob \| commitdiff \| raw \| diff to current
2016-05-11	Mart Lubbers	nieuwe presentatie jow	blob \| commitdiff \| raw \| diff to current
2016-05-06	pimjager	Assignments are now typechecked	blob \| commitdiff \| raw \| diff to current
2016-05-06	pimjager	identity example now almost correctly typed	blob \| commitdiff \| raw \| diff to current
2016-05-06	pimjager	cleanup	blob \| commitdiff \| raw \| diff to current
2016-05-05	pimjager	Small improvements, some errors here and there	blob \| commitdiff \| raw \| diff to current
2016-05-05	pimjager	Type inference for functions works YAAAY	blob \| commitdiff \| raw \| diff to current
2016-05-05	pimjager	type instance for FunDecl	blob \| commitdiff \| raw \| diff to current
2016-05-02	pimjager	infer voor statements	blob \| commitdiff \| raw \| diff to current
2016-04-29	pimjager	Working on inference for statements	blob \| commitdiff \| raw \| diff to current
2016-04-29	pimjager	infer for FunExpr	blob \| commitdiff \| raw \| diff to current
2016-04-28	pimjager	Working on algorithm M	blob \| commitdiff \| raw \| diff to current
2016-04-28	pimjager	Started working on algorithm M	blob \| commitdiff \| raw \| diff to current
2016-04-28	pimjager	Added Typing Monad and instantiate	blob \| commitdiff \| raw \| diff to current
2016-04-28	pimjager	hi	blob \| commitdiff \| raw \| diff to current
2016-04-28	pimjager	Finished algorithm U	blob \| commitdiff \| raw \| diff to current
2016-04-28	pimjager	Start of algorithm U	blob \| commitdiff \| raw \| diff to current
2016-04-25	pimjager	infer voor expressions afgemaakt	blob \| commitdiff \| raw \| diff to current
2016-04-23	Mart Lubbers	meer	blob \| commitdiff \| raw \| diff to current
2016-04-23	Mart Lubbers	liftT toegevoegd	blob \| commitdiff \| raw \| diff to current
2016-04-22	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/cc1516	blob \| commitdiff \| raw \| diff to current
2016-04-22	Mart Lubbers	sanity checks	blob \| commitdiff \| raw \| diff to current
2016-04-22	pimjager	Added op1Type function	blob \| commitdiff \| raw \| diff to current
2016-04-22	pimjager	Added op2type function	blob \| commitdiff \| raw \| diff to current
2016-04-22	Mart Lubbers	HIGHER ORDER FUNCTIONS!!!!!1!11!!1one!1eleven	blob \| commitdiff \| raw \| diff to current
2016-04-22	pimjager	Merge branch 'generation'	blob \| commitdiff \| raw \| diff to current
2016-04-22	Mart Lubbers	hoi	blob \| commitdiff \| raw \| diff to current
2016-04-20	Mart Lubbers	small update, inference	blob \| commitdiff \| raw \| diff to current
2016-04-15	Mart Lubbers	started with new typechecker	blob \| commitdiff \| raw \| diff to current
2016-04-14	pimjager	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-04-14	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/cc1516	blob \| commitdiff \| raw \| diff to current
2016-04-14	Mart Lubbers	hoi	blob \| commitdiff \| raw \| diff to current
2016-04-14	pimjager	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-04-14	pimjager	working on presentation	blob \| commitdiff \| raw \| diff to current
2016-04-14	Mart Lubbers	hoi'	blob \| commitdiff \| raw \| diff to current
2016-04-14	pimjager	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-04-14	Mart Lubbers	hoi	blob \| commitdiff \| raw \| diff to current
2016-04-14	Mart Lubbers	hi	blob \| commitdiff \| raw \| diff to current
2016-04-14	Mart Lubbers	added argument mismatch	blob \| commitdiff \| raw \| diff to current
2016-04-14	Mart Lubbers	small update so that retyping works	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	update	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	-	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	added type to sem.icl =/=	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	Merge branch 'mastert push ' of github.com:dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	.	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/cc1516	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	.	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Added examples from markus	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Checking assignments	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	update'	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Function parameters	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/cc1516	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	a	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Lalalala statements	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	small cleanup	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Working on statement checking	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	t push origin masterMerge branch 'master' of github...	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Added function type inference	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Working on statements	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	Merge branch 'master' of https://github.com/dopefishh...	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	CheckIf statements	blob \| commitdiff \| raw \| diff to current
2016-04-13	pimjager	All expression can now be typed.	blob \| commitdiff \| raw \| diff to current
2016-04-13	Mart Lubbers	Merge branch 'master' of github.com:dopefishh/cc1516	blob \| commitdiff \| raw \| diff to current
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom