cc1516.git
2016-05-19 pimjagerFixed annote
2016-05-19 pimjagerannotations
2016-05-19 pimjagerFunction calls now clean up the arguments
2016-05-19 pimjagerFunStmt and Stmts added
2016-05-19 Mart Lubbersreturn dingen en local vars werken
2016-05-19 Mart Lubbersfunction dingen werken
2016-05-19 Mart LubbersVardecl ftw`
2016-05-13 Mart Lubbersu
2016-05-13 Mart LubbersMerge branch 'master' into gen
2016-05-13 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516
2016-05-13 Mart Lubbersupdate
2016-05-12 Mart Lubbersclean
2016-05-12 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516
2016-05-12 Mart Lubbersding
2016-05-12 Mart Lubbersadded commit stats
2016-05-11 Mart Lubbersnieuwe presentatie jow
2016-05-11 Mart Lubbershoi
2016-05-09 pimjagerWork in progress code gen
2016-05-09 pimjagerBasic function calling and generation
2016-05-08 pimjagercodegen work in progress
2016-05-08 pimjagercodegen work in progress
2016-05-08 pimjagerCodeGen for statements, no variables yet
2016-05-08 pimjagerStart with gen for statements
2016-05-08 pimjagerAdded generationf or expressions, how to deal with...
2016-05-08 pimjagerAdded generation for op2
2016-05-08 pimjagerAdded stream of fresh labels
2016-05-07 pimjagerStart of Gen monad
2016-05-06 pimjagerAdded some comments on codegen
2016-05-06 pimjagerlala codegen
2016-05-06 pimjagerAdded gen to makefile
2016-05-06 pimjagerstart of code generation
2016-05-06 pimjagerAssignments are now typechecked
2016-05-06 pimjageridentity example now almost correctly typed
2016-05-06 pimjagercleanup
2016-05-05 pimjagerSmall improvements, some errors here and there
2016-05-05 pimjagerType inference for functions works YAAAY
2016-05-05 pimjagertype instance for FunDecl
2016-05-02 pimjagerinfer voor statements
2016-04-29 pimjagerWorking on inference for statements
2016-04-29 pimjagerinfer for FunExpr
2016-04-28 pimjagerWorking on algorithm M
2016-04-28 pimjagerStarted working on algorithm M
2016-04-28 pimjagerAdded Typing Monad and instantiate
2016-04-28 pimjagerhi
2016-04-28 pimjagerFinished algorithm U
2016-04-28 pimjagerStart of algorithm U
2016-04-25 pimjagerinfer voor expressions afgemaakt
2016-04-23 Mart Lubbersmeer
2016-04-23 Mart LubbersliftT toegevoegd
2016-04-22 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516
2016-04-22 Mart Lubberssanity checks
2016-04-22 pimjagerAdded op1Type function
2016-04-22 pimjagerAdded op2type function
2016-04-22 Mart LubbersHIGHER ORDER FUNCTIONS!!!!!1!11!!1one!1eleven
2016-04-22 pimjagerMerge branch 'generation'
2016-04-22 pimjagerontwerpbesluiten aagepast
2016-04-22 Mart Lubbershoi
2016-04-20 Mart Lubberssmall update, inference
2016-04-15 Mart Lubbersstarted with new typechecker
2016-04-15 Mart LubbersRWS done
2016-04-15 Mart Lubbersrwst done, rws to go
2016-04-14 Mart Lubberst push origni msatMerge branch 'master' of github.com...
2016-04-14 Mart Lubbersupdate gitignore
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh...
2016-04-14 pimjagerPresentationf inished
2016-04-14 Mart Lubbersrwst
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh...
2016-04-14 pimjagerPresentation
2016-04-14 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516
2016-04-14 Mart Lubbershoi
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh...
2016-04-14 pimjagerworking on presentation
2016-04-14 Mart Lubbershoi'
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh...
2016-04-14 Mart Lubbershoi
2016-04-14 pimjagerPresentation
2016-04-14 Mart Lubbershi
2016-04-14 Mart Lubbers added argument mismatch
2016-04-14 Mart Lubberssmall update so that retyping works
2016-04-13 Mart Lubbersupdate
2016-04-13 Mart Lubbers-
2016-04-13 Mart Lubbersadded type to sem.icl =/=
2016-04-13 Mart LubbersMerge branch 'mastert push ' of github.com:dopefishh...
2016-04-13 Mart Lubbers.
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh...
2016-04-13 pimjagerOntwerpbesluit toegevoegd dat functies pas na decla...
2016-04-13 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516
2016-04-13 Mart Lubbers.
2016-04-13 pimjagerAdded examples from markus
2016-04-13 pimjagerChecking assignments
2016-04-13 Mart Lubbers update'
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh...
2016-04-13 pimjagerFunction parameters
2016-04-13 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516
2016-04-13 Mart Lubbersa
2016-04-13 pimjagerLalalala statements
2016-04-13 pimjagersmall cleanup
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh...
2016-04-13 pimjagerWorking on statement checking
2016-04-13 Mart Lubberst push origin masterMerge branch 'master' of github...
next