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

Some support for interval reasoning #223

Merged
merged 17 commits into from
May 24, 2020
Merged

Some support for interval reasoning #223

merged 17 commits into from
May 24, 2020

Commits on May 14, 2020

  1. progress and first test

    Dejan Jovanovic committed May 14, 2020
    Configuration menu
    Copy the full SHA
    dbb56e8 View commit details
    Browse the repository at this point in the history

  2. more tests

    Dejan Jovanovic committed May 14, 2020
    Configuration menu
    Copy the full SHA
    70bbab3 View commit details
    Browse the repository at this point in the history

  3. more tests

    Dejan Jovanovic committed May 14, 2020
    Configuration menu
    Copy the full SHA
    afe3529 View commit details
    Browse the repository at this point in the history

  4. tests

    Dejan Jovanovic committed May 14, 2020
    Configuration menu
    Copy the full SHA
    f0ff87a View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into mcsat-nra-intervals

    Dejan Jovanovic committed May 14, 2020
    Configuration menu
    Copy the full SHA
    382e5a9 View commit details
    Browse the repository at this point in the history

  6. for now, learn only at start

    Dejan Jovanovic committed May 14, 2020
    Configuration menu
    Copy the full SHA
    69d16c3 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2020

  1. bound inference and some tests

    Dejan Jovanovic committed May 16, 2020
    Configuration menu
    Copy the full SHA
    4acd43c View commit details
    Browse the repository at this point in the history

  2. get conflicts from inference 

    k
    Dejan Jovanovic committed May 16, 2020
    Configuration menu
    Copy the full SHA
    6155f74 View commit details
    Browse the repository at this point in the history

  3. ...

    Dejan Jovanovic committed May 16, 2020
    Configuration menu
    Copy the full SHA
    dd7bf35 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2020

  1. use inference explain, test

    Dejan Jovanovic committed May 18, 2020
    Configuration menu
    Copy the full SHA
    0871579 View commit details
    Browse the repository at this point in the history

  2. leak

    Dejan Jovanovic committed May 18, 2020
    Configuration menu
    Copy the full SHA
    b981eb3 View commit details
    Browse the repository at this point in the history

  3. leak

    Dejan Jovanovic committed May 18, 2020
    Configuration menu
    Copy the full SHA
    30ea3e4 View commit details
    Browse the repository at this point in the history

  4. leak

    Dejan Jovanovic committed May 18, 2020
    Configuration menu
    Copy the full SHA
    828a1be View commit details
    Browse the repository at this point in the history

Commits on May 19, 2020

  1. report int conflict properly

    Dejan Jovanovic committed May 19, 2020
    Configuration menu
    Copy the full SHA
    c828581 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2020

  1. Revert "report int conflict properly" 

    This reverts commit c828581.
    Dejan Jovanovic committed May 20, 2020
    Configuration menu
    Copy the full SHA
    4125065 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2020

  1. experiment with fourier motzkin

    Dejan Jovanovic committed May 21, 2020
    Configuration menu
    Copy the full SHA
    e25619a View commit details
    Browse the repository at this point in the history

Commits on May 24, 2020

  1. don't use FM until understood better

    Dejan Jovanovic committed May 24, 2020
    Configuration menu
    Copy the full SHA
    46bf35a View commit details
    Browse the repository at this point in the history