Skip to content
GitLab
Explore
Sign in
Iris
examples
Merge requests
!10
WIP: fix for stronger CAS requirements
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
ralf/cas
into
ci/gen_proofmode
Jul 01, 2018
Overview
1
Commits
1
Pipelines
0
Changes
3
Expand
Depends on
https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/167
Fixes
#7 (closed)
,
#8 (closed)
Edited
Jul 01, 2018
by
Ralf Jung
Merge request reports