Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,207 workflow runs
1,207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small fix for bug in SumOfInfeasibilitiesManager::proposePhasePatternUpdateRandomly() clang-format Check #281: Pull request #864 opened by idan0610
February 15, 2025 07:32 2m 15s idan0610:fix_soi_proposal_bug
idan0610:fix_soi_proposal_bug
February 15, 2025 07:32 2m 15s
Small fix for bug in SumOfInfeasibilitiesManager::proposePhasePatternUpdateRandomly() CI #1232: Pull request #864 opened by idan0610
February 15, 2025 07:32 11m 48s idan0610:fix_soi_proposal_bug
idan0610:fix_soi_proposal_bug
February 15, 2025 07:32 11m 48s
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" CI #1231: Pull request #863 opened by wu-haoze
February 13, 2025 15:45 25m 19s revert-845-Backward-Forward-Algorithm
revert-845-Backward-Forward-Algorithm
February 13, 2025 15:45 25m 19s
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
Revert "Backward forward algorithm" clang-format Check #280: Pull request #863 opened by wu-haoze
February 13, 2025 15:45 2m 15s revert-845-Backward-Forward-Algorithm
revert-845-Backward-Forward-Algorithm
February 13, 2025 15:45 2m 15s
Revert "Backward forward algorithm (#845)" clang-format Check #279: Commit e0ba0a7 pushed by wu-haoze
February 13, 2025 15:45 2m 23s revert-845-Backward-Forward-Algorithm
revert-845-Backward-Forward-Algorithm
February 13, 2025 15:45 2m 23s
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 clang-format Check #278: Pull request #845 synchronize by wu-haoze
February 13, 2025 15:13 2m 30s ido-shm-uel:Backward-Forward-Algorithm
ido-shm-uel:Backward-Forward-Algorithm
February 13, 2025 15:13 2m 30s
Backward forward algorithm CI #1230: Pull request #845 synchronize by wu-haoze
February 13, 2025 15:13 12m 15s ido-shm-uel:Backward-Forward-Algorithm
ido-shm-uel:Backward-Forward-Algorithm
February 13, 2025 15:13 12m 15s
Backward forward algorithm (#845) clang-format Check #277: Commit 90f5271 pushed by wu-haoze
February 13, 2025 15:13 2m 24s master
master
February 13, 2025 15:13 2m 24s
Backward forward algorithm (#845) CI #1229: Commit 90f5271 pushed by wu-haoze
February 13, 2025 15:13 11m 57s master
master
February 13, 2025 15:13 11m 57s
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 CI #1228: Pull request #860 synchronize by R-Peleg
February 12, 2025 06:48 23m 31s R-Peleg:fix_memory_leak_input_query_builder
R-Peleg:fix_memory_leak_input_query_builder
February 12, 2025 06:48 23m 31s
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
Fix a memory leak by introducing destructor for InputQueryBuilder clang-format Check #276: Pull request #860 synchronize by R-Peleg
February 12, 2025 06:48 2m 21s R-Peleg:fix_memory_leak_input_query_builder
R-Peleg:fix_memory_leak_input_query_builder
February 12, 2025 06:48 2m 21s
Do not elimintae variables with unsatistiable bounds CI #1227: Pull request #862 opened by R-Peleg
February 12, 2025 06:46 22m 55s R-Peleg:unsat_variable_elimination
R-Peleg:unsat_variable_elimination
February 12, 2025 06:46 22m 55s
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
Do not elimintae variables with unsatistiable bounds clang-format Check #275: Pull request #862 opened by R-Peleg
February 12, 2025 06:46 2m 23s R-Peleg:unsat_variable_elimination
R-Peleg:unsat_variable_elimination
February 12, 2025 06:46 2m 23s
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 (#851) clang-format Check #274: Commit 6c268f1 pushed by wu-haoze
February 11, 2025 20:42 2m 26s master
master
February 11, 2025 20:42 2m 26s
Implement BaBSR Branching Heuristic as a new Branching Strategy (#851) CI #1226: Commit 6c268f1 pushed by wu-haoze
February 11, 2025 20:42 23m 24s master
master
February 11, 2025 20:42 23m 24s
Implement BaBSR Branching Heuristic as a new Branching Strategy CI #1225: Pull request #851 synchronize by wu-haoze
February 11, 2025 13:58 18m 52s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
February 11, 2025 13:58 18m 52s
Implement BaBSR Branching Heuristic as a new Branching Strategy clang-format Check #273: Pull request #851 synchronize by wu-haoze
February 11, 2025 13:58 2m 23s liamjdavis:liamjdavis/BaBSR-heuristic
liamjdavis:liamjdavis/BaBSR-heuristic
February 11, 2025 13:58 2m 23s
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