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

fixing issue #4651 #4666

Merged
merged 80 commits into from
Sep 8, 2020
Merged

fixing issue #4651 #4666

merged 80 commits into from
Sep 8, 2020

Commits on Aug 27, 2020

  1. fixing issue Z3Prover#4651

    @veanes
    veanes committed Aug 27, 2020
    Configuration menu
    Copy the full SHA
    bc6c81d View commit details
    Browse the repository at this point in the history

  2. regression fix

    @veanes
    veanes committed Aug 27, 2020
    Configuration menu
    Copy the full SHA
    13259bf View commit details
    Browse the repository at this point in the history

  3. fix Z3Prover#4662 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 27, 2020
    Configuration menu
    Copy the full SHA
    872fd5e View commit details
    Browse the repository at this point in the history

  4. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 27, 2020
    Configuration menu
    Copy the full SHA
    6706b0d View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2020

  1. reenabled lift_ites_throttled with an additional filter, without the … 

    …filter finding the model in report Z3Prover#4651 goes from .02s to 20s, also updated pretty printing of regexes to be more accurate
    @veanes
    veanes committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    9b201c5 View commit details
    Browse the repository at this point in the history

  2. removing temp testing variable

    @veanes
    veanes committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    6d408fd View commit details
    Browse the repository at this point in the history

  3. Allow to skip System.loadLibrary() calls from Java Native class (Z3Pr… 

    …over#4667)
    @vlsergey
    vlsergey authored Aug 28, 2020
    Configuration menu
    Copy the full SHA
    7f0b5bc View commit details
    Browse the repository at this point in the history

  4. using intended utility methods for sort detection

    @veanes
    veanes committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    6989ff7 View commit details
    Browse the repository at this point in the history

  5. adding ack/model 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    4244ce4 View commit details
    Browse the repository at this point in the history

  6. add smt params dependency 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    0440cfe View commit details
    Browse the repository at this point in the history

  7. missing file 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    ba21ffa View commit details
    Browse the repository at this point in the history

  8. deps 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    b03d1c8 View commit details
    Browse the repository at this point in the history

  9. order 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    86c11b9 View commit details
    Browse the repository at this point in the history

  10. persist fields 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    93ee2a6 View commit details
    Browse the repository at this point in the history

  11. dbg build 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    739b537 View commit details
    Browse the repository at this point in the history

  12. reset caches 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    b8fb744 View commit details
    Browse the repository at this point in the history

  13. sr 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 28, 2020
    Configuration menu
    Copy the full SHA
    60f8884 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2020

  1. fix cmake build 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    4e6476c View commit details
    Browse the repository at this point in the history

  2. shuffle dependencies 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    b9cbb08 View commit details
    Browse the repository at this point in the history

  3. warnings /errors 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    79fc3f2 View commit details
    Browse the repository at this point in the history

  4. update include 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    e2bdf54 View commit details
    Browse the repository at this point in the history

  5. missing cmakelists 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    455d53e View commit details
    Browse the repository at this point in the history

  6. update cmake 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    f6b242e View commit details
    Browse the repository at this point in the history

  7. add depend 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    7c592d4 View commit details
    Browse the repository at this point in the history

  8. add depend 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    98084d7 View commit details
    Browse the repository at this point in the history

  9. virtual method 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    4983805 View commit details
    Browse the repository at this point in the history

  10. path 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    507b4c7 View commit details
    Browse the repository at this point in the history

  11. move parameters from ast/rewriter to params 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    11c90cc View commit details
    Browse the repository at this point in the history

  12. move fpa 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    35e3d84 View commit details
    Browse the repository at this point in the history

  13. fix warnings 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    996905a View commit details
    Browse the repository at this point in the history

  14. remove pragma 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    a35d00e View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2020

  1. dbg 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    e9a4e48 View commit details
    Browse the repository at this point in the history

  2. updated sat_smt 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    86310a1 View commit details
    Browse the repository at this point in the history

  3. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    4682b48 View commit details
    Browse the repository at this point in the history

  4. fix Z3Prover#4651 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    e8826bb View commit details
    Browse the repository at this point in the history

  5. encoding options Z3Prover#4665 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    dbe2c9b View commit details
    Browse the repository at this point in the history

  6. expose name inclusion as optional 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    b992f59 View commit details
    Browse the repository at this point in the history

  7. fix misc issues around Z3Prover#4661 introduced when adding lazy push… 

    …/pop to selected theories

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    9b5dc0c View commit details
    Browse the repository at this point in the history

  8. remove lazy push from theory_lra 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    727ea43 View commit details
    Browse the repository at this point in the history

  9. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    9f0b303 View commit details
    Browse the repository at this point in the history

  10. fix dotnet build 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    2510686 View commit details
    Browse the repository at this point in the history

  11. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 30, 2020
    Configuration menu
    Copy the full SHA
    bbe027f View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2020

  1. release nodes 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    a003af4 View commit details
    Browse the repository at this point in the history

  2. free memory in egraph 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    bee3077 View commit details
    Browse the repository at this point in the history

  3. avoid duplicate class names frame in sat_scc and sat_smt 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    314bd92 View commit details
    Browse the repository at this point in the history

  4. adding euf 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    4d41db3 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2020

  1. elaborate on smt/drat format outline, expose euf mode as config 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 1, 2020
    Configuration menu
    Copy the full SHA
    ed7d969 View commit details
    Browse the repository at this point in the history

  2. mk-var during copy 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 1, 2020
    Configuration menu
    Copy the full SHA
    fa9cf0f View commit details
    Browse the repository at this point in the history

  3. move theory_var_list into id_var_list and utilities from smt-enode in… 

    …to it, prepare for theory variables in egraph

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 1, 2020
    Configuration menu
    Copy the full SHA
    d4e92d4 View commit details
    Browse the repository at this point in the history

  4. with bounded 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 1, 2020
    Configuration menu
    Copy the full SHA
    03e92f3 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' of https://github.com/z3prover/z3

    @NikolajBjorner
    NikolajBjorner committed Sep 1, 2020
    Configuration menu
    Copy the full SHA
    74a2bf1 View commit details
    Browse the repository at this point in the history

  6. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 1, 2020
    Configuration menu
    Copy the full SHA
    ecddaea View commit details
    Browse the repository at this point in the history

  7. Remove duplicate binary condition. Fixes Z3Prover#4668.

    @wintersteiger
    wintersteiger committed Sep 1, 2020
    Configuration menu
    Copy the full SHA
    527bf72 View commit details
    Browse the repository at this point in the history

  8. butterfly effect on fp? 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 1, 2020
    Configuration menu
    Copy the full SHA
    141edef View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2020

  1. prepare for theory plugins 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    1163908 View commit details
    Browse the repository at this point in the history

  2. file 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    daf7e9e View commit details
    Browse the repository at this point in the history

  3. build fix

    @NikolajBjorner
    NikolajBjorner committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    7c2fe46 View commit details
    Browse the repository at this point in the history

  4. remove SMTFD 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    54a75d6 View commit details
    Browse the repository at this point in the history

  5. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    4b22434 View commit details
    Browse the repository at this point in the history

  6. na

    @NikolajBjorner
    NikolajBjorner committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    95493f7 View commit details
    Browse the repository at this point in the history

  7. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    e4b7b7b View commit details
    Browse the repository at this point in the history

  8. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 2, 2020
    Configuration menu
    Copy the full SHA
    d83d0a8 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2020

  1. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    aa66be9 View commit details
    Browse the repository at this point in the history

  2. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    fe43f8d View commit details
    Browse the repository at this point in the history

  3. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    65bc77d View commit details
    Browse the repository at this point in the history

  4. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    7fbaf71 View commit details
    Browse the repository at this point in the history

  5. na 

    Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
    @NikolajBjorner
    NikolajBjorner committed Sep 3, 2020
    Configuration menu
    Copy the full SHA
    f370d8d View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2020

  1. SMTFD is back (Z3Prover#4676)

    @agurfinkel
    agurfinkel authored Sep 4, 2020
    Configuration menu
    Copy the full SHA
    687a16a View commit details
    Browse the repository at this point in the history

  2. fixing issue Z3Prover#4651

    @veanes
    veanes committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    3a6bd33 View commit details
    Browse the repository at this point in the history

  3. regression fix

    @veanes
    veanes committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    3e9d270 View commit details
    Browse the repository at this point in the history

  4. reenabled lift_ites_throttled with an additional filter, without the … 

    …filter finding the model in report Z3Prover#4651 goes from .02s to 20s, also updated pretty printing of regexes to be more accurate
    @veanes
    veanes committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    4886967 View commit details
    Browse the repository at this point in the history

  5. removing temp testing variable

    @veanes
    veanes committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    530ac5a View commit details
    Browse the repository at this point in the history

  6. using intended utility methods for sort detection

    @veanes
    veanes committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    bd11419 View commit details
    Browse the repository at this point in the history

  7. misc edits related to nonground regexes

    @veanes
    veanes committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    c0ccf85 View commit details
    Browse the repository at this point in the history

  8. bug fix of state id off by 1 calculation error and improved pretty pr… 

    …inting with regex tooltip generated in dgml state graph
    @veanes
    veanes committed Sep 4, 2020
    Configuration menu
    Copy the full SHA
    ca23365 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2020

  1. Merge branch 'fix4651' of https://github.com/veanes/z3 into fix4651

    @veanes
    veanes committed Sep 5, 2020
    Configuration menu
    Copy the full SHA
    0628f6c View commit details
    Browse the repository at this point in the history

  2. removed unused method declaration

    @veanes
    veanes committed Sep 5, 2020
    Configuration menu
    Copy the full SHA
    05f27b7 View commit details
    Browse the repository at this point in the history

  3. improved id to regex value map info in generated dgml

    @veanes
    veanes committed Sep 5, 2020
    Configuration menu
    Copy the full SHA
    2627721 View commit details
    Browse the repository at this point in the history

  4. reorgd callback function for state pretty printer

    @veanes
    veanes committed Sep 5, 2020
    Configuration menu
    Copy the full SHA
    07d4511 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2020

  1. updated some comments

    @veanes
    veanes committed Sep 6, 2020
    Configuration menu
    Copy the full SHA
    bab0823 View commit details
    Browse the repository at this point in the history