Pull requests: NeuralNetworkVerification/Marabou
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump pypa/cibuildwheel from 2.17.0 to 2.18.1
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#810
opened May 20, 2024 by
dependabot
bot
Loading…
Bump jidicula/clang-format-action from 4.11.0 to 4.12.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#809
opened May 20, 2024 by
dependabot
bot
Loading…
Support shape and gather operations in onnx python parser
#808
opened May 14, 2024 by
wu-haoze
Loading…
Bump softprops/action-gh-release from 1 to 2
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#778
opened Mar 11, 2024 by
dependabot
bot
Loading…
Split and verify an ONNX file into multiple subnets
work-in-progress
#697
opened Dec 27, 2023 by
tagomaru
Loading…
Improved numerical stability for sign constraints
do not merge
#677
opened Sep 13, 2023 by
guykatzz
Loading…
Transition to context dependent search state
do not merge
#580
opened Jul 1, 2022 by
AleksandarZeljic
Loading…
[configuration] Make cmake configuration fail early upon boost or openBLAS installation failure
#488
opened Nov 10, 2021 by
lambdaxdotx
Loading…
Fix incorrect variable indices in maraboupy MarabouNetwork.varMap
#440
opened Mar 3, 2021 by
Reginhar
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.