| commit | 5e9f71288aeca0f1da2edd425251070f60aaa95e | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 4 Aug 2024 09:48:20 +0000 (4 11:48 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Sun, 4 Aug 2024 16:23:27 +0000 (4 18:23 +0200) | ||
| tree | c070eebbb5dc5a62b605a5d0f94efe072e23ddcf | treesnapshot (tar.gz zip) |
| parent | 2c0799989d8542cadcae8d34873c7ecb0da84b69 | commitdiff |
summate.c: sum_base: check equality constraints in Param_Polyhedron
As in previous commits, the construction of the Param_Polyhedron
may itself expose equality constraints.
Note that there is no strict need to call Param_Polyhedron2Polyhedron here
since the Param_Polyhedron will be freed anyway.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
As in previous commits, the construction of the Param_Polyhedron
may itself expose equality constraints.
Note that there is no strict need to call Param_Polyhedron2Polyhedron here
since the Param_Polyhedron will be freed anyway.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| summate.c | diffblobblamehistory |