[Minotaur-dev] [minotaur-solver/minotaur] db17a1: fixed memory leak in maxvio brancher using glob

[Ashutosh Mahajan]

  Branch: refs/heads/master
  Home:   https://github.com/minotaur-solver/minotaur
  Commit: db17a1a2449a59478877e5256ae289bfa7449528
      https://github.com/minotaur-solver/minotaur/commit/db17a1a2449a59478877e5256ae289bfa7449528
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2021-07-14 (Wed, 14 Jul 2021)

  Changed paths:
    M src/base/MaxVioBrancher.cpp
    M src/base/QuadHandler.cpp

  Log Message:
  -----------
  fixed memory leak in maxvio brancher using glob


  Commit: 7c27fe2bb97cfc821f25b1b3d171a541f696702c
      https://github.com/minotaur-solver/minotaur/commit/7c27fe2bb97cfc821f25b1b3d171a541f696702c
  Author: Ashutosh Mahajan <amahajan at iitb.ac.in>
  Date:   2021-07-14 (Wed, 14 Jul 2021)

  Changed paths:
    M src/algorithms/Glob.cpp
    M src/base/SimpleTransformer.cpp
    M src/base/SimpleTransformer.h

  Log Message:
  -----------
  Merge branch 'master' of github:minotaur-solver/minotaur


Compare: https://github.com/minotaur-solver/minotaur/compare/acf94aca0d0f...7c27fe2bb97c