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

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/saved_pred into master 7 years ago

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

Edited 7 years ago by Ralf Jung

Activity

Ralf Jung changed the description 7 years ago

changed the description
Ralf Jung added 1 commit 7 years ago
added 1 commit

cb8a3ba6 - port to savedPred

Compare with previous version
Ralf Jung unmarked as a Work In Progress 7 years ago

unmarked as a Work In Progress
Ralf Jung mentioned in commit e7f8a91e 7 years ago

mentioned in commit e7f8a91e
Ralf Jung merged 7 years ago

merged

Please register or sign in to reply