-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathCHANGELOG
43 lines (31 loc) · 1.02 KB
/
CHANGELOG
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
@page RN12 Release notes for VIPR 1.2
Features:
-----------
Build system
------------
Fixed bugs
-----------
- allow comments at end of line in viprchk
- allow empty and pure comment lines in viprcomp
- add lazy canonicalization to fix unsuccessful domination checks
- remove compactification marker as source of unsuccessful domination checks
Miscellaneous
-----------
- improve log outputs if checking the certificate fails by adding the constraint names
- rewrite sparse vector comparison to reduce calls to compactify()
@page RN11 Release notes for VIPR 1.1
Features:
-----------
- handling of incomplete derivations (see Certificate Version 1.1)
Build system
------------
Fixed bugs
-----------
- all constraints are now considered for checking the feasibility of solutions
- improved error messages
Data structures
-----------
@page RN10 Release notes for VIPR 1.0
Features:
-----------
- verify the correctness of results computed by mixed-integer linear programming solvers by verifying the certificates in VIPR 1.0 format