Repository navigation

Improve infeasibility detection - #112

Merged

ZedongPeng merged 17 commits into

MIT-Lu-Lab:mainfrom

ZedongPeng:improve_infeasibility_detection

Oct 26, 2026

Merged

Improve infeasibility detection#112
ZedongPeng merged 17 commits into
MIT-Lu-Lab:mainfrom
ZedongPeng:improve_infeasibility_detection

Commits on Sep 20, 2026
- improve infeasibility detection
  ZedongPeng
  committed
  b6e58db
Commits on Sep 21, 2026
- Add infeasible_objective_margin parameter
  ZedongPeng
  committed
  8a9c06a
- Evaluate the certificate ratio t2 in the units of the original problem
  ZedongPeng
  committed
  cc317e0
- change back scaled LP to t2
  ZedongPeng
  committed
  75bded1
- cleanup comments
  ZedongPeng
  committed
  d588582
- clean up comments
  ZedongPeng
  committed
  6a8e04b
- rename infeasible_obj_margin to infeasible_ray_objective_margin
  ZedongPeng
  committed
  64d5e5f
- remove reduce_check_temp_storage
  ZedongPeng
  committed
  868c303
- improve code readability
  ZedongPeng
  committed
  3089d5e
Commits on Sep 22, 2026
- Merge remote-tracking branch 'origin/main' into improve_infeasibility_detection
  ZedongPeng
  committed
  ebcf27a
- update clang-format config
  ZedongPeng
  committed
  dfc6638
Commits on Sep 23, 2026
- record the termination check into the CUDA graph
  ZedongPeng
  committed
  5436a15
- update build workflow
  ZedongPeng
  committed
  fa015e9
- create the CUDA context in a background thread
  ZedongPeng
  committed
  dfc8e17
Commits on Oct 26, 2026