repositories
/
cc1516.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cc1516.git
2016-06-09
pimjager
Report type checking wip
commit
|
commitdiff
|
tree
|
snapshot
2016-06-09
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
|
snapshot
2016-06-09
pimjager
report type checking wip
commit
|
commitdiff
|
tree
|
snapshot
2016-06-09
Mart Lubbers
grammars
commit
|
commitdiff
|
tree
|
snapshot
2016-06-09
pimjager
Working sem part of report
commit
|
commitdiff
|
tree
|
snapshot
2016-06-09
Mart Lubbers
lex ding
commit
|
commitdiff
|
tree
|
snapshot
2016-06-09
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
|
snapshot
2016-06-09
pimjager
examples
commit
|
commitdiff
|
tree
|
snapshot
2016-06-09
Mart Lubbers
update intro en spl
commit
|
commitdiff
|
tree
|
snapshot
2016-06-09
Mart Lubbers
update'
commit
|
commitdiff
|
tree
|
snapshot
2016-06-02
pimjager
added slide on dictionary
commit
|
commitdiff
|
tree
|
snapshot
2016-06-02
pimjager
fixed examples
commit
|
commitdiff
|
tree
|
snapshot
2016-06-02
pimjager
improved presentation
commit
|
commitdiff
|
tree
|
snapshot
2016-06-02
Mart Lubbers
ding
commit
|
commitdiff
|
tree
|
snapshot
2016-06-01
Mart Lubbers
updates:)
commit
|
commitdiff
|
tree
|
snapshot
2016-06-01
Mart Lubbers
betere code
commit
|
commitdiff
|
tree
|
snapshot
2016-06-01
pimjager
Added listliterals
commit
|
commitdiff
|
tree
|
snapshot
2016-05-31
pimjager
future work slide
commit
|
commitdiff
|
tree
|
snapshot
2016-05-31
Mart Lubbers
Weghalen unresolved labels en update examples
commit
|
commitdiff
|
tree
|
snapshot
2016-05-30
pimjager
First version slides
commit
|
commitdiff
|
tree
|
snapshot
2016-05-30
pimjager
Working on slides for p4
commit
|
commitdiff
|
tree
|
snapshot
2016-05-29
Mart Lubbers
nu met en nu zonder
commit
|
commitdiff
|
tree
|
snapshot
2016-05-29
Mart Lubbers
printen en parsen voor de demo
commit
|
commitdiff
|
tree
|
snapshot
2016-05-29
Mart Lubbers
hoi
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
comments over wat te doen toegevoegd
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
stukje over incomplete functions
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
started with report
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
Merge branch 'master' of github.com:dopefishh/cc1516
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
starten met p4 presentatie
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
Fixed inference with typed functions
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
pim
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
Merge branch 'master' of github.com:dopefishh/cc1516
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
demo
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
lambdas without params, lambdas are now passed as vars...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
Fixed printing from lambdas
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
Working lambdas uitroepteken
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
merge master
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
faculty
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
Merge branch 'master' of github.com:dopefishh/cc1516
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
GEEN MERGE CONFLICT
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
Sem now prints Gamma
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
wowwww
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
hoi'
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
fold tempTest
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
Merge branch 'master' of github.com:dopefishh/cc1516
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
Lambda WIP
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
parsing lambdas
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
Fixed Markus example
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
Improved Let syntax and improvements to type system
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
Basic Let functionality
commit
|
commitdiff
|
tree
|
snapshot
2016-05-26
pimjager
testfiles
commit
|
commitdiff
|
tree
|
snapshot
2016-05-25
Mart Lubbers
test
commit
|
commitdiff
|
tree
|
snapshot
2016-05-25
Mart Lubbers
jo
commit
|
commitdiff
|
tree
|
snapshot
2016-05-25
Mart Lubbers
ding
commit
|
commitdiff
|
tree
|
snapshot
2016-05-25
Mart Lubbers
HIGHER ORDER FUNCTIONSgit add .git add .!
commit
|
commitdiff
|
tree
|
snapshot
2016-05-24
Mart Lubbers
add arity to ADDR
commit
|
commitdiff
|
tree
|
snapshot
2016-05-24
Mart Lubbers
ding'
commit
|
commitdiff
|
tree
|
snapshot
2016-05-24
Mart Lubbers
opslaan van higher order functions aangepast
commit
|
commitdiff
|
tree
|
snapshot
2016-05-24
Mart Lubbers
add function dictionary 1func
commit
|
commitdiff
|
tree
|
snapshot
2016-05-23
Mart Lubbers
fixed printing:)
commit
|
commitdiff
|
tree
|
snapshot
2016-05-23
pimjager
fixed read
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
test"
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
fix escapes in literal strings
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
add string literals
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
printBool
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
pimjager
print specialised
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
pimjager
blabla
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
ding
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
add last exception for functype
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
.
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
add constant functs
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
add funtype
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
ding
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
ding
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
pimjager
readchar in sem
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
pimjager
Woooo isEmpty
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
Merge branch 'master' of github.com:dopefishh/cc1516
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
add to default addressbook'
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
add print and read preamble
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
pimjager
Stomme puntjes
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
pimjager
mend
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
pimjager
Typechecking of fieldselectors
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
add fieldselectors to funExpr and funStmt
commit
|
commitdiff
|
tree
|
snapshot
2016-05-20
Mart Lubbers
codeGen fieldselectors
commit
|
commitdiff
|
tree
|
snapshot
2016-05-19
pimjager
Added default functions, isEmpty does not typecheck...
commit
|
commitdiff
|
tree
|
snapshot
2016-05-19
pimjager
Fixed annote
commit
|
commitdiff
|
tree
|
snapshot
2016-05-19
pimjager
annotations
commit
|
commitdiff
|
tree
|
snapshot
2016-05-19
pimjager
Function calls now clean up the arguments
commit
|
commitdiff
|
tree
|
snapshot
2016-05-19
pimjager
FunStmt and Stmts added
commit
|
commitdiff
|
tree
|
snapshot
2016-05-19
Mart Lubbers
return dingen en local vars werken
commit
|
commitdiff
|
tree
|
snapshot
2016-05-19
Mart Lubbers
function dingen werken
commit
|
commitdiff
|
tree
|
snapshot
2016-05-19
Mart Lubbers
Vardecl ftw`
commit
|
commitdiff
|
tree
|
snapshot
2016-05-13
Mart Lubbers
u
commit
|
commitdiff
|
tree
|
snapshot
2016-05-13
Mart Lubbers
Merge branch 'master' into gen
commit
|
commitdiff
|
tree
|
snapshot
next