|
|
Some development versions of the Iris package are considered "pinned" because they are used by third-party artifacts, which we want to avoid breaking. Versions listed on this Wiki page (and their std++ dependency) are guaranteed not to be removed from the [Iris dev opam repository](https://gitlab.mpi-sws.org/iris/opam).
|
|
|
|
|
|
* dev.2017-11-14.0: RustBelt
|
|
|
* dev.2018-04-09.0: ReLoC
|
|
|
* dev.2019-09-19.3.aa7871c7: High-level benefits of low-level sandboxing
|
|
|
* dev.2020-03-21.0.ed3b52f9: Concurrent Search Structure Templates
|
|
|
* dev.2020-04-16.1.9b804e35: SeLoC
|
|
|
* dev.2020-04-07.7.64bed0ca: Cosmo, Fully Abstract from Static to Gradual
|
|
|
* dev.2020-07-04.0.e2639ac1: Hazel
|
|
|
* dev.2020-08-07.2.b2b558ac: CCDB
|
|
|
* dev.2020-10-04.0.a36f8a23: Tini |
|
|
\ No newline at end of file |