Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

clang-format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clang-format-check.yml
254 workflow runs
254 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump actions/checkout from 3 to 4 (#764) clang-format Check #54: Commit 15d2558 pushed by wu-haoze
February 19, 2024 23:03 2m 57s master
master
February 19, 2024 23:03 2m 57s
Incremental linearization (#535) clang-format Check #53: Commit 3c2d389 pushed by wu-haoze
February 19, 2024 23:02 2m 51s master
master
February 19, 2024 23:02 2m 51s
Bump actions/checkout from 3 to 4 clang-format Check #52: Pull request #764 opened by dependabot bot
February 19, 2024 16:11 3m 5s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
February 19, 2024 16:11 3m 5s
Bump actions/checkout from 3 to 4 clang-format Check #51: Commit fc16784 pushed by dependabot bot
February 19, 2024 16:11 3m 6s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
February 19, 2024 16:11 3m 6s
Backward analysis (#760) clang-format Check #50: Commit ed292e5 pushed by wu-haoze
February 17, 2024 17:02 2m 53s master
master
February 17, 2024 17:02 2m 53s
Remove output variable reindexing in Python API (#759) clang-format Check #49: Commit f195cc6 pushed by MatthewDaggitt
February 17, 2024 12:56 2m 49s master
master
February 17, 2024 12:56 2m 49s
Remove output variable reindexing in Python API clang-format Check #48: Pull request #759 synchronize by MatthewDaggitt
February 17, 2024 09:36 2m 51s remove-reindexing
remove-reindexing
February 17, 2024 09:36 2m 51s
Fixed tests clang-format Check #47: Commit 9a18b58 pushed by MatthewDaggitt
February 17, 2024 09:36 2m 47s remove-reindexing
remove-reindexing
February 17, 2024 09:36 2m 47s
Remove output variable reindexing in Python API clang-format Check #46: Pull request #759 synchronize by MatthewDaggitt
February 17, 2024 07:46 2m 51s remove-reindexing
remove-reindexing
February 17, 2024 07:46 2m 51s
Merge branch 'master' into remove-reindexing clang-format Check #45: Commit c64e6d8 pushed by MatthewDaggitt
February 17, 2024 07:46 2m 48s remove-reindexing
remove-reindexing
February 17, 2024 07:46 2m 48s
Backward analysis clang-format Check #44: Pull request #760 opened by wu-haoze
February 17, 2024 06:26 2m 51s wu-haoze:backward-analysis
wu-haoze:backward-analysis
February 17, 2024 06:26 2m 51s
Refactor C++ ONNXParser to pure style that takes in an InputQueryBuil… clang-format Check #43: Commit c27a7c3 pushed by wu-haoze
February 17, 2024 06:00 2m 48s master
master
February 17, 2024 06:00 2m 48s
Remove output variable reindexing in Python API clang-format Check #42: Pull request #759 synchronize by MatthewDaggitt
February 17, 2024 04:48 2m 48s remove-reindexing
remove-reindexing
February 17, 2024 04:48 2m 48s
Fixed CHANGELOG bug clang-format Check #41: Commit 93b4afb pushed by MatthewDaggitt
February 17, 2024 04:48 2m 56s remove-reindexing
remove-reindexing
February 17, 2024 04:48 2m 56s
Remove output variable reindexing in Python API clang-format Check #40: Pull request #759 opened by MatthewDaggitt
February 17, 2024 04:47 2m 50s remove-reindexing
remove-reindexing
February 17, 2024 04:47 2m 50s
Remove variable reindexing clang-format Check #39: Commit a264cd8 pushed by MatthewDaggitt
February 17, 2024 04:46 2m 48s remove-reindexing
remove-reindexing
February 17, 2024 04:46 2m 48s
Refactor C++ ONNXParser to a pure style that takes in an InputQueryBuilder as an argument. clang-format Check #38: Pull request #757 opened by MatthewDaggitt
February 17, 2024 03:53 2m 52s purify-ONNX-parser
purify-ONNX-parser
February 17, 2024 03:53 2m 52s
Refactor C++ ONNXParser to pure style that takes in an InputQueryBuilder clang-format Check #37: Commit e4864cf pushed by MatthewDaggitt
February 17, 2024 03:51 2m 55s purify-ONNX-parser
purify-ONNX-parser
February 17, 2024 03:51 2m 55s
avoid implicit type casting in oonx parser clang-format Check #36: Pull request #756 opened by wu-haoze
February 17, 2024 03:12 2m 48s wu-haoze:fix-index
wu-haoze:fix-index
February 17, 2024 03:12 2m 48s
Touch up README.md and run clang-format via precommit hooks (#752) clang-format Check #35: Commit c7f150d pushed by wu-haoze
February 17, 2024 02:12 2m 53s master
master
February 17, 2024 02:12 2m 53s
Fixed ill-specified int type in ONNX parsing (#753) clang-format Check #34: Commit b05aace pushed by wu-haoze
February 16, 2024 16:47 2m 48s master
master
February 16, 2024 16:47 2m 48s
Implement Unsqueeze operation in C++ ONNX parser (#748) clang-format Check #33: Commit 8b120ef pushed by wu-haoze
February 16, 2024 16:45 2m 50s master
master
February 16, 2024 16:45 2m 50s
Fixed ill-specified int type in ONNX parsing clang-format Check #32: Pull request #753 synchronize by MatthewDaggitt
February 16, 2024 09:45 2m 53s sigmoid-bug
sigmoid-bug
February 16, 2024 09:45 2m 53s
Fixed formatting clang-format Check #31: Commit 6c9ba1f pushed by MatthewDaggitt
February 16, 2024 09:45 2m 52s sigmoid-bug
sigmoid-bug
February 16, 2024 09:45 2m 52s
Fixed ill-specified int type in ONNX parsing clang-format Check #30: Pull request #753 opened by MatthewDaggitt
February 16, 2024 09:39 2m 52s sigmoid-bug
sigmoid-bug
February 16, 2024 09:39 2m 52s