ACT Backend Tests (float32)

Workflow runs for ACT Backend Tests (float32)

• Do not promote argmin VNNLIB properties to top-1 robustness;

  completed successfully:
  ACT Backend Tests (float32)#558:Pull request#122openedbyguanqin-123
  guanqin-123:vnnlib-argmin-fix

  Oct 24, 20269m 53s
  More actions for workflow run 558

• Merge pull request #121 from hanyuone/main

  completed successfully:
  ACT Backend Tests (float32)#557:Commita4b19aapushedbyyuleisui
  main

  Oct 24, 202611m 38s
  More actions for workflow run 557

• FIX: add libopenblas requirement for Mac OS X

  completed successfully:
  ACT Backend Tests (float32)#556:Pull request#121openedbyhanyuone
  hanyuone:main

  Oct 24, 202611m 12s
  More actions for workflow run 556

• Merge pull request #120 from hanyuone/main

  completed successfully:
  ACT Backend Tests (float32)#555:Commit1b35e1fpushedbyyuleisui
  main

  Oct 24, 202612m 34s
  More actions for workflow run 555

• FEATURE: remove onnx-simplifier, use conda-pypi

  completed successfully:
  ACT Backend Tests (float32)#554:Pull request#120synchronizebyhanyuone
  hanyuone:main

  Oct 24, 202610m 1s
  More actions for workflow run 554

• FEATURE: remove onnx-simplifier, use conda-pypi

  completed successfully:
  ACT Backend Tests (float32)#553:Pull request#120reopenedbyhanyuone
  hanyuone:main

  Oct 24, 20268m 19s
  More actions for workflow run 553

• FEATURE: remove onnx-simplifier, use conda-pypi

  completed successfully:
  ACT Backend Tests (float32)#552:Pull request#120openedbyhanyuone
  hanyuone:main

  Oct 24, 202612m 3s
  More actions for workflow run 552

• Merge pull request #119 from guanqin-123/TensorCE

  completed successfully:
  ACT Backend Tests (float32)#551:Commitc55892epushedbyyuleisui
  main

  Oct 23, 202612m 26s
  More actions for workflow run 551

• BaB restructuring, CLIMB certificate reuse and CI invariants (part 3/3 of #115)

  completed successfully:
  ACT Backend Tests (float32)#550:Pull request#119synchronizebyguanqin-123
  guanqin-123:TensorCE

  Oct 23, 202613m 4s
  More actions for workflow run 550

• BaB restructuring, CLIMB certificate reuse and CI invariants (part 3/3 of #115)

  completed successfully:
  ACT Backend Tests (float32)#549:Pull request#119synchronizebyguanqin-123
  guanqin-123:TensorCE

  Oct 22, 202613m 23s
  More actions for workflow run 549

• Merge pull request #117 from hanyuone/fix/outkind-enum

  completed successfully:
  ACT Backend Tests (float32)#548:Commitcb9fa6dpushedbyyuleisui
  main

  Oct 19, 202612m 32s
  More actions for workflow run 548

• fix(front_end): make OutKind an enum

  completed successfully:
  ACT Backend Tests (float32)#547:Pull request#117synchronizebyhanyuone
  hanyuone:fix/outkind-enum

  Oct 19, 202612m 36s
  More actions for workflow run 547

• BaB restructuring, CLIMB certificate reuse and CI invariants (part 3/3 of #115)

  completed successfully:
  ACT Backend Tests (float32)#546:Pull request#119synchronizebyguanqin-123
  guanqin-123:TensorCE

  Oct 14, 202613m 4s
  More actions for workflow run 546

• BaB restructuring, CLIMB certificate reuse and CI invariants (part 3/3 of #115)

  completed successfully:
  ACT Backend Tests (float32)#545:Pull request#119openedbyguanqin-123
  guanqin-123:TensorCE

  Oct 14, 202611m 39s
  More actions for workflow run 545

• Merge pull request #118 from guanqin-123/part2

  completed successfully:
  ACT Backend Tests (float32)#544:Commit64ce70apushedbyyuleisui
  main

  Oct 14, 202612m 15s
  More actions for workflow run 544

• Sound dual bounds for large conv nets (part 2/3 of #115)

  completed successfully:
  ACT Backend Tests (float32)#543:Pull request#118openedbyguanqin-123
  guanqin-123:part2

  Oct 14, 202612m 34s
  More actions for workflow run 543

• Merge pull request #116 from guanqin-123/part1

  completed successfully:
  ACT Backend Tests (float32)#542:Commit4aeceaapushedbyyuleisui
  main

  Oct 13, 202612m 48s
  More actions for workflow run 542

• fix(front_end): make OutKind an enum

  completed successfully:
  ACT Backend Tests (float32)#541:Pull request#117openedbyhanyuone
  hanyuone:fix/outkind-enum

  Oct 13, 202612m 23s
  More actions for workflow run 541

• Fail loudly on errors; fix Torch->ACT conversion; remove legacy code (part 1/3 of #115)

  completed successfully:
  ACT Backend Tests (float32)#540:Pull request#116openedbyguanqin-123
  guanqin-123:part1

  Oct 12, 202613m 2s
  More actions for workflow run 540

• BranchCore work

  completed successfully:
  ACT Backend Tests (float32)#539:Pull request#115synchronizebyguanqin-123
  guanqin-123:TensorCE

  Oct 12, 202612m 25s
  More actions for workflow run 539

• BranchCore work

  completed successfully:
  ACT Backend Tests (float32)#538:Pull request#115synchronizebyguanqin-123
  guanqin-123:TensorCE

  Oct 12, 202612m 45s
  More actions for workflow run 538

• BranchCore work

  completed successfully:
  ACT Backend Tests (float32)#537:Pull request#115synchronizebyguanqin-123
  guanqin-123:TensorCE

  Oct 12, 202612m 14s
  More actions for workflow run 537

• BranchCore work

  completed successfully:
  ACT Backend Tests (float32)#536:Pull request#115synchronizebyguanqin-123
  guanqin-123:TensorCE

  Oct 12, 202612m 57s
  More actions for workflow run 536

• BranchCore work

  completed successfully:
  ACT Backend Tests (float32)#535:Pull request#115synchronizebyguanqin-123
  guanqin-123:TensorCE

  Sep 25, 202612m 15s
  More actions for workflow run 535

• BranchCore work

  completed successfully:
  ACT Backend Tests (float32)#534:Pull request#115synchronizebyguanqin-123
  guanqin-123:TensorCE

  Sep 25, 202612m 19s
  More actions for workflow run 534