repositories
/
cc1516.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
codeGen fieldselectors
2016-05-19
pimjager
Added default functions, isEmpty does not typecheck...
commit
|
commitdiff
|
tree
2016-05-19
pimjager
Fixed annote
commit
|
commitdiff
|
tree
2016-05-19
pimjager
annotations
commit
|
commitdiff
|
tree
2016-05-19
pimjager
Function calls now clean up the arguments
commit
|
commitdiff
|
tree
2016-05-19
pimjager
FunStmt and Stmts added
commit
|
commitdiff
|
tree
2016-05-09
pimjager
Work in progress code gen
commit
|
commitdiff
|
tree
2016-05-09
pimjager
Basic function calling and generation
commit
|
commitdiff
|
tree
2016-05-08
pimjager
codegen work in progress
commit
|
commitdiff
|
tree
2016-05-08
pimjager
codegen work in progress
commit
|
commitdiff
|
tree
2016-05-08
pimjager
CodeGen for statements, no variables yet
commit
|
commitdiff
|
tree
2016-05-08
pimjager
Start with gen for statements
commit
|
commitdiff
|
tree
2016-05-08
pimjager
Added generationf or expressions, how to deal with...
commit
|
commitdiff
|
tree
2016-05-08
pimjager
Added generation for op2
commit
|
commitdiff
|
tree
2016-05-08
pimjager
Added stream of fresh labels
commit
|
commitdiff
|
tree
2016-05-07
pimjager
Start of Gen monad
commit
|
commitdiff
|
tree
2016-05-06
pimjager
Added some comments on codegen
commit
|
commitdiff
|
tree
2016-05-06
pimjager
lala codegen
commit
|
commitdiff
|
tree
2016-05-06
pimjager
Added gen to makefile
commit
|
commitdiff
|
tree
2016-05-06
pimjager
start of code generation
commit
|
commitdiff
|
tree
2016-05-06
pimjager
Assignments are now typechecked
commit
|
commitdiff
|
tree
2016-05-06
pimjager
identity example now almost correctly typed
commit
|
commitdiff
|
tree
2016-05-06
pimjager
cleanup
commit
|
commitdiff
|
tree
2016-05-05
pimjager
Small improvements, some errors here and there
commit
|
commitdiff
|
tree
2016-05-05
pimjager
Type inference for functions works YAAAY
commit
|
commitdiff
|
tree
2016-05-05
pimjager
type instance for FunDecl
commit
|
commitdiff
|
tree
2016-05-02
pimjager
infer voor statements
commit
|
commitdiff
|
tree
2016-04-29
pimjager
Working on inference for statements
commit
|
commitdiff
|
tree
2016-04-29
pimjager
infer for FunExpr
commit
|
commitdiff
|
tree
2016-04-28
pimjager
Working on algorithm M
commit
|
commitdiff
|
tree
2016-04-28
pimjager
Started working on algorithm M
commit
|
commitdiff
|
tree
2016-04-28
pimjager
Added Typing Monad and instantiate
commit
|
commitdiff
|
tree
2016-04-28
pimjager
hi
commit
|
commitdiff
|
tree
2016-04-28
pimjager
Finished algorithm U
commit
|
commitdiff
|
tree
2016-04-28
pimjager
Start of algorithm U
commit
|
commitdiff
|
tree
2016-04-25
pimjager
infer voor expressions afgemaakt
commit
|
commitdiff
|
tree
2016-04-22
pimjager
Added op1Type function
commit
|
commitdiff
|
tree
2016-04-22
pimjager
Added op2type function
commit
|
commitdiff
|
tree
2016-04-22
pimjager
Merge branch 'generation'
commit
|
commitdiff
|
tree
2016-04-22
pimjager
ontwerpbesluiten aagepast
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Presentationf inished
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Presentation
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-14
pimjager
working on presentation
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-14
pimjager
Presentation
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Ontwerpbesluit toegevoegd dat functies pas na decla...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Added examples from markus
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Checking assignments
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Function parameters
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Lalalala statements
commit
|
commitdiff
|
tree
2016-04-13
pimjager
small cleanup
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Working on statement checking
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Added function type inference
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Working on statements
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
CheckIf statements
commit
|
commitdiff
|
tree
2016-04-13
pimjager
All expression can now be typed.
commit
|
commitdiff
|
tree
2016-04-13
pimjager
working on tuping function application
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Undeclared error en untested function typing
commit
|
commitdiff
|
tree
2016-04-13
pimjager
WOOPWOOP expressies typen, behalve func
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Working on lists
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
lala working on lists
commit
|
commitdiff
|
tree
2016-04-13
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-13
pimjager
bla working on lists
commit
|
commitdiff
|
tree
2016-04-13
pimjager
polymorf emptylist
commit
|
commitdiff
|
tree
2016-04-12
pimjager
Added some expression typechecking
commit
|
commitdiff
|
tree
2016-04-12
pimjager
Merge branch 'EnvMonad'
commit
|
commitdiff
|
tree
2016-04-12
pimjager
MonadTransformers work
commit
|
commitdiff
|
tree
2016-04-12
pimjager
Working Monad transformer except for Clean not finding...
commit
|
commitdiff
|
tree
2016-04-12
pimjager
Meer falende monads
commit
|
commitdiff
|
tree
2016-04-12
pimjager
Broken monads
commit
|
commitdiff
|
tree
2016-04-12
pimjager
op2
commit
|
commitdiff
|
tree
2016-04-07
pimjager
Sem
commit
|
commitdiff
|
tree
2016-04-07
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-04-07
pimjager
Ontwerpbesluitendocumentje toegevoegd
commit
|
commitdiff
|
tree
2016-04-07
pimjager
grammatica aangepast aan leipe nieuwe functietypes
commit
|
commitdiff
|
tree
2016-04-07
pimjager
Parser aangepast naar leipe arrowtypes zonder arity
commit
|
commitdiff
|
tree
2016-03-17
pimjager
Added some stuff to slides
commit
|
commitdiff
|
tree
2016-03-16
pimjager
Wierd -> Weird
commit
|
commitdiff
|
tree
2016-03-14
pimjager
werkverdeling presentatie toegevoegd
commit
|
commitdiff
|
tree
2016-03-11
pimjager
Added position info to the AST for function declarations...
commit
|
commitdiff
|
tree
2016-03-11
pimjager
Rewrote some LiftM's to <$> and <*> for clarity
commit
|
commitdiff
|
tree
2016-03-03
pimjager
fixed mac envs
commit
|
commitdiff
|
tree
2016-03-01
pimjager
<?> now accepts complete Errors
commit
|
commitdiff
|
tree
2016-03-01
pimjager
Comments kunnen nu eindigen met een EOF ipv newline
commit
|
commitdiff
|
tree
2016-03-01
pimjager
Comments nu mogelijk
commit
|
commitdiff
|
tree
2016-03-01
pimjager
Added until operator
commit
|
commitdiff
|
tree
2016-02-29
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-02-29
pimjager
Added eof parser
commit
|
commitdiff
|
tree
2016-02-29
pimjager
peek en check Parsers toegevoegd
commit
|
commitdiff
|
tree
2016-02-29
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-02-29
pimjager
Errors nog steeds niet goede token :(
commit
|
commitdiff
|
tree
2016-02-29
pimjager
Merge branch 'master' of https://github.com/dopefishh...
commit
|
commitdiff
|
tree
2016-02-29
pimjager
fixed example
commit
|
commitdiff
|
tree
next