CKA stuff (!3) · Merge requests · Iris / ReLoC · GitLab

Snippets Groups Projects

Merged Dan Frumin requested to merge cka_stuff into master 4 years ago

Activity

Dan Frumin added 53 commits 4 years ago
added 53 commits

d8c3c861...da7951b4 - 50 commits from branch master

2eff06ee - give expression scope to some example refinements

90b387b8 - Playing around with PAR

edb0c425 - Merge branch 'cka_stuff' of gitlab.mpi-sws.org:iris/reloc into cka_stuff

Compare with previous version
Toggle commit list
Dan Frumin added 2 commits 4 years ago
added 2 commits

ed9b2ba3 - WIP cka.v

adb7f80c - WIP closedness of typed programs

Compare with previous version
Dan Frumin marked as a Work In Progress from ed9b2ba3 4 years ago

marked as a Work In Progress from ed9b2ba3
Dan Frumin added 1 commit 4 years ago
added 1 commit

aa5cdd7c - Finish the closedness theorem.

Compare with previous version
Dan Frumin unmarked as a Work In Progress 4 years ago

unmarked as a Work In Progress
Dan Frumin merged 4 years ago

merged

Please register or sign in to reply