v2.0.0

Version 2.0

v1.0.0

What's Changed

• Steepest edge by @rachellim in #1
• Benchmark by @rachellim in #2
• Run emacs indentation on MaxConstraint.h and MaxConstraint.cpp by @jayanthkannan in #3
• Simple travis config by @jayanthkannan in #4
• Rename travis configuration file name (wrong before). by @jayanthkannan in #6
• maraboupy by @clazarus in #9
• Fixed arguments supplied to MarabouNetworkTF by @ShantanuThakoor in #11
• Reading Tensorflow SavedModels by @kjulian3 in #12
• Maraboupy now returns a Statistics object when solving an input query. by @clazarus in #14
• Statistics Bug fix by @clazarus in #15
• fix -Wmisleading-indentation warnings by @mfernan2 in #19
• fix to make nnet consistent with tf by @clazarus in #18
• Support for max pooling on API side by @ShantanuThakoor in #17
• tiny fix by @clazarus in #20
• Bias add improvements by @ShantanuThakoor in #23
• Fix clang, gcc >=7.3.0 issues. by @ibeling in #24
• Maxpooling Implementation + Added Tests by @ShantanuThakoor in #16
• Fix for certain compiler warnings by @ShantanuThakoor in #25
• Fix a few typos in statistics output by @ibeling in #26
• maraboupy readme by @clazarus in #27
• more statistics for maraboupy by @ibeling in #30
• Examples by @kjulian3 in #28
• Forrest-Tomlin by @guykatzz in #29
• Fix degenerate pivots logging by @ibeling in #31
• basic signal handling: allow user to request a timeout by @guykatzz in #32
• better stats for pivoting by @guykatzz in #33
• Ft opt by @guykatzz in #35
• adding signal handler to maraboupy makefile by @clazarus in #37
• Basis variables independence by @ShantanuThakoor in #34
• New bound tightening technique + bug fix by @guykatzz in #38
• Bound tightening by @guykatzz in #39
• Improvements to apply valid splits by @guykatzz in #40
• fix leaking eta matrices by @ibeling in #41
• Improvements to LU factorization by @guykatzz in #42
• remove unused private field tempY by @ibeling in #43
• Changes to Makefile infrastructure by @guykatzz in #45
• turn on PL consntraints equations flag on by @clazarus in #47
• Error when adding an equation by @guykatzz in #49
• Handle MalformedBasis exceptions when adding a new equation by @guykatzz in #50
• Aux vars by @guykatzz in #51
• Remove aux variables from maraboupy by @kjulian3 in #52
• fixing a bug discovered by Parth by @guykatzz in #53
• Prevent iterator from incrementing after basic variable found by @kjulian3 in #54
• Maxconstraint fixes by @ShantanuThakoor in #44
• attempt to prevent cycles (a numerical stability issue) by @guykatzz in #57
• more accurate restoration by @guykatzz in #56
• Basic restoration by @guykatzz in #59
• Prevent cycling by @guykatzz in #60
• Preprocess identical variables by @ShantanuThakoor in #63
• Markowitz pivoting by @guykatzz in #64
• a more efficient way for inverting the basis by @guykatzz in #65
• Bf opt by @guykatzz in #66
• Numerical stability in ConstraintMatrixAnalyzer by @guykatzz in #67
• Tableau merge cols by @guykatzz in #68
• Reshape operator by @sparth95 in #62
• Sparse matrices by @guykatzz in #69
• Sparse matrices by @guykatzz in #70
• Bug fix by @guykatzz in #71
• Bug fixes in the preprocessor / relu constraints by @guykatzz in #72
• Memory leaks and initialization by @guykatzz in #73
• another memory issue by @guykatzz in #74
• More accurate cost function computation by @guykatzz in #75
• Numerical stability by @guykatzz in #76
• Bug fixes by @guykatzz in #77
• More stable ratio test by @guykatzz in #78
• More stable cost function computation, to avoid cycling by @guykatzz in #79
• More robust choice of candidates for entering variable by @guykatzz in #80
• More robust pivot selection by @guykatzz in #81
• Harris' two-pass ratio test by @guykatzz in #82
• hacky bug fix in max constraint by @guykatzz in #84
• quick fix in SparseGaussianEliminator. add Sources.mk for input parse… by @ibeling in #85
• Cmd line options by @guykatzz in #86
• Optimizations by @guykatzz in #87
• Basis factorization optimizations by @guykatzz in #89
• Simulator + numerical stability in preprocessor by @guykatzz in #91
• Multi input concat by @chelseas in #93
• Numerical stability issue in SFT by @guykatzz in #94
• Support single op used as input by multiple ops; implement var+var op by @ShantanuThakoor in #95
• Max Constraint Fix implemented by Duligur by @ShantanuThakoor in #96
• Dev query logger by @clazarus in #61
• cxxtest compilation issues by @guykatzz in #97
• More efficient bound propagation from PL constraints by @guykatzz in #104
• Adding Smart and Least Fix selection by @sparth95 in #98
• Add timeout functionality to Marabou by @anwu1219 in #106
• Sbt poc by @guykatzz in #105
• Add Symbolic Bound Tightening to Python API by @anwu1219 in #107
• DnC solver by @anwu1219 in #113
• Update artifact by @guykatzz in #116
• Fixes regarding parallel-performance by @anwu1219 in #115
• Dnc solv...