Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

Build wheels

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cibuildwheel.yml
469 workflow runs
469 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not elimintae variables with unsatistiable bounds Build wheels #574: Pull request #862 synchronize by R-Peleg
February 16, 2025 06:41 Action required R-Peleg:unsat_variable_elimination
R-Peleg:unsat_variable_elimination
February 16, 2025 06:41 Action required
Backward forward algorithm 2 Build wheels #573: Pull request #865 opened by ido-shm-uel
February 15, 2025 17:49 55m 4s ido-shm-uel:Backward-Forward-Algorithm
ido-shm-uel:Backward-Forward-Algorithm
February 15, 2025 17:49 55m 4s
Small fix for bug in SumOfInfeasibilitiesManager::proposePhasePatternUpdateRandomly() Build wheels #572: Pull request #864 opened by idan0610
February 15, 2025 07:32 54m 56s idan0610:fix_soi_proposal_bug
idan0610:fix_soi_proposal_bug
February 15, 2025 07:32 54m 56s
Revert "Backward forward algorithm" Build wheels #571: Pull request #863 opened by wu-haoze
February 13, 2025 15:45 54m 46s revert-845-Backward-Forward-Algorithm
revert-845-Backward-Forward-Algorithm
February 13, 2025 15:45 54m 46s
Backward forward algorithm Build wheels #570: Pull request #845 synchronize by wu-haoze
February 13, 2025 15:13 55m 56s ido-shm-uel:Backward-Forward-Algorithm
ido-shm-uel:Backward-Forward-Algorithm
February 13, 2025 15:13 55m 56s
Backward forward algorithm (#845) Build wheels #569: Commit 90f5271 pushed by wu-haoze
February 13, 2025 15:13 6h 0m 25s master
master
February 13, 2025 15:13 6h 0m 25s
Fix a memory leak by introducing destructor for InputQueryBuilder Build wheels #568: Pull request #860 synchronize by R-Peleg
February 12, 2025 06:48 55m 35s R-Peleg:fix_memory_leak_input_query_builder
R-Peleg:fix_memory_leak_input_query_builder
February 12, 2025 06:48 55m 35s
Do not elimintae variables with unsatistiable bounds Build wheels #567: Pull request #862 opened by R-Peleg
February 12, 2025 06:46 6h 0m 25s R-Peleg:unsat_variable_elimination
R-Peleg:unsat_variable_elimination
February 12, 2025 06:46 6h 0m 25s
Implement BaBSR Branching Heuristic as a new Branching Strategy (#851) Build wheels #566: Commit 6c268f1 pushed by wu-haoze
February 11, 2025 20:42 6h 0m 30s master
master
February 11, 2025 20:42 6h 0m 30s
Implement BaBSR Branching Heuristic as a new Branching Strategy Build wheels #565: Pull request #851 synchronize by wu-haoze
February 11, 2025 13:58 54m 30s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
February 11, 2025 13:58 54m 30s
Try to fix dangling reference flagged by CI (#857) Build wheels #564: Commit 81d71a2 pushed by wu-haoze
February 11, 2025 13:56 55m 22s master
master
February 11, 2025 13:56 55m 22s
Try to fix dangling reference flagged by CI Build wheels #563: Pull request #857 synchronize by wu-haoze
February 10, 2025 22:29 55m 30s dangling-reference
dangling-reference
February 10, 2025 22:29 55m 30s
Try to fix dangling reference flagged by CI Build wheels #562: Pull request #857 synchronize by wu-haoze
February 10, 2025 21:11 6h 0m 23s dangling-reference
dangling-reference
February 10, 2025 21:11 6h 0m 23s
Build wheels Build wheels #561: Scheduled
February 10, 2025 07:02 6h 0m 25s master
master
February 10, 2025 07:02 6h 0m 25s
Backward Analysis using Preimage Approximation Build wheels #557: Pull request #861 synchronize by ido-shm-uel
February 6, 2025 17:33 Action required ido-shm-uel:Preimage-Approximation
ido-shm-uel:Preimage-Approximation
February 6, 2025 17:33 Action required
Backward Analysis using Preimage Approximation Build wheels #556: Pull request #861 synchronize by ido-shm-uel
February 6, 2025 17:28 Action required ido-shm-uel:Preimage-Approximation
ido-shm-uel:Preimage-Approximation
February 6, 2025 17:28 Action required
Backward Analysis using Preimage Approximation Build wheels #555: Pull request #861 opened by ido-shm-uel
February 6, 2025 17:08 Action required ido-shm-uel:Preimage-Approximation
ido-shm-uel:Preimage-Approximation
February 6, 2025 17:08 Action required
Fix a memory leak by introducing destructor for InputQueryBuilder Build wheels #554: Pull request #860 synchronize by R-Peleg
February 6, 2025 11:19 6h 0m 26s R-Peleg:fix_memory_leak_input_query_builder
R-Peleg:fix_memory_leak_input_query_builder
February 6, 2025 11:19 6h 0m 26s
Fix a memory leak by introducing destructor for InputQueryBuilder Build wheels #553: Pull request #860 opened by R-Peleg
February 5, 2025 06:39 6h 0m 26s R-Peleg:fix_memory_leak_input_query_builder
R-Peleg:fix_memory_leak_input_query_builder
February 5, 2025 06:39 6h 0m 26s
Build wheels Build wheels #552: Scheduled
February 3, 2025 07:02 6h 0m 24s master
master
February 3, 2025 07:02 6h 0m 24s
Fixed bug in node in command-line ONNX parser (#858) Build wheels #551: Commit 391e7ec pushed by MatthewDaggitt
January 28, 2025 03:28 6h 0m 25s master
master
January 28, 2025 03:28 6h 0m 25s
Build wheels Build wheels #550: Scheduled
January 27, 2025 07:02 6h 0m 25s master
master
January 27, 2025 07:02 6h 0m 25s
Fixed bug in node in command-line ONNX parser Build wheels #549: Pull request #858 synchronize by MatthewDaggitt
January 24, 2025 08:29 6h 0m 28s tensor-assertion-error
tensor-assertion-error
January 24, 2025 08:29 6h 0m 28s
Fixed bug in node in command-line ONNX parser Build wheels #548: Pull request #858 opened by MatthewDaggitt
January 24, 2025 08:13 6h 0m 26s tensor-assertion-error
tensor-assertion-error
January 24, 2025 08:13 6h 0m 26s
Try to fix dangling reference flagged by CI Build wheels #547: Pull request #857 opened by MatthewDaggitt
January 24, 2025 06:08 55m 25s dangling-reference
dangling-reference
January 24, 2025 06:08 55m 25s