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

Replace Z3 phantom reference map by doubly-linked list. #355

Merged
merged 15 commits into from
Feb 13, 2024
Merged

Replace Z3 phantom reference map by doubly-linked list. #355

merged 15 commits into from
Feb 13, 2024

Commits on Feb 4, 2024

  1. Replaced Z3 phantom reference map by doubly-linked list.

    @ThomasHaas
    ThomasHaas committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    a87be90 View commit details
    Browse the repository at this point in the history

  2. Simplified phantom references by adding dummy head and tail nodes.

    @ThomasHaas
    ThomasHaas committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    c002dbe View commit details
    Browse the repository at this point in the history

  3. More cleanup

    @ThomasHaas
    ThomasHaas committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    29dbc3b View commit details
    Browse the repository at this point in the history

Commits on Feb 5, 2024

  1. Made Z3AstReference final and all methods private. 

    Added back force deletion of native objects.
    @ThomasHaas
    ThomasHaas committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    e5a1ecb View commit details
    Browse the repository at this point in the history

  2. Minor update.

    @ThomasHaas
    ThomasHaas committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    e456d89 View commit details
    Browse the repository at this point in the history

  3. Fixed stupid mistake

    @ThomasHaas
    ThomasHaas committed Feb 5, 2024
    Configuration menu
    Copy the full SHA
    16fd028 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Update src/org/sosy_lab/java_smt/solvers/z3/Z3FormulaCreator.java 

    Co-authored-by: Philipp Wendler <2545335+PhilippWendler@users.noreply.github.com>
    @ThomasHaas @PhilippWendler
    ThomasHaas and PhilippWendler committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    8f14db8 View commit details
    Browse the repository at this point in the history

  2. Clear reference queue after clearing reference list.

    @ThomasHaas
    ThomasHaas committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    588c807 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2024

  1. Evaluator: cleanup

    @kfriedberger
    kfriedberger committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    735b1e9 View commit details
    Browse the repository at this point in the history

  2. sosy-lab#352: add model-evaluation for floating-point numbers.

    @kfriedberger
    kfriedberger committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    03ecdc3 View commit details
    Browse the repository at this point in the history

  3. sosy-lab#357: replace check for boolean constants with direct pointer… 

    … comparison.

Z3 uses internal formula hashing,
thus there should not be multiple pointers to the same boolean constants.

This reduces the number of JNI calls for some simple cases.
    @kfriedberger
    kfriedberger committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    c185d4a View commit details
    Browse the repository at this point in the history

  4. reduce expiration time for artifact of build-dependencies. 

    Build-dependencies produce the largest artifact, around 160 MB for JavaSMT.
We do not need those artifacts being around for longer.
The latest artifact of a repository is kept for longer than this expiration time,
so this change should not affect the reuse of any build-cache.
    @kfriedberger
    kfriedberger committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    bd1c133 View commit details
    Browse the repository at this point in the history

  5. include more information about segmentation faults in build artifacts.

    @kfriedberger
    kfriedberger committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    5cfeb38 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/master' into ThomasHaas-phantomR… 

    …eferences
    @kfriedberger
    kfriedberger committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    3c6b3de View commit details
    Browse the repository at this point in the history

  7. fix warning about empty loop.

    @kfriedberger
    kfriedberger committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    d5e7b7d View commit details
    Browse the repository at this point in the history