program_logic/ectxi_language.v · 18d899e1a8f6b56614a0b622d3eb35943445fc9c · Simcha van Collem / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago
18d899e1
Generalize the Iris language to forking off multiple threads. · 18d899e1
Robbert Krebbers authored 8 years ago
```
This generalization is surprisingly easy in Iris 3.0, so I could not
resist not doing it :).
```
18d899e1

History
Generalize the Iris language to forking off multiple threads.
Robbert Krebbers authored 8 years ago
```
This generalization is surprisingly easy in Iris 3.0, so I could not
resist not doing it :).
```