Code

Remove non feasible costs#6653

Code

Merged

levnach merged 39 commits intomasterZ3Prover/z3:masterfrom remove_non_feasible_costsZ3Prover/z3:remove_non_feasible_costsCopy head branch name to clipboardMar 28, 2023

+21-299

Commits

Commits on Mar 4, 2023

• before rm lu

  Show description for 885e93c
  levnach

  committed
  885e93c

  Copy full SHA for 885e93c

• rm get_column_in_lu_mode

  levnach

  committed
  60a5c39

  Copy full SHA for 60a5c39

• rm lu

  Show description for 69c8043
  levnach

  committed
  69c8043

  Copy full SHA for 69c8043

• rm lu

  Show description for 1e8bf76
  levnach

  committed
  1e8bf76

  Copy full SHA for 1e8bf76

• rm_lp

  Show description for 1bbb359
  levnach

  committed
  1bbb359

  Copy full SHA for 1bbb359

• rm_lu

  levnach

  committed
  a2a1208

  Copy full SHA for a2a1208

• rm lu

  levnach

  committed
  832b804

  Copy full SHA for 832b804

Commits on Mar 5, 2023

• rm lu

  Show description for 9c11283
  levnach

  committed
  9c11283

  Copy full SHA for 9c11283

Commits on Mar 6, 2023

• rm lu

  Show description for 0a9516d
  levnach

  committed
  0a9516d

  Copy full SHA for 0a9516d

• rm lu

  levnach

  committed
  5c69cc6

  Copy full SHA for 5c69cc6

• rm lu

  Show description for 15f41d7
  levnach

  committed
  15f41d7

  Copy full SHA for 15f41d7

• rm lu

  Show description for 6c78d25
  levnach

  committed
  6c78d25

  Copy full SHA for 6c78d25

• rm lu

  levnach

  committed
  1bf416d

  Copy full SHA for 1bf416d

• cleanup

  levnach

  committed
  0784243

  Copy full SHA for 0784243

• rm breakpoints

  levnach

  committed
  5379fb8

  Copy full SHA for 5379fb8

• rm dealing with doubles

  levnach

  committed
  547254a

  Copy full SHA for 547254a

• Revert "rm dealing with doubles"

  Show description for 4e948ce
  levnach

  committed
  4e948ce

  Copy full SHA for 4e948ce

• rm lu

  Show description for 1c2c108
  levnach

  committed
  1c2c108

  Copy full SHA for 1c2c108

• rm lu

  levnach

  committed
  5495b2b

  Copy full SHA for 5495b2b

• rm lu

  levnach

  committed
  e9b902e

  Copy full SHA for e9b902e

• rm scaler

  levnach

  committed
  4dfc708

  Copy full SHA for 4dfc708

• rm square_sparse_matrix

  levnach

  committed
  a37fd87

  Copy full SHA for a37fd87

• more cleanup

  levnach

  committed
  4e90cfe

  Copy full SHA for 4e90cfe

• rm dead code

  levnach

  committed
  a9aa3f5

  Copy full SHA for a9aa3f5

Commits on Mar 7, 2023

• rp precise

  levnach

  committed
  3c737b6

  Copy full SHA for 3c737b6

• remove many methods dealing with double

  Show description for 3b18c87
  levnach

  committed
  3b18c87

  Copy full SHA for 3b18c87

• rm lu related fields from lp_core_solver_base.h

  levnach

  committed
  3b6e2cc

  Copy full SHA for 3b6e2cc

• remove dead code

  Show description for 0aad503
  levnach

  committed
  0aad503

  Copy full SHA for 0aad503

• more dead code removal

  levnach

  committed
  826c42c

  Copy full SHA for 826c42c

• remove more dead code

  levnach

  committed
  81fd093

  Copy full SHA for 81fd093

Commits on Mar 8, 2023

• more dead code

  levnach

  committed
  29f6525

  Copy full SHA for 29f6525

• rm dead code

  levnach

  committed
  8c5b316

  Copy full SHA for 8c5b316

• more dead code

  levnach

  committed
  9d964fc

  Copy full SHA for 9d964fc

• fix lp_tst

  levnach

  committed
  78a3602

  Copy full SHA for 78a3602

• more dead code

  levnach

  committed
  5577314

  Copy full SHA for 5577314

• replace lp_assert(false) with UNREACHABLE

  levnach

  committed
  d80ab99

  Copy full SHA for d80ab99

Commits on Mar 28, 2023

• rm non feas costs

  Show description for fd32808
  levnach

  committed
  fd32808

  Copy full SHA for fd32808

• Merge branch 'master' into remove_non_feasible_costs

  levnach

  authored
  5254562

  Copy full SHA for 5254562

• fix the build

  Show description for 1c8c47f
  levnach

  committed
  1c8c47f

  Copy full SHA for 1c8c47f