Fix atomic snapshot example (!15) · Merge requests · Iris / examples · GitLab

Snippets Groups Projects

"git-rts@gitlab.mpi-sws.org:iris/lambda-rust.git" did not exist on "69d173235ae7032bfb73aaeea30e4f2ec3bdb1bb"

Merged Rodolphe Lepigre requested to merge lepigre/examples:fix_proph into master 6 years ago

Update to the new prophecy variable interface (with lists).

Activity

Rodolphe Lepigre added 1 commit 6 years ago
added 1 commit

ea3efe2f - Fix atomic snapshot example

Compare with previous version
Ralf Jung @jung · 6 years ago

Owner

Please also update the opam file to the matching version of Iris.
Rodolphe Lepigre added 1 commit 6 years ago
added 1 commit

e70f486e - Fix atomic snapshot example

Compare with previous version
Rodolphe Lepigre @lepigre · 6 years ago

Author Maintainer

OK @jung, that's done.
Ralf Jung @jung · 6 years ago

Owner

Thanks!
Ralf Jung mentioned in commit 4b90e550 6 years ago

mentioned in commit 4b90e550
Ralf Jung merged 6 years ago

merged

Please register or sign in to reply