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 downstreams of value-inference #331

Open
wants to merge 36 commits into
base: master
Choose a base branch
from
Open

Add downstreams of value-inference #331

wants to merge 36 commits into from

Commits on Nov 7, 2019

  1. Added operation kind for comparable constraints encoder and its slot

    @txiang61
    txiang61 committed Nov 7, 2019
    Configuration menu
    Copy the full SHA
    528c2d5 View commit details
    Browse the repository at this point in the history

  2. removed comparable slot

    @txiang61
    txiang61 committed Nov 7, 2019
    Configuration menu
    Copy the full SHA
    32777f4 View commit details
    Browse the repository at this point in the history

  3. remove unused code comparable slot cache

    @txiang61
    txiang61 committed Nov 7, 2019
    Configuration menu
    Copy the full SHA
    6c475a9 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2019

  1. Merge remote-tracking branch 'opprop/master' into binary_op

    @txiang61
    txiang61 committed Nov 15, 2019
    Configuration menu
    Copy the full SHA
    80b09d7 View commit details
    Browse the repository at this point in the history

  2. added comparable operation kind ANY and clean up code

    @txiang61
    txiang61 committed Nov 15, 2019
    Configuration menu
    Copy the full SHA
    3f4a4a0 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2019

  1. Change comparable constraint structure and rename operators

    @txiang61
    txiang61 committed Nov 21, 2019
    Configuration menu
    Copy the full SHA
    97e7261 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2020

  1. Merge remote-tracking branch 'opprop/master' into binary_op

    @txiang61
    txiang61 committed May 20, 2020
    Configuration menu
    Copy the full SHA
    db4f8b5 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2020

  1. Merge remote-tracking branch 'opprop/master' into binary_op

    @txiang61
    txiang61 committed Jun 26, 2020
    Configuration menu
    Copy the full SHA
    e2481ef View commit details
    Browse the repository at this point in the history

  2. Add comparison constraint instead of modifying comparable constriant … 

    …and add comparison result
    @txiang61
    txiang61 committed Jun 26, 2020
    Configuration menu
    Copy the full SHA
    9055975 View commit details
    Browse the repository at this point in the history

  3. clean up

    @txiang61
    txiang61 committed Jun 26, 2020
    Configuration menu
    Copy the full SHA
    b6e269c View commit details
    Browse the repository at this point in the history

  4. Update ComparisonVariableSlot.java

    @txiang61
    txiang61 authored Jun 26, 2020
    Configuration menu
    Copy the full SHA
    5b7df57 View commit details
    Browse the repository at this point in the history

  5. Update ComparisonConstraint.java

    @txiang61
    txiang61 authored Jun 26, 2020
    Configuration menu
    Copy the full SHA
    7cc9647 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2021

  1. Merge branch 'master' of https://github.com/opprop/checker-framework-… 

    …inference into binary_op
    @d367wang
    d367wang committed May 28, 2021
    Configuration menu
    Copy the full SHA
    18eb89b View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2021

  1. fix compile error

    @d367wang
    d367wang committed Jun 3, 2021
    Configuration menu
    Copy the full SHA
    d7f746f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/opprop/checker-framework-… 

    …inference into unify_comparison
    @d367wang
    d367wang committed Jun 3, 2021
    Configuration menu
    Copy the full SHA
    110eef2 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2021

  1. separate comparable and comparison

    @d367wang
    d367wang committed Jun 4, 2021
    Configuration menu
    Copy the full SHA
    73c4ac9 View commit details
    Browse the repository at this point in the history

  2. bug-fix

    @d367wang
    d367wang committed Jun 4, 2021
    Configuration menu
    Copy the full SHA
    300e147 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2021

  1. refine comparison operand with comparison variable slots

    @d367wang
    d367wang committed Jun 5, 2021
    Configuration menu
    Copy the full SHA
    45c9872 View commit details
    Browse the repository at this point in the history

  2. add test case

    @d367wang
    d367wang committed Jun 5, 2021
    Configuration menu
    Copy the full SHA
    2e4ccc0 View commit details
    Browse the repository at this point in the history

  3. add downstream value inference

    @d367wang
    d367wang committed Jun 5, 2021
    Configuration menu
    Copy the full SHA
    73690ea View commit details
    Browse the repository at this point in the history

  4. add units inference as downstreamOC

    @d367wang
    d367wang committed Jun 5, 2021
    Configuration menu
    Copy the full SHA
    bb1653c View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2021

  1. some refactors about z3smt constraint encoder

    @d367wang
    d367wang committed Jun 6, 2021
    Configuration menu
    Copy the full SHA
    cfd51e9 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2021

  1. Merge branch 'master' of https://github.com/opprop/checker-framework-… 

    …inference into downstream-value
    @d367wang
    d367wang committed Jun 7, 2021
    Configuration menu
    Copy the full SHA
    ae7633b View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2021

  1. fix bugs to pass value-inference

    @d367wang
    d367wang committed Jun 10, 2021
    Configuration menu
    Copy the full SHA
    4bf1456 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2021

  1. Merge branch 'master' of https://github.com/opprop/checker-framework-… 

    …inference into downstream-value
    @d367wang
    d367wang committed Aug 9, 2021
    Configuration menu
    Copy the full SHA
    10353f1 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2021

  1. Merge branch 'master' of https://github.com/opprop/checker-framework-… 

    …inference into downstream-value
    @d367wang
    d367wang committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    1eda4d7 View commit details
    Browse the repository at this point in the history

  2. fix compile-error

    @d367wang
    d367wang committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    26e89df View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2021

  1. Merge branch 'master' of https://github.com/opprop/checker-framework-… 

    …inference into downstream-value
    @d367wang
    d367wang committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    006849d View commit details
    Browse the repository at this point in the history

  2. config CI projects

    @d367wang
    d367wang committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    447ba2e View commit details
    Browse the repository at this point in the history

  3. encode ComparisonVariableSlot

    @d367wang
    d367wang committed Dec 17, 2021
    Configuration menu
    Copy the full SHA
    883eabc View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2022

  1. Merge branch 'master' of https://github.com/opprop/checker-framework-… 

    …inference into downstream-value
    @d367wang
    d367wang committed Jan 13, 2022
    Configuration menu
    Copy the full SHA
    1b3f8a9 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2022

  1. Merge branch 'master' of https://github.com/opprop/checker-framework-… 

    …inference into downstream-value
    @d367wang
    d367wang committed Jan 26, 2022
    Configuration menu
    Copy the full SHA
    19a7ade View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2022

  1. add arithmetic kind for compound assignment

    @d367wang
    d367wang committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    699c4f8 View commit details
    Browse the repository at this point in the history

  2. workaround for unsupported kinds of soft constraints

    @d367wang
    d367wang committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    898e2c2 View commit details
    Browse the repository at this point in the history

  3. undo changes

    @d367wang
    d367wang committed Feb 6, 2022
    Configuration menu
    Copy the full SHA
    f224e14 View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2022

  1. Merge branch 'master' of https://github.com/opprop/checker-framework-… 

    …inference into downstream-value
    @d367wang
    d367wang committed Feb 19, 2022
    Configuration menu
    Copy the full SHA
    fce992b View commit details
    Browse the repository at this point in the history