n-ary choice (!5) · Merge requests · Iris / Actris · GitLab

Snippets Groups Projects

You need to sign in or sign up before continuing.

Merged Jonas Kastberg requested to merge jonas/n_choice into master 5 years ago

All threads resolved!

Closes #3 (closed)

Edited 5 years ago by Jonas Kastberg

Activity

Jonas Kastberg added 2 commits 5 years ago
added 2 commits

cfb8753a - Removed old notation

a63ac1a3 - Proved Select rule and omitted branch rule for now

Compare with previous version
Jonas Kastberg added 1 commit 5 years ago
added 1 commit

4d4473bb - Added subtyping rules for n-choice

Compare with previous version
Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Jonas Kastberg
Last reply by Robbert Krebbers 5 years ago

Robbert Krebbers @robbertkrebbers started a thread on the diff 5 years ago

Resolved 5 years ago by Robbert Krebbers

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Jonas Kastberg

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Jonas Kastberg

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Jonas Kastberg

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Jonas Kastberg

Jonas Kastberg added 1 commit 5 years ago

added 1 commit

77ed7efd - Nits

Compare with previous version

Jonas Kastberg added 1 commit 5 years ago

added 1 commit

d9b75c69 - Updated typing rule for chanfst

Compare with previous version

Jonas Kastberg added 1 commit 5 years ago

added 1 commit

97057343 - Updated subtyping rules for select/branch insertion

Compare with previous version

Jonas Kastberg resolved all threads 5 years ago

resolved all threads

Jonas Kastberg added 14 commits 5 years ago

added 14 commits

97057343...acd848fe - 6 commits from branch master
c1bfaa60 - Updated choice type to be n-ary
0573ded5 - Removed old notation
74375ad6 - Proved Select rule and omitted branch rule for now
bcadc11d - Added subtyping rules for n-choice
b3fa3a31 - Nits
4cbf8bb5 - Updated typing rule for chanfst
2c1e72c3 - Updated subtyping rules for select/branch insertion
20ce8454 - Nits

Compare with previous version

Toggle commit list

Jonas Kastberg added 1 commit 5 years ago

added 1 commit

3706934d - WIP Branch proof

Compare with previous version

Jonas Kastberg added 1 commit 5 years ago

added 1 commit

79d97abe - Refactoring

Compare with previous version

Jonas Kastberg added 1 commit 5 years ago

added 1 commit

3bdda266 - Closed proof of branch.

Compare with previous version

Jonas Kastberg added 1 commit 5 years ago

added 1 commit

4e4f66b1 - More cleanup

Compare with previous version

Jonas Kastberg unmarked as a Work In Progress 5 years ago

unmarked as a Work In Progress

Robbert Krebbers added 1 commit 5 years ago

added 1 commit

a06b9498 - Misc cleanup.

Compare with previous version

Jonas Kastberg mentioned in commit 5 years ago

mentioned in commit 8a7a8f7c

Jonas Kastberg merged 5 years ago

merged

Please register or sign in to reply