Commits · d41c1a563610a1f60819012a2579aef8ca701c00 · Marcel Vinzent / MarabouPublic · GitLab

Snippets Groups Projects

May 12, 2024
- Merge 215828c6 (v2.0.0). · d41c1a56
  Marcel Vinzent authored 11 months ago
  
  d41c1a56
Apr 11, 2024
- Fix github action failure to release (#799) · 215828c6
  Haoze(Andrew) Wu authored 1 year ago
  
  215828c6
- Update cibuildwheel.yml (#798) · bcac1651
  Haoze(Andrew) Wu authored 1 year ago
  
  bcac1651
- bump version v1.0.0 -> v2.0.0 (#797) · d4bb7165
  Haoze(Andrew) Wu authored 1 year ago
  
  d4bb7165
Apr 10, 2024
- bump supported python versions in pyproject.toml (#796) · 31eee10f
  Haoze(Andrew) Wu authored 1 year ago
  31eee10f
Apr 08, 2024
- update README.md (#792) · 35263965
  Haoze(Andrew) Wu authored 1 year ago
  35263965
Apr 07, 2024
- Preparing for new release (#791) · ba9aa1ad
  Haoze(Andrew) Wu authored 1 year ago
  ba9aa1ad
Apr 02, 2024
- Fix in input splitting logic (#787) · 5c0c44ea
  Haoze(Andrew) Wu authored 1 year ago
  5c0c44ea
- Disable updateFeasibleDisjuncts() on proof production mode (#779) · f09a6238
  omriisack authored 1 year ago
  f09a6238
Mar 12, 2024
- Modifications for PlaJA as per ICAPS'24. · 48cfdd9b
  Marcel Vinzent authored 1 year ago
  
  48cfdd9b
Mar 11, 2024
- Support dropout (#774) · 8854d50a
  Haoze(Andrew) Wu authored 1 year ago
  8854d50a
Mar 06, 2024
- Produce proofs for LeakyReLU (#776) · 174b34be
  omriisack authored 1 year ago
  
  174b34be
Mar 01, 2024
- C++11 -> C++17 (#770) · f953f331
  Haoze(Andrew) Wu authored 1 year ago
  f953f331
Feb 28, 2024
- fix constant addend in python onnx parser (#769) · 20a5d070
  Haoze(Andrew) Wu authored 1 year ago
  20a5d070
Feb 27, 2024
- Fix python API examples (#768) · 81296405
  Haoze(Andrew) Wu authored 1 year ago
  81296405
Feb 26, 2024
- Modifications for PlaJA as per RDDPS'23. · d2f13acd
  Marcel Vinzent authored 1 year ago
  
  d2f13acd
- Merge 14dd0f14 into public. · e1643d10
  Marcel Vinzent authored 1 year ago
  
  e1643d10
- Modifications for PlaJA as per ICAPS'22. · d752ff2e
  Marcel Vinzent authored 1 year ago
  
  d752ff2e
Feb 22, 2024
- Refactor CMakeList and download scripts to use versions from a single source (#767) · f9c12cab
  MatthewDaggitt authored 1 year ago
  
  f9c12cab
Feb 20, 2024
- Reorganise main CMakeLists file (#765) · ad9912b1
  MatthewDaggitt authored 1 year ago
  
  ad9912b1
- Bump actions/checkout from 3 to 4 (#764) · 15d25583
  dependabot[bot] authored 1 year ago
  15d25583
- Incremental linearization (#535) · 3c2d389c
  Teruhiro Tagomori authored 1 year ago
  3c2d389c
Feb 17, 2024
- Backward analysis (#760) · ed292e5a
  Haoze(Andrew) Wu authored 1 year ago
  ed292e5a
- Remove output variable reindexing in Python API (#759) · f195cc61
  MatthewDaggitt authored 1 year ago
  f195cc61
- Refactor C++ ONNXParser to pure style that takes in an InputQueryBuilder (#757) · c27a7c37
  MatthewDaggitt authored 1 year ago
  
  c27a7c37
- Touch up README.md and run `clang-format` via precommit hooks (#752) · c7f150dc
  MatthewDaggitt authored 1 year ago
  c7f150dc
Feb 16, 2024
- Fixed ill-specified int type in ONNX parsing (#753) · b05aacef
  MatthewDaggitt authored 1 year ago
  b05aacef
- Implement Unsqueeze operation in C++ ONNX parser (#748) · 8b120ef3
  MatthewDaggitt authored 1 year ago
  8b120ef3
- Re-enable tanh and sigmoid tests for C++ ONNX parser (#750) · 571748e3
  MatthewDaggitt authored 1 year ago
  
  571748e3
- Split `ONNXParser` from `MarabouONNXNetwork` in preparation for replacing with... · 73927a87
  MatthewDaggitt authored 1 year ago
  73927a87
Feb 14, 2024
- Add .gitattributes file to stop Git from trying to display diffs of onnx files (#749) · 727fba43
  MatthewDaggitt authored 1 year ago
  
  727fba43
- Clang format (#737) · 6e6ab0a9
  Haoze(Andrew) Wu authored 1 year ago
  6e6ab0a9
- Implement LeakyRelu operation in C++ ONNX parser (#741) · 5fe8eab6
  MatthewDaggitt authored 1 year ago
  5fe8eab6
- Do not reindex output variables in python ONNX parser by default (#746) · 8225e244
  Haoze(Andrew) Wu authored 1 year ago
  8225e244
- Moved generic constraints from OnnxParser to NetworkParser (#747) · 6074b3e8
  MatthewDaggitt authored 1 year ago
  
  6074b3e8
- use alpha in leaky relu (#742) · 8d4d0e91
  Haoze(Andrew) Wu authored 1 year ago
  
  8d4d0e91
Feb 13, 2024
- Refactor consecutive weighted sum layer elimination and make it default (#736) · 303ca282
  Haoze(Andrew) Wu authored 1 year ago
  303ca282
- Bump codecov/codecov-action from 3 to 4 (#734) · 4b1deff2
  dependabot[bot] authored 1 year ago
  4b1deff2
- Implement the Squeeze operator in C++ ONNX parser (#738) · d50b2c6e
  MatthewDaggitt authored 1 year ago
  d50b2c6e
- Support multiple outputs in C++ ONNX parser (#731) · 686a542f
  MatthewDaggitt authored 1 year ago
  
  686a542f