cc1516.git
8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Fri, 20 May 2016 11:26:30 +0000 (13:26 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agoadd to default addressbook'
Mart Lubbers [Fri, 20 May 2016 11:26:28 +0000 (13:26 +0200)]
add to default addressbook'

8 years agoadd print and read preamble
Mart Lubbers [Fri, 20 May 2016 11:24:37 +0000 (13:24 +0200)]
add print and read preamble

8 years agoStomme puntjes
pimjager [Fri, 20 May 2016 11:18:56 +0000 (13:18 +0200)]
Stomme puntjes

8 years agomend
pimjager [Fri, 20 May 2016 11:10:00 +0000 (13:10 +0200)]
mend

8 years agoTypechecking of fieldselectors
pimjager [Fri, 20 May 2016 11:08:46 +0000 (13:08 +0200)]
Typechecking of fieldselectors

8 years agoadd fieldselectors to funExpr and funStmt
Mart Lubbers [Fri, 20 May 2016 09:50:20 +0000 (11:50 +0200)]
add fieldselectors to funExpr and funStmt

8 years agocodeGen fieldselectors
Mart Lubbers [Fri, 20 May 2016 09:26:56 +0000 (11:26 +0200)]
codeGen fieldselectors

8 years agoAdded default functions, isEmpty does not typecheck...
pimjager [Thu, 19 May 2016 16:05:38 +0000 (18:05 +0200)]
Added default functions, isEmpty does not typecheck...

8 years agoFixed annote
pimjager [Thu, 19 May 2016 15:18:07 +0000 (17:18 +0200)]
Fixed annote

8 years agoannotations
pimjager [Thu, 19 May 2016 15:11:40 +0000 (17:11 +0200)]
annotations

8 years agoFunction calls now clean up the arguments
pimjager [Thu, 19 May 2016 14:58:33 +0000 (16:58 +0200)]
Function calls now clean up the arguments

8 years agoFunStmt and Stmts added
pimjager [Thu, 19 May 2016 14:51:38 +0000 (16:51 +0200)]
FunStmt and Stmts added

8 years agoreturn dingen en local vars werken
Mart Lubbers [Thu, 19 May 2016 14:35:25 +0000 (16:35 +0200)]
return dingen en local vars werken

8 years agofunction dingen werken
Mart Lubbers [Thu, 19 May 2016 14:22:25 +0000 (16:22 +0200)]
function dingen werken

8 years agoVardecl ftw`
Mart Lubbers [Thu, 19 May 2016 13:07:17 +0000 (15:07 +0200)]
Vardecl ftw`

8 years agou
Mart Lubbers [Fri, 13 May 2016 16:38:33 +0000 (18:38 +0200)]
u

8 years agoMerge branch 'master' into gen
Mart Lubbers [Fri, 13 May 2016 16:35:20 +0000 (18:35 +0200)]
Merge branch 'master' into gen

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Fri, 13 May 2016 16:35:02 +0000 (18:35 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agoupdate
Mart Lubbers [Fri, 13 May 2016 16:34:46 +0000 (18:34 +0200)]
update

8 years agoclean
Mart Lubbers [Thu, 12 May 2016 16:22:42 +0000 (18:22 +0200)]
clean

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 12 May 2016 14:32:59 +0000 (16:32 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agoding
Mart Lubbers [Thu, 12 May 2016 14:32:48 +0000 (16:32 +0200)]
ding

8 years agoadded commit stats
Mart Lubbers [Thu, 12 May 2016 07:40:15 +0000 (09:40 +0200)]
added commit stats

8 years agonieuwe presentatie jow
Mart Lubbers [Wed, 11 May 2016 19:24:55 +0000 (21:24 +0200)]
nieuwe presentatie jow

8 years agohoi
Mart Lubbers [Wed, 11 May 2016 09:02:46 +0000 (11:02 +0200)]
hoi

8 years agoWork in progress code gen
pimjager [Mon, 9 May 2016 09:58:50 +0000 (11:58 +0200)]
Work in progress code gen

8 years agoBasic function calling and generation
pimjager [Mon, 9 May 2016 09:45:18 +0000 (11:45 +0200)]
Basic function calling and generation

8 years agocodegen work in progress
pimjager [Sun, 8 May 2016 22:46:24 +0000 (00:46 +0200)]
codegen work in progress

8 years agocodegen work in progress
pimjager [Sun, 8 May 2016 22:43:56 +0000 (00:43 +0200)]
codegen work in progress

8 years agoCodeGen for statements, no variables yet
pimjager [Sun, 8 May 2016 22:25:19 +0000 (00:25 +0200)]
CodeGen for statements, no variables yet

8 years agoStart with gen for statements
pimjager [Sun, 8 May 2016 20:40:38 +0000 (22:40 +0200)]
Start with gen for statements

8 years agoAdded generationf or expressions, how to deal with lists and tuples?
pimjager [Sun, 8 May 2016 16:46:26 +0000 (18:46 +0200)]
Added generationf or expressions, how to deal with lists and tuples?

8 years agoAdded generation for op2
pimjager [Sun, 8 May 2016 16:41:59 +0000 (18:41 +0200)]
Added generation for op2

8 years agoAdded stream of fresh labels
pimjager [Sun, 8 May 2016 16:16:30 +0000 (18:16 +0200)]
Added stream of fresh labels

8 years agoStart of Gen monad
pimjager [Sat, 7 May 2016 21:54:10 +0000 (23:54 +0200)]
Start of Gen monad

8 years agoAdded some comments on codegen
pimjager [Fri, 6 May 2016 15:35:10 +0000 (17:35 +0200)]
Added some comments on codegen

8 years agolala codegen
pimjager [Fri, 6 May 2016 15:33:46 +0000 (17:33 +0200)]
lala codegen

8 years agoAdded gen to makefile
pimjager [Fri, 6 May 2016 14:40:05 +0000 (16:40 +0200)]
Added gen to makefile

8 years agostart of code generation
pimjager [Fri, 6 May 2016 14:33:17 +0000 (16:33 +0200)]
start of code generation

8 years agoAssignments are now typechecked
pimjager [Fri, 6 May 2016 10:02:07 +0000 (12:02 +0200)]
Assignments are now typechecked

8 years agoidentity example now almost correctly typed
pimjager [Fri, 6 May 2016 09:45:36 +0000 (11:45 +0200)]
identity example now almost correctly typed

8 years agocleanup
pimjager [Fri, 6 May 2016 08:59:09 +0000 (10:59 +0200)]
cleanup

8 years agoSmall improvements, some errors here and there
pimjager [Thu, 5 May 2016 16:27:12 +0000 (18:27 +0200)]
Small improvements, some errors here and there

8 years agoType inference for functions works YAAAY
pimjager [Thu, 5 May 2016 14:24:49 +0000 (16:24 +0200)]
Type inference for functions works YAAAY

8 years agotype instance for FunDecl
pimjager [Thu, 5 May 2016 11:09:41 +0000 (13:09 +0200)]
type instance for FunDecl

8 years agoinfer voor statements
pimjager [Mon, 2 May 2016 14:32:18 +0000 (16:32 +0200)]
infer voor statements

8 years agoWorking on inference for statements
pimjager [Fri, 29 Apr 2016 16:12:20 +0000 (18:12 +0200)]
Working on inference for statements

8 years agoinfer for FunExpr
pimjager [Fri, 29 Apr 2016 15:07:31 +0000 (17:07 +0200)]
infer for FunExpr

8 years agoWorking on algorithm M
pimjager [Thu, 28 Apr 2016 19:07:13 +0000 (21:07 +0200)]
Working on algorithm M

8 years agoStarted working on algorithm M
pimjager [Thu, 28 Apr 2016 18:39:23 +0000 (20:39 +0200)]
Started working on algorithm M

8 years agoAdded Typing Monad and instantiate
pimjager [Thu, 28 Apr 2016 16:32:13 +0000 (18:32 +0200)]
Added Typing Monad and instantiate

8 years agohi
pimjager [Thu, 28 Apr 2016 15:59:20 +0000 (17:59 +0200)]
hi

8 years agoFinished algorithm U
pimjager [Thu, 28 Apr 2016 14:51:52 +0000 (16:51 +0200)]
Finished algorithm U

8 years agoStart of algorithm U
pimjager [Thu, 28 Apr 2016 14:31:09 +0000 (16:31 +0200)]
Start of algorithm U

8 years agoinfer voor expressions afgemaakt
pimjager [Mon, 25 Apr 2016 19:03:57 +0000 (21:03 +0200)]
infer voor expressions afgemaakt

8 years agomeer
Mart Lubbers [Sat, 23 Apr 2016 13:27:17 +0000 (15:27 +0200)]
meer

8 years agoliftT toegevoegd
Mart Lubbers [Sat, 23 Apr 2016 12:35:25 +0000 (14:35 +0200)]
liftT toegevoegd

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Fri, 22 Apr 2016 11:30:32 +0000 (13:30 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agosanity checks
Mart Lubbers [Fri, 22 Apr 2016 11:28:25 +0000 (13:28 +0200)]
sanity checks

8 years agoAdded op1Type function
pimjager [Fri, 22 Apr 2016 11:21:05 +0000 (13:21 +0200)]
Added op1Type function

8 years agoAdded op2type function
pimjager [Fri, 22 Apr 2016 11:19:56 +0000 (13:19 +0200)]
Added op2type function

8 years agoHIGHER ORDER FUNCTIONS!!!!!1!11!!1one!1eleven
Mart Lubbers [Fri, 22 Apr 2016 10:08:38 +0000 (12:08 +0200)]
HIGHER ORDER FUNCTIONS!!!!!1!11!!1one!1eleven

8 years agoMerge branch 'generation'
pimjager [Fri, 22 Apr 2016 10:06:31 +0000 (12:06 +0200)]
Merge branch 'generation'

8 years agoontwerpbesluiten aagepast
pimjager [Fri, 22 Apr 2016 09:55:14 +0000 (11:55 +0200)]
ontwerpbesluiten aagepast

8 years agohoi
Mart Lubbers [Fri, 22 Apr 2016 09:45:55 +0000 (11:45 +0200)]
hoi

8 years agosmall update, inference
Mart Lubbers [Wed, 20 Apr 2016 14:29:35 +0000 (16:29 +0200)]
small update, inference

8 years agostarted with new typechecker
Mart Lubbers [Fri, 15 Apr 2016 16:49:15 +0000 (18:49 +0200)]
started with new typechecker

8 years agoRWS done
Mart Lubbers [Fri, 15 Apr 2016 08:20:47 +0000 (10:20 +0200)]
RWS done

8 years agorwst done, rws to go
Mart Lubbers [Fri, 15 Apr 2016 08:15:15 +0000 (10:15 +0200)]
rwst done, rws to go

8 years agot push origni msatMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 14 Apr 2016 11:31:40 +0000 (13:31 +0200)]
t push origni msatMerge branch 'master' of github.com:dopefishh/cc1516

8 years agoupdate gitignore
Mart Lubbers [Thu, 14 Apr 2016 11:31:25 +0000 (13:31 +0200)]
update gitignore

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 14 Apr 2016 11:28:50 +0000 (13:28 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoPresentationf inished
pimjager [Thu, 14 Apr 2016 11:28:41 +0000 (13:28 +0200)]
Presentationf inished

8 years agorwst
Mart Lubbers [Thu, 14 Apr 2016 11:28:18 +0000 (13:28 +0200)]
rwst

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 14 Apr 2016 10:51:57 +0000 (12:51 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoPresentation
pimjager [Thu, 14 Apr 2016 10:51:46 +0000 (12:51 +0200)]
Presentation

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 14 Apr 2016 09:45:38 +0000 (11:45 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agohoi
Mart Lubbers [Thu, 14 Apr 2016 09:45:29 +0000 (11:45 +0200)]
hoi

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 14 Apr 2016 09:24:05 +0000 (11:24 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoworking on presentation
pimjager [Thu, 14 Apr 2016 09:21:29 +0000 (11:21 +0200)]
working on presentation

8 years agohoi'
Mart Lubbers [Thu, 14 Apr 2016 09:21:07 +0000 (11:21 +0200)]
hoi'
git push oi

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 14 Apr 2016 07:56:09 +0000 (09:56 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agohoi
Mart Lubbers [Thu, 14 Apr 2016 07:56:33 +0000 (09:56 +0200)]
hoi

8 years agoPresentation
pimjager [Thu, 14 Apr 2016 07:55:43 +0000 (09:55 +0200)]
Presentation

8 years agohi
Mart Lubbers [Thu, 14 Apr 2016 07:06:27 +0000 (09:06 +0200)]
hi

8 years ago added argument mismatch
Mart Lubbers [Thu, 14 Apr 2016 06:58:55 +0000 (08:58 +0200)]
 added argument mismatch

8 years agosmall update so that retyping works
Mart Lubbers [Thu, 14 Apr 2016 06:45:01 +0000 (08:45 +0200)]
small update so that retyping works

8 years agoupdate
Mart Lubbers [Wed, 13 Apr 2016 20:37:41 +0000 (22:37 +0200)]
update

8 years ago-
Mart Lubbers [Wed, 13 Apr 2016 20:14:59 +0000 (22:14 +0200)]
-

8 years agoadded type to sem.icl =/=
Mart Lubbers [Wed, 13 Apr 2016 20:13:38 +0000 (22:13 +0200)]
added type to sem.icl =/=

8 years agoMerge branch 'mastert push ' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 20:09:12 +0000 (22:09 +0200)]
Merge branch 'mastert push ' of github.com:dopefishh/cc1516

8 years ago.
Mart Lubbers [Wed, 13 Apr 2016 20:09:04 +0000 (22:09 +0200)]
.

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Wed, 13 Apr 2016 19:50:25 +0000 (21:50 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoOntwerpbesluit toegevoegd dat functies pas na decla beschikbaar zijn
pimjager [Wed, 13 Apr 2016 19:49:06 +0000 (21:49 +0200)]
Ontwerpbesluit toegevoegd dat functies pas na decla beschikbaar zijn

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Wed, 13 Apr 2016 19:35:32 +0000 (21:35 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years ago.
Mart Lubbers [Wed, 13 Apr 2016 19:35:25 +0000 (21:35 +0200)]
.

8 years agoAdded examples from markus
pimjager [Wed, 13 Apr 2016 19:01:50 +0000 (21:01 +0200)]
Added examples from markus

8 years agoChecking assignments
pimjager [Wed, 13 Apr 2016 18:55:00 +0000 (20:55 +0200)]
Checking assignments

8 years ago update'
Mart Lubbers [Wed, 13 Apr 2016 18:06:57 +0000 (20:06 +0200)]
 update'