Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: Z3Prover/z3
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: batfish/z3
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 12 commits
  • 20 files changed
  • 3 contributors

Commits on Jan 27, 2018

  1. Modifications for batfish 

    - Packaging scripts to generate OpenMP and non-OpenMP zips for OSX
- Packaging scripts for Ubuntu 14.04 and 16.04 (x64 only)
- Modify travis to only do things batfish cares about
- Incomplete skeleton for linux package generation, testing
    @arifogel
    arifogel committed Jan 27, 2018

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    GPG key ID: 4AEE18F83AFDEB23
    Expired
    Verified
    Learn about vigilant mode
    Copy the full SHA
    1c3206a View commit details

Commits on Jan 29, 2018

  1. produce output for linux, don't overwrite docker images between distros

    @arifogel
    arifogel committed Jan 29, 2018
    Copy the full SHA
    ebaf98d View commit details

  2. remove cruft line

    @arifogel
    arifogel committed Jan 29, 2018
    Copy the full SHA
    f979613 View commit details

Commits on Jan 31, 2018

  1. Merge pull request #1 from batfish/ari-travis 

    Modifications for batfish (READY FOR REVIEW)
    @arifogel
    arifogel authored Jan 31, 2018
    Copy the full SHA
    ad9d648 View commit details

Commits on Aug 10, 2018

  1. Update README.md

    @dhalperi
    dhalperi authored Aug 10, 2018
    Copy the full SHA
    86664af View commit details

Commits on Jan 27, 2019

  1. Merge branch 'master' into HEAD

    @arifogel
    arifogel committed Jan 27, 2019
    Copy the full SHA
    90b4b07 View commit details

  2. remove upstream build status

    @arifogel
    arifogel committed Jan 27, 2019
    Copy the full SHA
    e3767bc View commit details

  3. update readme for OSX install

    @arifogel
    arifogel committed Jan 27, 2019
    Copy the full SHA
    27db1d6 View commit details

  4. update .gitignore, mention libomp dep on osx

    @arifogel
    arifogel committed Jan 27, 2019
    Copy the full SHA
    1aa4fc0 View commit details

  5. Merge pull request #3 from batfish/ari-upgrade-for-ite 

    Upgrade to enable ite as doc precondition

- update OSX build matrix
- re-add debug tests for linux
- update build matrix flags based on upstream changes
- better OSX documentation
    @arifogel
    arifogel authored Jan 27, 2019
    Copy the full SHA
    be61a26 View commit details

Commits on Jan 28, 2019

  1. generate binary and source jars during linux docker build (#4)

    @arifogel
    arifogel authored Jan 28, 2019
    Copy the full SHA
    7400318 View commit details

Commits on Mar 1, 2019

  1. Support Ubuntu 18.04 (#6)

    @arifogel
    arifogel authored Mar 1, 2019
    Copy the full SHA
    915ef4e View commit details
Loading