Derived rules about copying (!14) · Merge requests · Iris / Actris · GitLab

Snippets Groups Projects

Merged Daniël Louwrink requested to merge daniel/copy_derived_rules into master 4 years ago

Activity

Daniël Louwrink marked as a Work In Progress 4 years ago

marked as a Work In Progress
Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

Looks good so far. Note that the bounded subtyping was removed in master; so you probably want to rebase.
Daniël Louwrink added 17 commits 4 years ago
added 17 commits

6c0105f1...623b6232 - 14 commits from branch master

3e4cd9db - add some derived copyability rules

37d074ba - Add Löb TODO

7a62e511 - remove bounded quantification

Compare with previous version
Toggle commit list
Daniël Louwrink added 1 commit 4 years ago
added 1 commit

bd1c7b9e - remove value restriction TODO

Compare with previous version
Daniël Louwrink unmarked as a Work In Progress 4 years ago

unmarked as a Work In Progress
Jonas Kastberg added 17 commits 4 years ago
added 17 commits

bd1c7b9e...860d808b - 13 commits from branch master

91af156d - add some derived copyability rules

cfd71586 - Add Löb TODO

d809751b - remove bounded quantification

c52fd7fa - remove value restriction TODO

Compare with previous version
Toggle commit list
Jonas Kastberg mentioned in commit 0b9a055c 4 years ago

mentioned in commit 0b9a055c
Jonas Kastberg merged 4 years ago

merged

Please register or sign in to reply