pimjager [Thu, 26 May 2016 14:50:44 +0000 (16:50 +0200)]
merge master
Mart Lubbers [Thu, 26 May 2016 14:40:56 +0000 (16:40 +0200)]
faculty
Mart Lubbers [Thu, 26 May 2016 14:37:36 +0000 (16:37 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 14:37:34 +0000 (16:37 +0200)]
GEEN MERGE CONFLICT
pimjager [Thu, 26 May 2016 14:33:13 +0000 (16:33 +0200)]
Sem now prints Gamma
Mart Lubbers [Thu, 26 May 2016 14:28:39 +0000 (16:28 +0200)]
wowwww
pimjager [Thu, 26 May 2016 14:24:48 +0000 (16:24 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 14:19:18 +0000 (16:19 +0200)]
hoi'
git psu
pimjager [Thu, 26 May 2016 14:16:23 +0000 (16:16 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 26 May 2016 14:16:03 +0000 (16:16 +0200)]
fold tempTest
Mart Lubbers [Thu, 26 May 2016 13:25:42 +0000 (15:25 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 13:25:33 +0000 (15:25 +0200)]
.
pimjager [Thu, 26 May 2016 13:22:02 +0000 (15:22 +0200)]
Lambda WIP
pimjager [Thu, 26 May 2016 13:00:59 +0000 (15:00 +0200)]
parsing lambdas
pimjager [Thu, 26 May 2016 12:14:20 +0000 (14:14 +0200)]
Fixed Markus example
pimjager [Thu, 26 May 2016 11:13:04 +0000 (13:13 +0200)]
Improved Let syntax and improvements to type system
pimjager [Thu, 26 May 2016 10:31:12 +0000 (12:31 +0200)]
Basic Let functionality
pimjager [Thu, 26 May 2016 09:51:27 +0000 (11:51 +0200)]
testfiles
Mart Lubbers [Wed, 25 May 2016 14:47:50 +0000 (16:47 +0200)]
test
Mart Lubbers [Wed, 25 May 2016 14:27:16 +0000 (16:27 +0200)]
jo
Mart Lubbers [Wed, 25 May 2016 11:16:04 +0000 (13:16 +0200)]
ding
git push o
Mart Lubbers [Wed, 25 May 2016 10:42:33 +0000 (12:42 +0200)]
HIGHER ORDER FUNCTIONSgit add .git add .!
Mart Lubbers [Tue, 24 May 2016 13:14:47 +0000 (15:14 +0200)]
add arity to ADDR
Mart Lubbers [Tue, 24 May 2016 13:05:46 +0000 (15:05 +0200)]
ding'
git pu
Mart Lubbers [Tue, 24 May 2016 12:59:33 +0000 (14:59 +0200)]
opslaan van higher order functions aangepast
Mart Lubbers [Tue, 24 May 2016 10:52:29 +0000 (12:52 +0200)]
add function dictionary 1func
Mart Lubbers [Mon, 23 May 2016 17:29:31 +0000 (19:29 +0200)]
fixed printing:)
pimjager [Mon, 23 May 2016 14:19:24 +0000 (16:19 +0200)]
fixed read
Mart Lubbers [Fri, 20 May 2016 19:06:59 +0000 (21:06 +0200)]
test"
git"
git
Mart Lubbers [Fri, 20 May 2016 18:40:16 +0000 (20:40 +0200)]
fix escapes in literal strings
Mart Lubbers [Fri, 20 May 2016 18:05:31 +0000 (20:05 +0200)]
add string literals
Mart Lubbers [Fri, 20 May 2016 17:15:28 +0000 (19:15 +0200)]
printBool
pimjager [Fri, 20 May 2016 15:44:11 +0000 (17:44 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Fri, 20 May 2016 15:37:19 +0000 (17:37 +0200)]
print specialised
pimjager [Fri, 20 May 2016 14:55:50 +0000 (16:55 +0200)]
blabla
Mart Lubbers [Fri, 20 May 2016 14:44:41 +0000 (16:44 +0200)]
ding
Mart Lubbers [Fri, 20 May 2016 14:39:18 +0000 (16:39 +0200)]
add last exception for functype
Mart Lubbers [Fri, 20 May 2016 14:37:15 +0000 (16:37 +0200)]
.
Mart Lubbers [Fri, 20 May 2016 14:31:15 +0000 (16:31 +0200)]
add constant functs
Mart Lubbers [Fri, 20 May 2016 14:20:41 +0000 (16:20 +0200)]
add funtype
pimjager [Fri, 20 May 2016 11:44:25 +0000 (13:44 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
Mart Lubbers [Fri, 20 May 2016 11:47:01 +0000 (13:47 +0200)]
ding
Mart Lubbers [Fri, 20 May 2016 11:46:09 +0000 (13:46 +0200)]
ding
pimjager [Fri, 20 May 2016 11:44:21 +0000 (13:44 +0200)]
readchar in sem
pimjager [Fri, 20 May 2016 11:35:45 +0000 (13:35 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Fri, 20 May 2016 11:35:39 +0000 (13:35 +0200)]
Woooo isEmpty
Mart Lubbers [Fri, 20 May 2016 11:26:30 +0000 (13:26 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Fri, 20 May 2016 11:26:28 +0000 (13:26 +0200)]
add to default addressbook'
Mart Lubbers [Fri, 20 May 2016 11:24:37 +0000 (13:24 +0200)]
add print and read preamble
pimjager [Fri, 20 May 2016 11:18:56 +0000 (13:18 +0200)]
Stomme puntjes
pimjager [Fri, 20 May 2016 11:10:00 +0000 (13:10 +0200)]
mend
pimjager [Fri, 20 May 2016 11:08:46 +0000 (13:08 +0200)]
Typechecking of fieldselectors
Mart Lubbers [Fri, 20 May 2016 09:50:20 +0000 (11:50 +0200)]
add fieldselectors to funExpr and funStmt
Mart Lubbers [Fri, 20 May 2016 09:26:56 +0000 (11:26 +0200)]
codeGen fieldselectors
pimjager [Thu, 19 May 2016 16:05:38 +0000 (18:05 +0200)]
Added default functions, isEmpty does not typecheck...
pimjager [Thu, 19 May 2016 15:18:07 +0000 (17:18 +0200)]
Fixed annote
pimjager [Thu, 19 May 2016 15:11:40 +0000 (17:11 +0200)]
annotations
pimjager [Thu, 19 May 2016 14:58:33 +0000 (16:58 +0200)]
Function calls now clean up the arguments
pimjager [Thu, 19 May 2016 14:51:38 +0000 (16:51 +0200)]
FunStmt and Stmts added
Mart Lubbers [Thu, 19 May 2016 14:35:25 +0000 (16:35 +0200)]
return dingen en local vars werken
Mart Lubbers [Thu, 19 May 2016 14:22:25 +0000 (16:22 +0200)]
function dingen werken
Mart Lubbers [Thu, 19 May 2016 13:07:17 +0000 (15:07 +0200)]
Vardecl ftw`
Mart Lubbers [Fri, 13 May 2016 16:38:33 +0000 (18:38 +0200)]
u
Mart Lubbers [Fri, 13 May 2016 16:35:20 +0000 (18:35 +0200)]
Merge branch 'master' into gen
Mart Lubbers [Fri, 13 May 2016 16:35:02 +0000 (18:35 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Fri, 13 May 2016 16:34:46 +0000 (18:34 +0200)]
update
Mart Lubbers [Thu, 12 May 2016 16:22:42 +0000 (18:22 +0200)]
clean
Mart Lubbers [Thu, 12 May 2016 14:32:59 +0000 (16:32 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 12 May 2016 14:32:48 +0000 (16:32 +0200)]
ding
Mart Lubbers [Thu, 12 May 2016 07:40:15 +0000 (09:40 +0200)]
added commit stats
Mart Lubbers [Wed, 11 May 2016 19:24:55 +0000 (21:24 +0200)]
nieuwe presentatie jow
Mart Lubbers [Wed, 11 May 2016 09:02:46 +0000 (11:02 +0200)]
hoi
pimjager [Mon, 9 May 2016 09:58:50 +0000 (11:58 +0200)]
Work in progress code gen
pimjager [Mon, 9 May 2016 09:45:18 +0000 (11:45 +0200)]
Basic function calling and generation
pimjager [Sun, 8 May 2016 22:46:24 +0000 (00:46 +0200)]
codegen work in progress
pimjager [Sun, 8 May 2016 22:43:56 +0000 (00:43 +0200)]
codegen work in progress
pimjager [Sun, 8 May 2016 22:25:19 +0000 (00:25 +0200)]
CodeGen for statements, no variables yet
pimjager [Sun, 8 May 2016 20:40:38 +0000 (22:40 +0200)]
Start with gen for statements
pimjager [Sun, 8 May 2016 16:46:26 +0000 (18:46 +0200)]
Added generationf or expressions, how to deal with lists and tuples?
pimjager [Sun, 8 May 2016 16:41:59 +0000 (18:41 +0200)]
Added generation for op2
pimjager [Sun, 8 May 2016 16:16:30 +0000 (18:16 +0200)]
Added stream of fresh labels
pimjager [Sat, 7 May 2016 21:54:10 +0000 (23:54 +0200)]
Start of Gen monad
pimjager [Fri, 6 May 2016 15:35:10 +0000 (17:35 +0200)]
Added some comments on codegen
pimjager [Fri, 6 May 2016 15:33:46 +0000 (17:33 +0200)]
lala codegen
pimjager [Fri, 6 May 2016 14:40:05 +0000 (16:40 +0200)]
Added gen to makefile
pimjager [Fri, 6 May 2016 14:33:17 +0000 (16:33 +0200)]
start of code generation
pimjager [Fri, 6 May 2016 10:02:07 +0000 (12:02 +0200)]
Assignments are now typechecked
pimjager [Fri, 6 May 2016 09:45:36 +0000 (11:45 +0200)]
identity example now almost correctly typed
pimjager [Fri, 6 May 2016 08:59:09 +0000 (10:59 +0200)]
cleanup
pimjager [Thu, 5 May 2016 16:27:12 +0000 (18:27 +0200)]
Small improvements, some errors here and there
pimjager [Thu, 5 May 2016 14:24:49 +0000 (16:24 +0200)]
Type inference for functions works YAAAY
pimjager [Thu, 5 May 2016 11:09:41 +0000 (13:09 +0200)]
type instance for FunDecl
pimjager [Mon, 2 May 2016 14:32:18 +0000 (16:32 +0200)]
infer voor statements
pimjager [Fri, 29 Apr 2016 16:12:20 +0000 (18:12 +0200)]
Working on inference for statements
pimjager [Fri, 29 Apr 2016 15:07:31 +0000 (17:07 +0200)]
infer for FunExpr
pimjager [Thu, 28 Apr 2016 19:07:13 +0000 (21:07 +0200)]
Working on algorithm M
pimjager [Thu, 28 Apr 2016 18:39:23 +0000 (20:39 +0200)]
Started working on algorithm M
pimjager [Thu, 28 Apr 2016 16:32:13 +0000 (18:32 +0200)]
Added Typing Monad and instantiate
pimjager [Thu, 28 Apr 2016 15:59:20 +0000 (17:59 +0200)]
hi
pimjager [Thu, 28 Apr 2016 14:51:52 +0000 (16:51 +0200)]
Finished algorithm U
repositories / cc1516.git / log