repositories / cc1516.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cc1516.git
2016-05-20 Mart Lubbersding commit | commitdiff | tree | snapshot
2016-05-20 Mart Lubbersding commit | commitdiff | tree | snapshot
2016-05-20 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-05-20 pimjagerWoooo isEmpty commit | commitdiff | tree | snapshot
2016-05-20 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-05-20 Mart Lubbersadd to default addressbook' commit | commitdiff | tree | snapshot
2016-05-20 Mart Lubbersadd print and read preamble commit | commitdiff | tree | snapshot
2016-05-20 pimjagerStomme puntjes commit | commitdiff | tree | snapshot
2016-05-20 pimjagermend commit | commitdiff | tree | snapshot
2016-05-20 pimjagerTypechecking of fieldselectors commit | commitdiff | tree | snapshot
2016-05-20 Mart Lubbersadd fieldselectors to funExpr and funStmt commit | commitdiff | tree | snapshot
2016-05-20 Mart LubberscodeGen fieldselectors commit | commitdiff | tree | snapshot
2016-05-19 pimjagerAdded default functions, isEmpty does not typecheck... commit | commitdiff | tree | snapshot
2016-05-19 pimjagerFixed annote commit | commitdiff | tree | snapshot
2016-05-19 pimjagerannotations commit | commitdiff | tree | snapshot
2016-05-19 pimjagerFunction calls now clean up the arguments commit | commitdiff | tree | snapshot
2016-05-19 pimjagerFunStmt and Stmts added commit | commitdiff | tree | snapshot
2016-05-19 Mart Lubbersreturn dingen en local vars werken commit | commitdiff | tree | snapshot
2016-05-19 Mart Lubbersfunction dingen werken commit | commitdiff | tree | snapshot
2016-05-19 Mart LubbersVardecl ftw` commit | commitdiff | tree | snapshot
2016-05-13 Mart Lubbersu commit | commitdiff | tree | snapshot
2016-05-13 Mart LubbersMerge branch 'master' into gen commit | commitdiff | tree | snapshot
2016-05-13 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-05-13 Mart Lubbersupdate commit | commitdiff | tree | snapshot
2016-05-12 Mart Lubbersclean commit | commitdiff | tree | snapshot
2016-05-12 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-05-12 Mart Lubbersding commit | commitdiff | tree | snapshot
2016-05-12 Mart Lubbersadded commit stats commit | commitdiff | tree | snapshot
2016-05-11 Mart Lubbersnieuwe presentatie jow commit | commitdiff | tree | snapshot
2016-05-11 Mart Lubbershoi commit | commitdiff | tree | snapshot
2016-05-09 pimjagerWork in progress code gen commit | commitdiff | tree | snapshot
2016-05-09 pimjagerBasic function calling and generation commit | commitdiff | tree | snapshot
2016-05-08 pimjagercodegen work in progress commit | commitdiff | tree | snapshot
2016-05-08 pimjagercodegen work in progress commit | commitdiff | tree | snapshot
2016-05-08 pimjagerCodeGen for statements, no variables yet commit | commitdiff | tree | snapshot
2016-05-08 pimjagerStart with gen for statements commit | commitdiff | tree | snapshot
2016-05-08 pimjagerAdded generationf or expressions, how to deal with... commit | commitdiff | tree | snapshot
2016-05-08 pimjagerAdded generation for op2 commit | commitdiff | tree | snapshot
2016-05-08 pimjagerAdded stream of fresh labels commit | commitdiff | tree | snapshot
2016-05-07 pimjagerStart of Gen monad commit | commitdiff | tree | snapshot
2016-05-06 pimjagerAdded some comments on codegen commit | commitdiff | tree | snapshot
2016-05-06 pimjagerlala codegen commit | commitdiff | tree | snapshot
2016-05-06 pimjagerAdded gen to makefile commit | commitdiff | tree | snapshot
2016-05-06 pimjagerstart of code generation commit | commitdiff | tree | snapshot
2016-05-06 pimjagerAssignments are now typechecked commit | commitdiff | tree | snapshot
2016-05-06 pimjageridentity example now almost correctly typed commit | commitdiff | tree | snapshot
2016-05-06 pimjagercleanup commit | commitdiff | tree | snapshot
2016-05-05 pimjagerSmall improvements, some errors here and there commit | commitdiff | tree | snapshot
2016-05-05 pimjagerType inference for functions works YAAAY commit | commitdiff | tree | snapshot
2016-05-05 pimjagertype instance for FunDecl commit | commitdiff | tree | snapshot
2016-05-02 pimjagerinfer voor statements commit | commitdiff | tree | snapshot
2016-04-29 pimjagerWorking on inference for statements commit | commitdiff | tree | snapshot
2016-04-29 pimjagerinfer for FunExpr commit | commitdiff | tree | snapshot
2016-04-28 pimjagerWorking on algorithm M commit | commitdiff | tree | snapshot
2016-04-28 pimjagerStarted working on algorithm M commit | commitdiff | tree | snapshot
2016-04-28 pimjagerAdded Typing Monad and instantiate commit | commitdiff | tree | snapshot
2016-04-28 pimjagerhi commit | commitdiff | tree | snapshot
2016-04-28 pimjagerFinished algorithm U commit | commitdiff | tree | snapshot
2016-04-28 pimjagerStart of algorithm U commit | commitdiff | tree | snapshot
2016-04-25 pimjagerinfer voor expressions afgemaakt commit | commitdiff | tree | snapshot
2016-04-23 Mart Lubbersmeer commit | commitdiff | tree | snapshot
2016-04-23 Mart LubbersliftT toegevoegd commit | commitdiff | tree | snapshot
2016-04-22 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-04-22 Mart Lubberssanity checks commit | commitdiff | tree | snapshot
2016-04-22 pimjagerAdded op1Type function commit | commitdiff | tree | snapshot
2016-04-22 pimjagerAdded op2type function commit | commitdiff | tree | snapshot
2016-04-22 Mart LubbersHIGHER ORDER FUNCTIONS!!!!!1!11!!1one!1eleven commit | commitdiff | tree | snapshot
2016-04-22 pimjagerMerge branch 'generation' commit | commitdiff | tree | snapshot
2016-04-22 pimjagerontwerpbesluiten aagepast commit | commitdiff | tree | snapshot
2016-04-22 Mart Lubbershoi commit | commitdiff | tree | snapshot
2016-04-20 Mart Lubberssmall update, inference commit | commitdiff | tree | snapshot
2016-04-15 Mart Lubbersstarted with new typechecker commit | commitdiff | tree | snapshot
2016-04-15 Mart LubbersRWS done commit | commitdiff | tree | snapshot
2016-04-15 Mart Lubbersrwst done, rws to go commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubberst push origni msatMerge branch 'master' of github.com... commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbersupdate gitignore commit | commitdiff | tree | snapshot
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-14 pimjagerPresentationf inished commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbersrwst commit | commitdiff | tree | snapshot
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-14 pimjagerPresentation commit | commitdiff | tree | snapshot
2016-04-14 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbershoi commit | commitdiff | tree | snapshot
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-14 pimjagerworking on presentation commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbershoi' commit | commitdiff | tree | snapshot
2016-04-14 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbershoi commit | commitdiff | tree | snapshot
2016-04-14 pimjagerPresentation commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbershi commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubbers added argument mismatch commit | commitdiff | tree | snapshot
2016-04-14 Mart Lubberssmall update so that retyping works commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersupdate commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbers- commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbersadded type to sem.icl =/= commit | commitdiff | tree | snapshot
2016-04-13 Mart LubbersMerge branch 'mastert push ' of github.com:dopefishh... commit | commitdiff | tree | snapshot
2016-04-13 Mart Lubbers. commit | commitdiff | tree | snapshot
2016-04-13 pimjagerMerge branch 'master' of https://github.com/dopefishh... commit | commitdiff | tree | snapshot
2016-04-13 pimjagerOntwerpbesluit toegevoegd dat functies pas na decla... commit | commitdiff | tree | snapshot
2016-04-13 Mart LubbersMerge branch 'master' of github.com:dopefishh/cc1516 commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.