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 solver by @anwu1219 in #120
• Revert to experimented version by @anwu1219 in #123
• close file descriptor before return by @AlexFeldsher in #125
• Initial basis selection, faster FTran and BTran by @guykatzz in #128
• Network level reasoning by @guykatzz in #129
• Creating summary file before solving for benchmarking purpose by @anwu1219 in #131
• Debug solution, deep copy for input query by @guykatzz in #133
• fixes compilation error on mac by @omricohen1 in #135
• QueryDivider and LargestIntervalDivider class by @anwu1219 in #137
• Add unit test for LargestIntervalDivider.h by @anwu1219 in #140
• Relu aux variables by @guykatzz in #139
• DnC Worker class by @anwu1219 in #141
• Small clean up by @anwu1219 in #142
• Fix compilation issues on Macs by @anwu1219 in #144
• DnCManager Class by @anwu1219 in #143
• Free SmtCore memory before solving each Marabou subquery and only store initial engine state once by @anwu1219 in #151
• DnC Marabou by @anwu1219 in #152
• Release by @AleksandarZeljic in #138
• Print satisfying assignment in DnC mode; Verbosity level in sequential mode by @anwu1219 in #157
• do not perform rounding when printing models by @ahmed-irfan in #158
• Property parser scalar check by @ahmed-irfan in #159
• Log the CPU that a DnCWorker is running on by @anwu1219 in #163
• dump input query by @yuvaljacoby in #162
• Warm start, property constraints on weighted sums by @guykatzz in #165
• Remove extra values in nnet files by @kjulian3 in #168
• Minor fix for printing by @kjulian3 in #172
• Build details with the version option by @ahmed-irfan in #171
• Detect cycling due to numerical stability by @guykatzz in #166
• remove assumption that merged and fixed variables are disjoint by @yuvaljacoby in #178
• add macro to only call sched_getcpu on linux by @anwu1219 in #177
• Create debug.ipynb by @muizzk in #186
• Make example run with no errors by @yuvaljacoby in #176
• Cmake by @yuvaljacoby in #175
• Dump query by @yuvaljacoby in #167
• Changes for Windows that also affect Linux by @kjulian3 in #187
• Lower the version requirement of cmake from 3.12 to 3.2 by @anwu1219 in #188
• Consistent output format between DnC mode and the sequential mode by @anwu1219 in #185
• Building on Windows by @kjulian3 in #189
• Unit test for DnCWorker by @anwu1219 in #194
• Changes to fix save/loadQuery functions by @kjulian3 in #195
• Python API for the DnC Mode by @anwu1219 in #198
• Regression framework by @yuvaljacoby in #199
• Patch to dnc python api by @anwu1219 in #200
• Choose python version by @yuvaljacoby in #203
• add option to run system tests on build, fix running regression tests… by @yuvaljacoby in #204
• fix typo and cosmetics by @yuvaljacoby in #202
• Relu aux bug fix by @guykatzz in #207
• add commandline option to run inputquery file (using the queryloader) by @jjgold012 in #208
• Disjuncts by @guykatzz in #205
• Fix to initialize _rhsIsAllZeros in case b isn't zero when adding an Equation by @Yoni-Mantzur in #212
• fix a couple of warnings by @ahmed-irfan in #216
• Onnx maraboupy parser by @kjulian3 in #213
• Fix issue 215 by @ahmed-irfan in #218
• Polarity based direction heuristics by @anwu1219 in #214
• Add Constraint Violation Threshold as an command line option by @anwu1219 in #222
• perform sbt on both branches by @anwu1219 in #224
• Add support for different branching heuristics by @anwu1219 in #221
• Use ndebug by @yuvaljacoby in #229
• Cmake: Minor by @ahmed-irfan in #230
• Improved Relu splits by @guykatzz in #232
• Static flag in cmake by @ahmed-irfan in #235
• Preprocessing eliminates unused variables by @guykatzz in #233
• Absolute value PL constraint by @guykatzz in #228
• Optimize floatutils by @yuvaljacoby in #191
• use sat/unsat instead of SAT/UNSAT by @ahmed-irfan in #237
• Typo fix by @kjulian3 in #241
• Optimize iszero by @yuvaljacoby in #246
• PiecewiseLinearCaseSplit return const ref of tightnening and equation list by @ahmed-irfan in #247
• Onnx gemm attributes by @kjulian3 in #242
• Basic bound tightening capabilities for the NLR by @guykatzz in #245
• Comments by @guykatzz in #250
• Symbolic bound tightening in NLR by @guykatzz in #249
• Symbolic bound tightening over absolute values by @guykatzz in #251
• Better interval propagation by @guykatzz in #255
• Small fixes for using NLR with python API by @kjulian3 in #258
• ONNX Flatten support by @samuelemarro in #243
• Onnx tests by @kjulian3 in #254
• Maraboupy imports parsers only when required packages are installed by @kjulian3 in #257
• Added SBT time to getTotalTime() so it gets accounted for when deciding whether to timeout or not by @castrong in #262
• New onnx tests and bug fix caught with new tests by @kjulian3 in #261
• Fix bug related to DnC return value by @anwu1219 in #264
• travis speedup, cache python3 on windows, use cache for pip packages by @yuvaljacoby in #263
• Setup codecov for maraboupy by @kjulian3 in #265
• Auto construction of a network level reasoner by @guykatzz in #253
• Preprocess the input query only once in DnC by @anwu1219 in #248
• Pytest fixes by @kjulian3 in #268
• Make default compile option Release by @yuvaljacoby in #274
• Remove obsolete imeplementation of DnC by @anwu1219 in #275
• move print statement in NLR construction to logger by @anwu1219 in #276
• Polarity-based Splitting Heuristics by @anwu1219 in #266
• Support for tensorflow 2.0 and initial tests for tensorflow parser by @kjulian3 in #270
• NLR for networks with a general, feed-forward topology by @guykatzz in #271
• Test fix by @guykatzz in #281
• Tests for Marabou.py and MarabouUtils.py by @kjulian3 in #278
• More onnx tests by @kjulian3 in #282
• Tests and fixes for maraboupy's NNet input parser by @kjulian3 in #280
• Quick fix by @kjulian3 in #283
• update the statistics object even if verbosity is 0 by @anwu1219 in #284
• Maraboupy tests by @kjulian3 in #285
• Gurobi wrapper by @guykatzz in #277
• Add tests and fixes for Tensorflow parser by @kjulian3 in #286
• Maraboupy core tests by @kjulian3 in #287
• Cleaning examples folder by @kjulian3 in #289
• keep log lines only in debug mode by @yuvaljacoby in #290
• Fix minor compilation issue on Mac. by @alexopenu in #294
• Cpp codecov by @yuvaljacoby in #293
• Fix a bug in MaxConstraint by @guykatzz in #297
• Milp encoding by @guykatzz in #288
• Use v1.13 lcov, since the default v1.12 is buggy by @kjulian3 in #299
• NLR test fix by @guykatzz in #298
• Copyright by @guykatzz in #305
• Multiply/divide in tensorflow by @kjulian3 in #292
• Openblas nlr by @yuvaljacoby in #301
• Fix error in get-openBLAS. by @wenkokke in #309
• Cutoffs for LP and MILP queries by @guykatzz in #302
• remove maraboupy README, simplify python part in main README by @yuvaljacoby in #311
• remove openblas artifacts by @yuvaljacoby in #313
• move input query construction from preprocessor to inputquery by @anwu1219 in #296
• Move equality and inequality to MarabouNetwork by @kjulian3 in #316
• Query dump by @guykatzz in #312
• Codecov delta by @yuvaljacoby in #314
• Maraboupy docstrings in Google syntax by @kjulian3 in #317
• Changes for building documentation by @kjulian3 in #319
• Preprocess bug fix by @guykatzz in #321
• Deploy Maraboupy docs to github pages by @kjulian3 in #322
• Add Marabou dir to pythonpath by @kjulian3 in #323
• Add semicolon by @kjulian3 in #324
• Fix evaluateWithMarabou when system is UNSAT by @vbCrLf in #326
• Maraboupy developer's guide by @kjulian3 in #328
• Add abs constraint support to maraboupy by @vbCrLf in #327
• Some fixes in AbsoluteValueConstraint and the preprocessor by @guykatzz in #329
• SBT bug fix by @guykatzz in #335
• fix bug in dnc evaluate by @anwu1219 in #333
• Set preprocessor's verbosity to 0 in DnC by @anwu1219 in #336
• Add features to MarabouNetworkNNet. by @alexopenu in #310
• Sign constraints by @guyam2 in #308
• Switch between .dylib and .so depending on whether on Apple device or not by @castrong in #340
• Add a GlobalConfiguration option to not perform preprocessing by @castrong in #341
• Guy Amir - added addSignConstraint to Maraboupy by @guyam2 in #344
• DNC+Gurobi bug fix by @guykatzz in #345
• Fix a bug in the LP formulator by @guykatzz in #348
• Apply bounds after performing row bound tightening by @anwu1219 in #338
• Reuse GurobiWrapper in LPFormulator by @anwu1219 in #349
• Sign activation for tensorflow by @kjulian3 in #353
• Replay Smt states by @anwu1219 in #351
• ASSERT to TS_ASSERT in Test_SmtCore.h by @anwu1219 in #355
• Automatic Construction of Asolute_Value layer by @anwu1219 in #354
• increase cmake version requirement by @anwu1219 in #358
• Add MNIST benchmarks to resources by @anwu1219 in #357
• Optimiziations for Sign constraints by @guykatzz in #356
• get openblas dir as (optional) parameter by @yuvaljacoby in #332
• Polarity-based relusplitting in DnC by @anwu1219 in #320
• construct an IPQ from an NLR by @guykatzz in #360
• Sparse constraint matrix analysis by @guykatzz in #361
• Aux variable for absolute values by @guykatzz in #363
• Threaded version of LP preprocessing by @anwu1219 in #366
• Get arguments directly from Options object by @anwu1219 in #369
• Preprocessor optimizations by @guykatzz in #364
• improve addMaxConstratins by @tagomaru in #365
• Proper symbolic bound tightening for Signs by @guykatzz in #374
• Gurobi bug fix by @guykatzz in #375
• Interval splitting by @anwu1219 in #370
• Iterative propagation by @anwu1219 in #376
• Update SparseUnsortedLists.cpp by @anwu1219 in #377
• SmtCore.cpp compilation issue - "copy from type const Tightening" by @grese in #381
• Create nlr in python by @alexopenu in #371
• Polarity in sign constraint by @anwu1219 in #383
• Fix bug in Timeout by @anwu1219 in #382
• Fix the bug of unregisterAsWatcher by @tagomaru in #378
• Expose disjunction constraint to Python API by @anwu1219 in #391
• Add option to use Gurobi to solve an input query by @anwu1219 in #392
• Bug fix in getting objective from Gurobi by @anwu1219 in #394
• fixing the issue of MILPEncoder by @tagomaru in #396
• Fix a bug in Abs Constraint's bound tightening by @guykatzz in #397
• parallelize mip preprocessing by @anwu1219 in #395
• Add context-dependent data structures from CVC4 by @AleksandarZeljic in #399
• Fix in property parser by @anwu1219 in #400
• Fix a compilation issue on mac OS by @alexopenu in #403
• small sign thingys by @guyam2 in #385
• Refactor _phaseStatus from individual classes into PiecewiseLinearConstraint by @AleksandarZeljic in #404
• support user defined preprocessor bound tolerance in marabou/py api by @yizhake in #408
• Introduce CI using Github actions by @AleksandarZeljic in #415
• Add Guroby encoder for max constratints. by @tagomaru in #402
• Deeppoly analysis by @anwu1219 in #420
• Milp memory leak by @anwu1219 in #426
• Fix bug in solveWithMILP by @anwu1219 in #427
• update gurobi version by @anwu1219 in #430
• Context Dependent Piecewise Linear Constraint by @AleksandarZeljic in #422
• Update README.md by @anwu1219 in #432
• Bound Manager Class by @AleksandarZeljic in #429
• Update README.md - Windows support, CI badge, link to research by @AleksandarZeljic in #434
• Fix deeppoly bug by @anwu1219 in #435
• Max constraint updates by @guyam2 in #437
• expose MILPTightening to python API by @anwu1219 in #436
• Expose MILP timeout and Marabou preprocess to python interface. by @alexopenu in #438
• Fix issue of installing pkg on CI by @tagomaru in #441
• Add simulation for preprocess. by @tagomaru in #439
• Change the number of simulation by @tagomaru in #444
• Split & Conquer guide by @AleksandarZeljic in #446
• Update boost download link by @AleksandarZeljic in #453
• Inherit ContextDependentPiecewiseLinearConstraint in *Constraint classes by @AleksandarZeljic in #442
• Fix CI - clang compilation by @AleksandarZeljic in #455
• Fix a memory leak by @guykatzz in #463
• move binding of EquationType by @elazarcoh in #462
• Add BoundManager support to CDPWLC by @AleksandarZeljic in #456
• LP Tightening after splits by @tagomaru in #452
• support pathlib paths by @elazarcoh in #476
• Sigmoid support in DeepPoly by @tagomaru in #470
• Add BoundManager to RowBoundTightener and Tableau by @AleksandarZeljic in #472
• Meld ContextDependentPiecewiseLinearConstraint into PiecewiseLinearConstraint by @AleksandarZeljic in #473
• Add export InputQuery in case of Error by @AleksandarZeljic in #482
• Bound tightening bug fix by @guykatzz in #480
• Update People information by @AleksandarZeljic in #469
• Bump pillow from 7.2.0 to 8.3.2 in /maraboupy/docs by @dependabot in #478
• Bump tensorflow from 2.2.0 to 2.5.1 in /maraboupy by @dependabot in #474
• Bump pygments from 2.3.1 to 2.7.4 in /maraboupy/docs by @dependabot in #445
• Add a new method to evaluate local robustness. by @tagomaru in #479
• Bump tensorflow from 2.5.1 to 2.5.2 in /maraboupy by @dependabot in #489
• Context-dependent SmtCore by @AleksandarZeljic in #487
• Sigmoid support Ph1 by @tagomaru in #483
• [Bug fix] evaluateLocalRobustness by @tagomaru in #491
• Support BatchNormalization Layer by @tagomaru in #493
• Preprocessor refactor by @anwu1219 in #501
• Add optimization method in the Engine class by @anwu1219 in #500
• Sigmoid support with linearization by @tagomaru in #492
• Refactor statistics object by @anwu1219 in #503
• Extend ReLU/Max constraint with SoI cost term. by @anwu1219 in #502
• add script to run canonical benchmarks by @anwu1219 in #431
• More regression tests by @anwu1219 in #506
• Add SoIManager class by @anwu1219 in #505
• export sdk path when installing OpenBLAS on Mac. by @anwu1219 in #509
• Update CMakeLists.txt to fix compilation error on recent MacOS versions. by @anwu1219 in #508
• Access ExitCode from maraboupy by @anwu1219 in #511
• Integrate SoI in the main loop by @anwu1219 in #507
• Add bound-aware auxiliary constraints after preprocessing by @anwu1219 in #513
• make all disjuncts bounds by @anwu1219 in #515
• Serailize disjunction by @anwu1219 in #517
• Upgrade OpenBLAS version. by @anwu1219 in #516
• Extend Sign and Abs with SoI and make DeepSoI default. by @anwu1219 in #514
• Add BoundManager object to the Tableau by @AleksandarZeljic in #520
• Always add aux vars. by @anwu1219 in #521
• Revive max constraint by @anwu1219 in #519
• Remove two unused methods in Max constraints. by @anwu1219 in #525
• Add option to solve LP with Gurobi by @anwu1219 in #524
• More Github Action by @anwu1219 in #526
• remove old ci by @anwu1219 in #529
• Do not copy tableau state during push and pop by @anwu1219 in #532
• bug fix in Max by @anwu1219 in #534
• add mul to onnx parser by @anwu1219 in #533
• Portfolio mode by @anwu1219 in #537
• Relax relu constraint debug check by @anwu1219 in #540
• move hard instance to target folder by @anwu1219 in #541
• Put back random seed setting. by @anwu1219 in #543
• Change input splitting frequency to larger than 1 by @anwu1219 in #546
• Set bounds in Tableau after registering watchers and dump bounds after tableau is registered in NLR by @anwu1219 in #549
• Toggle optimisation flag and remove SoI assertions. by @anwu1219 in #550
• Reduce memory usage by @anwu1219 in #548
• Group the options, updateReadMe by @anwu1219 in #539
• Update onnx batch norm parser by @anwu1219 in #552
• UNSAT Certificate core modules (only) by @OmriIsacHUJI in #530
• Fix minor bug in onnx conv parser by @anwu1219 in #554
• Use context-dependent BoundManager to store bounds in Tableau by @AleksandarZeljic in #542
• Update RowBoundTightener to use BoundManager by @AleksandarZeljic in #557
• Update README.md by @anwu1219 in #561
• Adding support for multiple output layers by @idan0610 in #559
• [Maraboupy] Bugfix: set options before constructing the Engine by @elazarcoh in #567
• Remove ConstraintBoundTightener by @AleksandarZeljic in #560
• Prevent access to Tableau internals when not in native mode by @AleksandarZeljic in #572
• Bug fix #571 by @anwu1219 in #575
• add field to store user defined constraints by @anwu1219 in #562
• Tanh node support for ONNX parser by @teshim in #579
• Skip variable elimination in disjunction by @anwu1219 in #584
• Add comments to property files by @MatthewDaggitt in #497
• Add export/import Assignment features for debugging by @AleksandarZeljic in #586
• Add Statistic tracking for Context push/pop operations by @AleksandarZeljic in #587
• export preprocess query to maraboupy by @elazarcoh in #588
• Add command line ONNX support by @MatthewDaggitt in #553
• Add a shallowClear method in MarabouNetworkONNX by @anwu1219 in #592
• Do not include cpuid.h on Apple ARM64. by @tflinkow in #594
• Not eliminate variables in constraints that doesn't support variable elimination by @anwu1219 in #601
• fix bug in disjunction constraint by @anwu1219 in #603
• Fix encoding bug of disjunction in maraboupy by @anwu1219 in #608
• Support some ONNX operators by @tagomaru in #585
• Proof production updates by @OmriIsacHUJI in #610
• do not throw warning as error in production mode, update boost version to 1.80.0 by @anwu1219 in #604
• Proof production code by @OmriIsacHUJI in #613
• Fix bug in ONNX parser with network with duplicate names by @MatthewDaggitt in #631
• Fix bug when parsing unknown dimension sizes in OnnxParser.cpp by @MatthewDaggitt in #627
• Add Matthew Daggitt to THANKS by @wenkokke in #635
• Implement remaining missing operations in native ONNX parser by @MatthewDaggitt in #630
• Fix bug in SmtLibWriter by @OmriIsacHUJI in #619
• Fixed OnnxParser bug with inferrable Reshape node dimensions by @MatthewDaggitt in #643
• Replaced uint with unsigned int in OnnxParser by @MatthewDaggitt in #640
• Feature to calculate and retrieve output bounds by @tagomaru in #636
• Add infrastructure for packaging and distributing maraboupy by @wenkokke in #633
• Lower TensorFlow version bound by @wenkokke in #648
• Bump pypa/cibuildwheel from 2.12.3 to 2.14.0 by @dependabot in #647

New Contributors

• @rachellim made their first contribution in #1
• @jayanthkannan made their first contribution in #3
• @clazarus made their first contribution in #9
• @ShantanuThakoor made their first contribution in #11
• @kjulian3 made their first contribution in #12
• @mfernan2 made their first contribution in #19
• @ibeling made their first contribution in #24
• @sparth95 made their first contribution in #62
• @chelseas made their first contribution in #93
• @AlexFeldsher made their first contribution in #125
• @omricohen1 made their first contribution in #135
• @AleksandarZeljic made their first contribution in #138
• @ahmed-irfan made their first contribution in #158
• @yuvaljacoby made their first contribution in #162
• @muizzk made their first contribution in #186
• @jjgold012 made their first contribution in #208
• @Yoni-Mantzur made their first contribution in #212
• @samuelemarro made their first contribution in #243
• @castrong made their first contribution in #262
• @alexopenu made their first contribution in #294
• @wenkokke made their first contribution in #309
• @vbCrLf made their first contribution in #326
• @guyam2 made their first contribution in #308
• @tagomaru made their first contribution in #365
• @grese made their first contribution in #381
• @yizhake made their first contribution in #408
• @elazarcoh made their first contribution in #462
• @dependabot made their first contribution in #478
• @OmriIsacHUJI made their first contribution in #530
• @idan0610 made their first contribution in #559
• @teshim made their first contribution in #579
• @MatthewDaggitt made their first contribution in #497
• @tflinkow made their first contribution in #594

Full Changelog: https://github.com/NeuralNetworkVerification/Marabou/commits/v1.0.0