We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f9e8a54 commit 38e79cdCopy full SHA for 38e79cd
CHANGELOG
@@ -10,11 +10,12 @@ Fixed bugs
10
-----------
11
- allow comments at end of line in viprchk
12
- allow empty and pure comment lines in viprcomp
13
+- add lazy canonicalization to fix unsuccessful domination checks
14
+- remove compactification marker as source of unsuccessful domination checks
15
16
Miscellaneous
17
18
- improve log outputs if checking the certificate fails by adding the constraint names
-- remove compactification marker as a potential source of unsuccessful domination checks
19
- rewrite sparse vector comparison to reduce calls to compactify()
20
21
@page RN11 Release notes for VIPR 1.1
0 commit comments