port to savedPred (!6) · Merge requests · FP / iris-atomic · GitLab

Ralf Jung requested to merge ralf/saved_pred into master Nov 21, 2017

Depends on https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/86

Edited Nov 22, 2017 by Ralf Jung