All pull requests

Pull requests

• Add ONNX Clip support in the Python parser

  #898·wu-haoze with CopilotAI opened Sep 15, 2026·

  ·
  1

  

• Add GitHub Actions workflow for cross-platform binary releases

  #897·wu-haoze with CopilotAI opened Sep 15, 2026·

  ·
  1

  

• Fix macOS build: libstdc++-only constructs and missing GMP C++ lookup

  #895·DannyDaoBoYang opened Sep 15, 2026·

  ·

• Bound tightenings using INVPROP and Partial Multi-Neuron Relaxation algorithms.

  #892·ido-shm-uel opened Oct 20, 2025Contributor·

  ·

• Correcting SBT and LP relaxations for Sigmoid, Max, Softmax, Bilinear.

  #891·ido-shm-uel opened Oct 20, 2025Contributor·

  ·

• Integrate AlphaCROWN symbolic bound tightening into Marabou

  #888·Avi-Porges opened Sep 2, 2025Collaborator·

  ·

• add macOS install instructions

  #875·liamzebedee opened Apr 8, 2025·

  ·

• CDCL solving

  #869·idan0610 opened Mar 9, 2025Collaborator·

  ·

• Do not elimintae variables with unsatistiable bounds

  #862·R-Peleg opened Feb 12, 2025Contributor·

  ·
  1

  5

• Backward Analysis using Preimage Approximation

  #861·ido-shm-uel opened Feb 6, 2025Contributor·

  ·
  15

• Fixed deprecated constructors with templates (#855)

  #856·Tomaqa opened Jan 19, 2025·

  ·
  1

  1

• Attack

  #848·mayaswissa opened Nov 12, 2024Collaborator·

  ·
  23

• Bump onnx from 1.12.0 to 1.17.0 in /resources/onnx/layer-zoo

  dependenciespython
  #847·dependabot[bot] opened Oct 23, 2024Bot·

  ·

• Bump pypa/cibuildwheel from 2.20.0 to 2.21.3

  dependenciesgithub_actions
  #846·dependabot[bot] opened Oct 14, 2024Bot·

  ·

• Bump jidicula/clang-format-action from 4.11.0 to 4.13.0

  dependenciesgithub_actions
  #811·dependabot[bot] opened May 27, 2024Bot·

  ·

• Support shape and gather operations in onnx python parser

  #808·wu-haoze opened May 14, 2024Collaborator·

  ·

• Two fixes addressing issue 723

  bug
  #743·progirep opened Feb 13, 2024·

  ·
  5

• Split and verify an ONNX file into multiple subnets

  work-in-progress
  #697·tagomaru opened Dec 27, 2023Contributor·

  ·
  15

• Improved numerical stability for sign constraints

  do not merge
  #677·guykatzz opened Sep 13, 2023Collaborator·

  ·

• Transition to context dependent search state

  do not merge
  #580·AleksandarZeljic opened Jul 1, 2022Collaborator·

  ·
  10

• [configuration] Make cmake configuration fail early upon boost or openBLAS installation failure

  #488·lambdaxdotx opened Nov 10, 2021·

  ·
  3

• Fix incorrect variable indices in maraboupy MarabouNetwork.varMap

  #440·Reginhar opened Mar 3, 2021·

  ·

• Fast restore

  #413·guykatzz opened Dec 21, 2020Collaborator·

  ·

• Fix file redirection in Maraboupy

  #331·vbCrLf opened Jul 22, 2020Contributor·

  ·
  4

• Rm python2

  minor
  #236·ahmed-irfan opened Mar 30, 2020Collaborator·

  ·
  1