Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add infrastructure for packaging and distributing maraboupy #633

Merged
merged 28 commits into from
Jul 11, 2023
Merged

Add infrastructure for packaging and distributing maraboupy #633

merged 28 commits into from
Jul 11, 2023

Commits on Apr 17, 2023

  1. Disable regression test

    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    318fa30 View commit details
    Browse the repository at this point in the history

  2. Remove relative and unneccesary imports in tests

    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    95be4e6 View commit details
    Browse the repository at this point in the history

  3. Remove codecov from test_requirements.txt 

    On April 12, 2023, Codecov removed the codecov package from PyPI.
Our intent was to remove a deprecated, rarely-used package from active support.

See: https://about.codecov.io/blog/message-regarding-the-pypi-package/
    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    adbd710 View commit details
    Browse the repository at this point in the history

  4. Relax version bounds in test requirements

    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    f654440 View commit details
    Browse the repository at this point in the history

  5. Add Python project and workflow for cibuildwheel

    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    c37f3ef View commit details
    Browse the repository at this point in the history

  6. Add dependabot

    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    be699ee View commit details
    Browse the repository at this point in the history

  7. Clean up CI workflow 

    - Fix CI badge in README.md by renaming ci-with-production.yml back to ci.yml
- Separate installation of packages into system and Python
- Add os to matrix
- Bump actions/cache from v1 to v3
- Fix job name to include build type, compiler, and OS
    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    8fcdb3b View commit details
    Browse the repository at this point in the history

  8. Run CI for macOS (#3) 

    * Run CI for macOS
* Disable -Wdeprecated-declarations
* Disable regression tests on macOS
    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    9b71887 View commit details
    Browse the repository at this point in the history

  9. Change CI workflows to have specific "on" clause

    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    6b9ee67 View commit details
    Browse the repository at this point in the history

  10. Add test for bumpver config

    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    6519b1a View commit details
    Browse the repository at this point in the history

  11. Bump pybind11 from 2.3.0 to 2.10.4

    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    ada9a16 View commit details
    Browse the repository at this point in the history

  12. Bundle Marabou CLI with maraboupy (#4) 

    * Move main function to MarabouMain.cpp
* Expose marabouMain to maraboupy
* Build protobuf with -fPIC
* Add tests for maraboupy.marabouMain and main
    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    8577750 View commit details
    Browse the repository at this point in the history

  13. Ignore __main__.py for codecov

    @wenkokke
    wenkokke committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    38ad2d5 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. Switch to SemVer

    @wenkokke
    wenkokke committed May 16, 2023
    Configuration menu
    Copy the full SHA
    c6b5c90 View commit details
    Browse the repository at this point in the history

  2. Use pypa/cibuildwheel

    @wenkokke
    wenkokke committed May 16, 2023
    Configuration menu
    Copy the full SHA
    0c10e67 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2023

  1. Fix authors and description

    @wenkokke
    wenkokke committed May 23, 2023
    Configuration menu
    Copy the full SHA
    a55c5d0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into wheels

    @wenkokke
    wenkokke committed May 23, 2023
    Configuration menu
    Copy the full SHA
    ffb2815 View commit details
    Browse the repository at this point in the history

  3. Fix BumpVer test

    @wenkokke
    wenkokke committed May 23, 2023
    Configuration menu
    Copy the full SHA
    c369020 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. Set authors to 'The Marabou Development Team'

    @wenkokke
    wenkokke committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    9fbac3d View commit details
    Browse the repository at this point in the history

  2. Add pull_request reopened as a CI trigger

    @wenkokke
    wenkokke committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    03320a6 View commit details
    Browse the repository at this point in the history

  3. Switch 'auto64' to 'native' to rule out cross-compilation

    @wenkokke
    wenkokke committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    d6612b9 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into wheels

    @wenkokke
    wenkokke committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    235f2eb View commit details
    Browse the repository at this point in the history

  5. Switch to latest OS versions for building wheels

    @wenkokke
    wenkokke committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    45fec26 View commit details
    Browse the repository at this point in the history

  6. Suppress unused-arguments and deprecated-declarations for Clang

    @wenkokke
    wenkokke committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    0bc2ebe View commit details
    Browse the repository at this point in the history

  7. Fix -Q -> -Wno

    @wenkokke
    wenkokke committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    a5037ae View commit details
    Browse the repository at this point in the history

  8. Add -Wno-unused-but-set-variable

    @wenkokke
    wenkokke committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    6b6a281 View commit details
    Browse the repository at this point in the history

  9. Remove std::ceil and std::floor (#16)

    @wenkokke
    wenkokke committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    17431ac View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. Merge branch 'master' into wheels

    @wenkokke
    wenkokke committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    5c3d6c8 View commit details
    Browse the repository at this point in the history