Copying (!9) · Merge requests · Iris / Actris · GitLab

Snippets Groups Projects

Merged Daniël Louwrink requested to merge copying into master 4 years ago

All threads resolved!

Activity

Daniël Louwrink added 7 commits 4 years ago
added 7 commits

3ba684d7...2ae69856 - 6 commits from branch master

341e5c42 - Merge branch 'master' into copying

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

d00095e5 - copying rule for recursive types

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

eced4fb8 - extract minimal coreP example

Compare with previous version
Robbert Krebbers @robbertkrebbers started a thread on the diff 4 years ago

Resolved 4 years ago by Daniël Louwrink
Last reply by Robbert Krebbers 4 years ago

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

Resolved 4 years ago by Daniël Louwrink

Daniël Louwrink added 1 commit 4 years ago

added 1 commit

fe271b0a - add/clean up some TODOs for copying

Compare with previous version

Daniël Louwrink resolved all threads 4 years ago

resolved all threads

Jonas Kastberg mentioned in commit 4 years ago

mentioned in commit 76e4661d

Jonas Kastberg merged 4 years ago

merged

Please register or sign in to reply