Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!26
split completion from COFEs and only require it for the solver
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ralf Jung
requested to merge
ofe
into
master
Nov 21, 2016
Overview
1
Commits
1
Pipelines
0
Changes
24
Expand
This is the OFE part of
!22 (merged)
Cc
@robbertkrebbers
@jjourdan
Merge request reports