Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!139
when the goal is an evar, pick emp when possible
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
ralf/emp-intro
into
gen_proofmode
Apr 20, 2018
Overview
2
Commits
1
Pipelines
0
Changes
2
Expand
Fixes
#182 (closed)
Cc
@robbertkrebbers
Merge request reports