Code

remove operation with doubles#6623

Code

Merged

levnach merged 36 commits intomasterZ3Prover/z3:masterfrom rm_lpZ3Prover/z3:rm_lpCopy head branch name to clipboardMar 8, 2023

+920-16,759

Commits

Commits on Mar 4, 2023

• before rm lu

  Show description for 885e93c
  levnach

  committed
  885e93c

• rm get_column_in_lu_mode

  levnach

  committed
  60a5c39

• rm lu

  Show description for 69c8043
  levnach

  committed
  69c8043

• rm lu

  Show description for 1e8bf76
  levnach

  committed
  1e8bf76

• rm_lp

  Show description for 1bbb359
  levnach

  committed
  1bbb359

• rm_lu

  levnach

  committed
  a2a1208

• rm lu

  levnach

  committed
  832b804

Commits on Mar 5, 2023

• rm lu

  Show description for 9c11283
  levnach

  committed
  9c11283

Commits on Mar 6, 2023

• rm lu

  Show description for 0a9516d
  levnach

  committed
  0a9516d

• rm lu

  levnach

  committed
  5c69cc6

• rm lu

  Show description for 15f41d7
  levnach

  committed
  15f41d7

• rm lu

  Show description for 6c78d25
  levnach

  committed
  6c78d25

• rm lu

  levnach

  committed
  1bf416d

• cleanup

  levnach

  committed
  0784243

• rm breakpoints

  levnach

  committed
  5379fb8

• rm dealing with doubles

  levnach

  committed
  547254a

• Revert "rm dealing with doubles"

  Show description for 4e948ce
  levnach

  committed
  4e948ce

• rm lu

  Show description for 1c2c108
  levnach

  committed
  1c2c108

• rm lu

  levnach

  committed
  5495b2b

• rm lu

  levnach

  committed
  e9b902e

• rm scaler

  levnach

  committed
  4dfc708

• rm square_sparse_matrix

  levnach

  committed
  a37fd87

• more cleanup

  levnach

  committed
  4e90cfe

• rm dead code

  levnach

  committed
  a9aa3f5

Commits on Mar 7, 2023

• rp precise

  levnach

  committed
  3c737b6

• remove many methods dealing with double

  Show description for 3b18c87
  levnach

  committed
  3b18c87

• rm lu related fields from lp_core_solver_base.h

  levnach

  committed
  3b6e2cc

• remove dead code

  Show description for 0aad503
  levnach

  committed
  0aad503

• more dead code removal

  levnach

  committed
  826c42c

• remove more dead code

  levnach

  committed
  81fd093

Commits on Mar 8, 2023

• more dead code

  levnach

  committed
  29f6525

• rm dead code

  levnach

  committed
  8c5b316

• more dead code

  levnach

  committed
  9d964fc

• fix lp_tst

  levnach

  committed
  78a3602

• more dead code

  levnach

  committed
  5577314

• replace lp_assert(false) with UNREACHABLE

  levnach

  committed
  d80ab99