Skip to content
Snippets Groups Projects
  1. May 01, 2021
  2. Apr 10, 2021
  3. Dec 07, 2020
    • Sven Verdoolaege's avatar
      remove_all_equalities: also remove parameter equalities after main compression · 7d127361
      Sven Verdoolaege authored
      
      Commit barvinok-0.25-14-ge52f4ac65c (remove_all_equalities: keep
      removing equalities until no new ones are created,
      Sat Oct 20 13:56:16 2007 +0200) ensured parameter equality constraints
      detected as a result of variable compression on the context
      got removed as well.
      Commit barvinok-0.26-20-g0d0f130c86 (remove_all_equalities: keep
      removing parameter equalities until none left,
      Wed Mar 12 15:38:39 2008 +0100) ensured those detected as a result
      of parameter compression on the main polyhedron got removed.
      However, the variable compression on the main polyhedron
      may also uncover equality constraints on the parameters.
      Remove those too.
      
      Reported-by: default avatarCorentin Ferry <corentin.ferry@irisa.fr>
      Signed-off-by: default avatarSven Verdoolaege <sven.verdoolaege@gmail.com>
      7d127361
    • Sven Verdoolaege's avatar
      remove_all_equalities: copy context whenever main polyhedron is updated · f22b2f8c
      Sven Verdoolaege authored
      
      The condition "Q != *P" is used in the calls to transform and
      remove_parameter_equalities to indicate that the input polyhedra
      should be freed when updated.
      Initially Q and D point to the original polyhedra, which should
      not be freed.  If the original Q gets replaced by a new polyhedron
      then D (if set) should point to a new polyhedron as well,
      otherwise the original polyhedron will get freed whenever
      the context gets updated.
      It is not clear whether this can happen in practice without
      also running into the issue fixed by the next commit,
      but it is definitely needed for the next commit.
      
      Signed-off-by: default avatarSven Verdoolaege <sven.verdoolaege@gmail.com>
      f22b2f8c
  4. Nov 19, 2020
  5. Nov 13, 2020
  6. Nov 01, 2020
  7. Sep 03, 2020
  8. Nov 13, 2019
  9. Sep 17, 2019
  10. Sep 13, 2019
  11. Aug 24, 2019
  12. Jul 09, 2019
  13. May 11, 2019
  14. Mar 28, 2019
  15. Mar 10, 2019
  16. Jan 26, 2019
  17. Sep 19, 2018
  18. Jul 31, 2018
  19. Jul 30, 2018
  20. Jul 17, 2018
  21. May 27, 2018
Loading