cc1516.git
8 years agoreport type checking wip
pimjager [Thu, 9 Jun 2016 16:40:23 +0000 (18:40 +0200)]
report type checking wip

8 years agoWorking sem part of report
pimjager [Thu, 9 Jun 2016 14:21:23 +0000 (16:21 +0200)]
Working sem part of report

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 9 Jun 2016 12:33:20 +0000 (14:33 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoexamples
pimjager [Thu, 9 Jun 2016 12:32:14 +0000 (14:32 +0200)]
examples

8 years agoupdate intro en spl
Mart Lubbers [Thu, 9 Jun 2016 10:21:53 +0000 (12:21 +0200)]
update intro en spl

8 years agoupdate'
Mart Lubbers [Thu, 9 Jun 2016 08:55:45 +0000 (10:55 +0200)]
update'
git pus

8 years agoadded slide on dictionary
pimjager [Thu, 2 Jun 2016 10:55:59 +0000 (12:55 +0200)]
added slide on dictionary

8 years agofixed examples
pimjager [Thu, 2 Jun 2016 10:46:05 +0000 (12:46 +0200)]
fixed examples

8 years agoimproved presentation
pimjager [Thu, 2 Jun 2016 09:27:26 +0000 (11:27 +0200)]
improved presentation

8 years agoding
Mart Lubbers [Thu, 2 Jun 2016 08:00:04 +0000 (10:00 +0200)]
ding

8 years agoupdates:)
Mart Lubbers [Wed, 1 Jun 2016 20:00:26 +0000 (22:00 +0200)]
updates:)

8 years agobetere code
Mart Lubbers [Wed, 1 Jun 2016 17:57:11 +0000 (19:57 +0200)]
betere code

8 years agoAdded listliterals
pimjager [Wed, 1 Jun 2016 11:12:36 +0000 (13:12 +0200)]
Added listliterals

8 years agofuture work slide
pimjager [Tue, 31 May 2016 21:49:47 +0000 (23:49 +0200)]
future work slide

8 years agoWeghalen unresolved labels en update examples
Mart Lubbers [Tue, 31 May 2016 09:17:45 +0000 (11:17 +0200)]
Weghalen unresolved labels en update examples

8 years agoFirst version slides
pimjager [Mon, 30 May 2016 16:08:31 +0000 (18:08 +0200)]
First version slides

8 years agoWorking on slides for p4
pimjager [Mon, 30 May 2016 15:31:15 +0000 (17:31 +0200)]
Working on slides for p4

8 years agonu met en nu zonder
Mart Lubbers [Sun, 29 May 2016 19:11:10 +0000 (21:11 +0200)]
nu met en nu zonder

8 years agoprinten en parsen voor de demo
Mart Lubbers [Sun, 29 May 2016 19:09:17 +0000 (21:09 +0200)]
printen en parsen voor de demo

8 years agohoi
Mart Lubbers [Sun, 29 May 2016 18:52:28 +0000 (20:52 +0200)]
hoi

8 years agocomments over wat te doen toegevoegd
Mart Lubbers [Thu, 26 May 2016 20:46:56 +0000 (22:46 +0200)]
comments over wat te doen toegevoegd

8 years agostukje over incomplete functions
Mart Lubbers [Thu, 26 May 2016 20:44:08 +0000 (22:44 +0200)]
stukje over incomplete functions

8 years agostarted with report
Mart Lubbers [Thu, 26 May 2016 20:17:59 +0000 (22:17 +0200)]
started with report

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 19:44:38 +0000 (21:44 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years agostarten met p4 presentatie
Mart Lubbers [Thu, 26 May 2016 19:44:30 +0000 (21:44 +0200)]
starten met p4 presentatie

8 years agoFixed inference with typed functions
pimjager [Thu, 26 May 2016 17:46:17 +0000 (19:46 +0200)]
Fixed inference with typed functions

8 years agopim
Mart Lubbers [Thu, 26 May 2016 16:54:17 +0000 (18:54 +0200)]
pim

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

8 years agodemo
Mart Lubbers [Thu, 26 May 2016 16:40:12 +0000 (18:40 +0200)]
demo

8 years agolambdas without params, lambdas are now passed as vars instead of funcs
pimjager [Thu, 26 May 2016 16:18:51 +0000 (18:18 +0200)]
lambdas without params, lambdas are now passed as vars instead of funcs

8 years agoFixed printing from lambdas
pimjager [Thu, 26 May 2016 16:07:47 +0000 (18:07 +0200)]
Fixed printing from lambdas

8 years agoWorking lambdas uitroepteken
pimjager [Thu, 26 May 2016 15:48:31 +0000 (17:48 +0200)]
Working lambdas uitroepteken

8 years agomerge master
pimjager [Thu, 26 May 2016 14:50:44 +0000 (16:50 +0200)]
merge master

8 years agofaculty
Mart Lubbers [Thu, 26 May 2016 14:40:56 +0000 (16:40 +0200)]
faculty

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

8 years agoGEEN MERGE CONFLICT
Mart Lubbers [Thu, 26 May 2016 14:37:34 +0000 (16:37 +0200)]
GEEN MERGE CONFLICT

8 years agoSem now prints Gamma
pimjager [Thu, 26 May 2016 14:33:13 +0000 (16:33 +0200)]
Sem now prints Gamma

8 years agowowwww
Mart Lubbers [Thu, 26 May 2016 14:28:39 +0000 (16:28 +0200)]
wowwww

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 26 May 2016 14:24:48 +0000 (16:24 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agohoi'
Mart Lubbers [Thu, 26 May 2016 14:19:18 +0000 (16:19 +0200)]
hoi'
git psu

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Thu, 26 May 2016 14:16:23 +0000 (16:16 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agofold tempTest
pimjager [Thu, 26 May 2016 14:16:03 +0000 (16:16 +0200)]
fold tempTest

8 years agoMerge branch 'master' of github.com:dopefishh/cc1516
Mart Lubbers [Thu, 26 May 2016 13:25:42 +0000 (15:25 +0200)]
Merge branch 'master' of github.com:dopefishh/cc1516

8 years ago.
Mart Lubbers [Thu, 26 May 2016 13:25:33 +0000 (15:25 +0200)]
.

8 years agoLambda WIP
pimjager [Thu, 26 May 2016 13:22:02 +0000 (15:22 +0200)]
Lambda WIP

8 years agoparsing lambdas
pimjager [Thu, 26 May 2016 13:00:59 +0000 (15:00 +0200)]
parsing lambdas

8 years agoFixed Markus example
pimjager [Thu, 26 May 2016 12:14:20 +0000 (14:14 +0200)]
Fixed Markus example

8 years agoImproved Let syntax and improvements to type system
pimjager [Thu, 26 May 2016 11:13:04 +0000 (13:13 +0200)]
Improved Let syntax and improvements to type system

8 years agoBasic Let functionality
pimjager [Thu, 26 May 2016 10:31:12 +0000 (12:31 +0200)]
Basic Let functionality

8 years agotestfiles
pimjager [Thu, 26 May 2016 09:51:27 +0000 (11:51 +0200)]
testfiles

8 years agotest
Mart Lubbers [Wed, 25 May 2016 14:47:50 +0000 (16:47 +0200)]
test

8 years agojo
Mart Lubbers [Wed, 25 May 2016 14:27:16 +0000 (16:27 +0200)]
jo

8 years agoding
Mart Lubbers [Wed, 25 May 2016 11:16:04 +0000 (13:16 +0200)]
ding
git push o

8 years agoHIGHER ORDER FUNCTIONSgit add .git add .!
Mart Lubbers [Wed, 25 May 2016 10:42:33 +0000 (12:42 +0200)]
HIGHER ORDER FUNCTIONSgit add .git add .!

8 years agoadd arity to ADDR
Mart Lubbers [Tue, 24 May 2016 13:14:47 +0000 (15:14 +0200)]
add arity to ADDR

8 years agoding'
Mart Lubbers [Tue, 24 May 2016 13:05:46 +0000 (15:05 +0200)]
ding'
git pu

8 years agoopslaan van higher order functions aangepast
Mart Lubbers [Tue, 24 May 2016 12:59:33 +0000 (14:59 +0200)]
opslaan van higher order functions aangepast

8 years agoadd function dictionary 1func
Mart Lubbers [Tue, 24 May 2016 10:52:29 +0000 (12:52 +0200)]
add function dictionary 1func

8 years agofixed printing:)
Mart Lubbers [Mon, 23 May 2016 17:29:31 +0000 (19:29 +0200)]
fixed printing:)

8 years agofixed read
pimjager [Mon, 23 May 2016 14:19:24 +0000 (16:19 +0200)]
fixed read

8 years agotest"
Mart Lubbers [Fri, 20 May 2016 19:06:59 +0000 (21:06 +0200)]
test"
git"
git

8 years agofix escapes in literal strings
Mart Lubbers [Fri, 20 May 2016 18:40:16 +0000 (20:40 +0200)]
fix escapes in literal strings

8 years agoadd string literals
Mart Lubbers [Fri, 20 May 2016 18:05:31 +0000 (20:05 +0200)]
add string literals

8 years agoprintBool
Mart Lubbers [Fri, 20 May 2016 17:15:28 +0000 (19:15 +0200)]
printBool

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Fri, 20 May 2016 15:44:11 +0000 (17:44 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoprint specialised
pimjager [Fri, 20 May 2016 15:37:19 +0000 (17:37 +0200)]
print specialised

8 years agoblabla
pimjager [Fri, 20 May 2016 14:55:50 +0000 (16:55 +0200)]
blabla

8 years agoding
Mart Lubbers [Fri, 20 May 2016 14:44:41 +0000 (16:44 +0200)]
ding

8 years agoadd last exception for functype
Mart Lubbers [Fri, 20 May 2016 14:39:18 +0000 (16:39 +0200)]
add last exception for functype

8 years ago.
Mart Lubbers [Fri, 20 May 2016 14:37:15 +0000 (16:37 +0200)]
.

8 years agoadd constant functs
Mart Lubbers [Fri, 20 May 2016 14:31:15 +0000 (16:31 +0200)]
add constant functs

8 years agoadd funtype
Mart Lubbers [Fri, 20 May 2016 14:20:41 +0000 (16:20 +0200)]
add funtype

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Fri, 20 May 2016 11:44:25 +0000 (13:44 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoding
Mart Lubbers [Fri, 20 May 2016 11:47:01 +0000 (13:47 +0200)]
ding

8 years agoding
Mart Lubbers [Fri, 20 May 2016 11:46:09 +0000 (13:46 +0200)]
ding

8 years agoreadchar in sem
pimjager [Fri, 20 May 2016 11:44:21 +0000 (13:44 +0200)]
readchar in sem

8 years agoMerge branch 'master' of https://github.com/dopefishh/cc1516
pimjager [Fri, 20 May 2016 11:35:45 +0000 (13:35 +0200)]
Merge branch 'master' of https://github.com/dopefishh/cc1516

8 years agoWoooo isEmpty
pimjager [Fri, 20 May 2016 11:35:39 +0000 (13:35 +0200)]
Woooo isEmpty

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