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

Subsumption and Subsumption Resolution via SAT solving #546

Merged
merged 550 commits into from
Jul 19, 2024
Merged

Subsumption and Subsumption Resolution via SAT solving #546

merged 550 commits into from
Jul 19, 2024
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Feb 17, 2022

  1. Remove minisat

    @JakobR
    JakobR committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    063dc92 View commit details
    Browse the repository at this point in the history

  2. token

    @JakobR
    JakobR committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    bdcd2bd View commit details
    Browse the repository at this point in the history

  3. cache bindings

    @JakobR
    JakobR committed Feb 17, 2022
    Configuration menu
    Copy the full SHA
    07ba33c View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2022

  1. seems to work

    @JakobR
    JakobR committed Feb 19, 2022
    Configuration menu
    Copy the full SHA
    40022ae View commit details
    Browse the repository at this point in the history

  2. don't leak

    @JakobR
    JakobR committed Feb 19, 2022
    Configuration menu
    Copy the full SHA
    7cb7df6 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2022

  1. bugfix and make it testable

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    2ebcfbf View commit details
    Browse the repository at this point in the history

  2. wtf

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    58f6853 View commit details
    Browse the repository at this point in the history

  3. includes for gcc

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    3c513b0 View commit details
    Browse the repository at this point in the history

  4. warnings

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    3c54935 View commit details
    Browse the repository at this point in the history

  5. gcc compile error

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    071b259 View commit details
    Browse the repository at this point in the history

  6. hmm

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    adf461f View commit details
    Browse the repository at this point in the history

  7. warning

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    0def54e View commit details
    Browse the repository at this point in the history

  8. gcc compile error

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    7f4e014 View commit details
    Browse the repository at this point in the history

  9. tweaks

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    d6de884 View commit details
    Browse the repository at this point in the history

  10. do first run without setup

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    e7449d1 View commit details
    Browse the repository at this point in the history

  11. minor tweak: we don't *always* need to clear the solver

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    f741f86 View commit details
    Browse the repository at this point in the history

  12. there's a stupid bug in the slogs but I have no idea what it is :(

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    ed817f1 View commit details
    Browse the repository at this point in the history

  13. correct the resLitIdx before logging

    @JakobR
    JakobR committed Feb 20, 2022
    Configuration menu
    Copy the full SHA
    561a461 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2022

  1. update slog parser

    @JakobR
    JakobR committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    37fb509 View commit details
    Browse the repository at this point in the history

  2. slog fix

    @JakobR
    JakobR committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    bae5726 View commit details
    Browse the repository at this point in the history

  3. measure orig_setup

    @JakobR
    JakobR committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    b4aa03a View commit details
    Browse the repository at this point in the history

  4. more faithful MLMatcher usage

    @JakobR
    JakobR committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    cc317e2 View commit details
    Browse the repository at this point in the history

  5. properly skip of already-handled instances

    @JakobR
    JakobR committed Feb 21, 2022
    Configuration menu
    Copy the full SHA
    ea42c90 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2022

  1. don't check S/SR in release mode

    @JakobR
    JakobR committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    05d2845 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2022

  1. slight optimization

    @JakobR
    JakobR committed Feb 23, 2022
    Configuration menu
    Copy the full SHA
    22a823a View commit details
    Browse the repository at this point in the history

  2. remove comment

    @JakobR
    JakobR committed Feb 23, 2022
    Configuration menu
    Copy the full SHA
    cf4a030 View commit details
    Browse the repository at this point in the history

  3. do less runs

    @JakobR
    JakobR committed Feb 23, 2022
    Configuration menu
    Copy the full SHA
    4ba46bc View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2022

  1. try shorter clause (or rather, an exactly-one constraint)

    @JakobR
    JakobR committed Feb 24, 2022
    Configuration menu
    Copy the full SHA
    3c51fa9 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2022

  1. do another run with S enabled

    @JakobR
    JakobR committed Feb 26, 2022
    Configuration menu
    Copy the full SHA
    37d03ed View commit details
    Browse the repository at this point in the history

  2. fix

    @JakobR
    JakobR committed Feb 26, 2022
    Configuration menu
    Copy the full SHA
    6483620 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2022

  1. minor

    @JakobR
    JakobR committed May 1, 2022
    Configuration menu
    Copy the full SHA
    675bbd7 View commit details
    Browse the repository at this point in the history

  2. wip

    @JakobR
    JakobR committed May 1, 2022
    Configuration menu
    Copy the full SHA
    9fc9fcb View commit details
    Browse the repository at this point in the history

  3. ok this probably isn't going to change much for us

    @JakobR
    JakobR committed May 1, 2022
    Configuration menu
    Copy the full SHA
    75eaaec View commit details
    Browse the repository at this point in the history

Commits on May 16, 2022

  1. add setting to allow disabling solver reuse

    @JakobR
    JakobR committed May 16, 2022
    Configuration menu
    Copy the full SHA
    6dee16c View commit details
    Browse the repository at this point in the history

  2. disable solver reuse for test

    @JakobR
    JakobR committed May 16, 2022
    Configuration menu
    Copy the full SHA
    adcfea5 View commit details
    Browse the repository at this point in the history

  3. no need to re-run orig here

    @JakobR
    JakobR committed May 16, 2022
    Configuration menu
    Copy the full SHA
    d28abc1 View commit details
    Browse the repository at this point in the history

  4. re-enable solver reuse so I don't forget later

    @JakobR
    JakobR committed May 16, 2022
    Configuration menu
    Copy the full SHA
    4e820bb View commit details
    Browse the repository at this point in the history

Commits on May 18, 2022

  1. try vmtf

    @JakobR
    JakobR committed May 18, 2022
    Configuration menu
    Copy the full SHA
    c9c7e6f View commit details
    Browse the repository at this point in the history

  2. again, we don't need to re-run orig

    @JakobR
    JakobR committed May 18, 2022
    Configuration menu
    Copy the full SHA
    da18f21 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2022

  1. rename folder

    @JakobR
    JakobR committed May 21, 2022
    Configuration menu
    Copy the full SHA
    22040dc View commit details
    Browse the repository at this point in the history

  2. remove wrong license comment; old files

    @JakobR
    JakobR committed May 21, 2022
    Configuration menu
    Copy the full SHA
    4a57c4c View commit details
    Browse the repository at this point in the history

  3. undo temporary changes

    @JakobR
    JakobR committed May 21, 2022
    Configuration menu
    Copy the full SHA
    d118b31 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2022

  1. remove more outdated code

    @JakobR
    JakobR committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    89239db View commit details
    Browse the repository at this point in the history

  2. comments

    @JakobR
    JakobR committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    1e759fc View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2022

  1. benchmark SAT vs. UNSAT

    @JakobR
    JakobR committed Jul 30, 2022
    Configuration menu
    Copy the full SHA
    25a2f4d View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2022

  1. try to decide unknowns

    @JakobR
    JakobR committed Jul 31, 2022
    Configuration menu
    Copy the full SHA
    5c1624f View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2022

  1. now the real benchmark

    @JakobR
    JakobR committed Aug 1, 2022
    Configuration menu
    Copy the full SHA
    c5bc381 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2022

  1. enable regular benchmark again

    @JakobR
    JakobR committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    1a41dac View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2022

  1. noreuse

    @JakobR
    JakobR committed Aug 3, 2022
    Configuration menu
    Copy the full SHA
    6db109a View commit details
    Browse the repository at this point in the history

  2. vmtf

    @JakobR
    JakobR committed Aug 3, 2022
    Configuration menu
    Copy the full SHA
    8b5363a View commit details
    Browse the repository at this point in the history

  3. default cfg

    @JakobR
    JakobR committed Aug 3, 2022
    Configuration menu
    Copy the full SHA
    f28a668 View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2022

  1. Apply clang-format

    @JakobR
    JakobR committed Oct 10, 2022
    Configuration menu
    Copy the full SHA
    e1fe48b View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2022

  1. Merge branch 'master' into sat-subsumption

    @JakobR
    JakobR committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    1db2c2e View commit details
    Browse the repository at this point in the history

  2. fix

    @JakobR
    JakobR committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    d74793b View commit details
    Browse the repository at this point in the history

  3. make sure the default copy/move constructors are generated

    @JakobR
    JakobR committed Oct 13, 2022
    Configuration menu
    Copy the full SHA
    e6696a5 View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2022

  1. Rename files (SMT -> SAT)

    @JakobR
    JakobR committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    e73b676 View commit details
    Browse the repository at this point in the history

  2. Replace SMT -> SAT

    @JakobR
    JakobR committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    1f6f8d5 View commit details
    Browse the repository at this point in the history

  3. More replacements

    @JakobR
    JakobR committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    5ba66a9 View commit details
    Browse the repository at this point in the history

  4. First implementation of subsumption resolution

    Coutelier Robin committed Oct 14, 2022
    Configuration menu
    Copy the full SHA
    211879f View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2022

  1. update interface, impl second encoding, impr doc

    Coutelier Robin committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    169adcc View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2022

  1. Included Jakob's subsumption

    Coutelier Robin committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    8614280 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2022

  1. Fixes on Subsumption + efficiency of matching

    Coutelier Robin committed Oct 18, 2022
    Configuration menu
    Copy the full SHA
    d7a09a8 View commit details
    Browse the repository at this point in the history

  2. Fixed the bug seen by micheal

    Coutelier Robin committed Oct 18, 2022
    Configuration menu
    Copy the full SHA
    a42434c View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2022

  1. update ForwardInterface, improve sat speed

    Coutelier Robin committed Oct 20, 2022
    Configuration menu
    Copy the full SHA
    8ef5a1c View commit details
    Browse the repository at this point in the history

  2. buggy version for Micheal

    Coutelier Robin committed Oct 20, 2022
    Configuration menu
    Copy the full SHA
    1c07f60 View commit details
    Browse the repository at this point in the history

  3. Forward subsumption with sat approach

    Coutelier Robin committed Oct 20, 2022
    Configuration menu
    Copy the full SHA
    539618b View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2022

  1. Slight performance increase

    Coutelier Robin committed Oct 21, 2022
    Configuration menu
    Copy the full SHA
    c01f769 View commit details
    Browse the repository at this point in the history

  2. Pre-fill the match set when doing subsumption

    Coutelier Robin committed Oct 21, 2022
    Configuration menu
    Copy the full SHA
    334db30 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2022

  1. Reduce the number of clause tested

    Coutelier Robin committed Oct 24, 2022
    Configuration menu
    Copy the full SHA
    ce2fb14 View commit details
    Browse the repository at this point in the history

  2. Make it faster with hashmaps

    Coutelier Robin committed Oct 24, 2022
    Configuration menu
    Copy the full SHA
    61f70a1 View commit details
    Browse the repository at this point in the history

  3. Cleaning some code + fix minor bug

    Coutelier Robin committed Oct 24, 2022
    Configuration menu
    Copy the full SHA
    adf88cd View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2022

  1. Fix log namespace conflict

    Coutelier Robin committed Oct 25, 2022
    Configuration menu
    Copy the full SHA
    ffd8cf1 View commit details
    Browse the repository at this point in the history

  2. First try at chain resolution

    Coutelier Robin committed Oct 25, 2022
    Configuration menu
    Copy the full SHA
    4a2b614 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2022

  1. commit to merge master on this branch

    Coutelier Robin committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    30144ad View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/sat-subsumption' into robin_c-su… 

    …bsumption_resolution
    Coutelier Robin committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    53bd6ba View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into robin_c-subsumption… 

    …_resolution
    Coutelier Robin committed Oct 28, 2022
    Configuration menu
    Copy the full SHA
    6659044 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2022

  1. Still fails an assertion

    Coutelier Robin committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    a704570 View commit details
    Browse the repository at this point in the history

  2. fix wrong #if #else

    Coutelier Robin committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    efe993d View commit details
    Browse the repository at this point in the history

  3. fix an option problem

    Coutelier Robin committed Oct 31, 2022
    Configuration menu
    Copy the full SHA
    1e591f2 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2022

  1. Added the separate loops + stats

    Coutelier Robin committed Nov 6, 2022
    Configuration menu
    Copy the full SHA
    f3c551e View commit details
    Browse the repository at this point in the history

  2. fixes on the backward method

    Coutelier Robin committed Nov 6, 2022
    Configuration menu
    Copy the full SHA
    f2f40e0 View commit details
    Browse the repository at this point in the history

  3. clean + more tests

    Coutelier Robin committed Nov 6, 2022
    Configuration menu
    Copy the full SHA
    1d8f6d0 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2022

  1. buggy code for Micheal

    Coutelier Robin committed Nov 8, 2022
    Configuration menu
    Copy the full SHA
    a104848 View commit details
    Browse the repository at this point in the history

  2. fix the bug of allocation

    Coutelier Robin committed Nov 8, 2022
    Configuration menu
    Copy the full SHA
    bb8ba88 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2022

  1. First benchmarking method

    Coutelier Robin committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    09bb106 View commit details
    Browse the repository at this point in the history

  2. Implement benchmarking procedure

    Coutelier Robin committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    1c91f73 View commit details
    Browse the repository at this point in the history

  3. fixing the problem with option 2

    Coutelier Robin committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    90d1c68 View commit details
    Browse the repository at this point in the history

  4. clean up

    Coutelier Robin committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    f7de096 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2022

  1. Benchmarking version (cleaned, ready for optimization)

    Coutelier Robin committed Nov 15, 2022
    Configuration menu
    Copy the full SHA
    9132a4b View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2022

  1. keeping the variables and bindings between sub and sr

    Coutelier Robin committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    f4ed676 View commit details
    Browse the repository at this point in the history

  2. Fix compilation on macOS

    @JakobR
    JakobR committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    7fa43bb View commit details
    Browse the repository at this point in the history

  3. Explicitly specify namespace in macro

    @JakobR
    JakobR committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    add9e53 View commit details
    Browse the repository at this point in the history

  4. Fix allocator use in subsat::decision_queue

    @JakobR
    JakobR committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    e38fd64 View commit details
    Browse the repository at this point in the history

  5. cmake's "option" only supports boolean values; use "set" instead

    @JakobR
    JakobR committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    a1764ac View commit details
    Browse the repository at this point in the history

  6. Fix subsat::clear_constraints with VDOM heuristic

    @JakobR
    JakobR committed Nov 16, 2022
    Configuration menu
    Copy the full SHA
    d81b9c7 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2022

  1. Added some pruning

    Coutelier Robin committed Nov 18, 2022
    Configuration menu
    Copy the full SHA
    5f35005 View commit details
    Browse the repository at this point in the history

  2. clean up + update documentation

    Coutelier Robin committed Nov 18, 2022
    Configuration menu
    Copy the full SHA
    cc91eee View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2022

  1. optimisations - hopefully no bugs

    @MichaelRawson
    MichaelRawson committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    1a8110e View commit details
    Browse the repository at this point in the history

  2. make unit tests compile

    @MichaelRawson
    MichaelRawson committed Nov 23, 2022
    Configuration menu
    Copy the full SHA
    fad3021 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2022

  1. find a way to express Robin's original implementation: should now be … 

    …bug-lite
    @MichaelRawson
    MichaelRawson committed Nov 24, 2022
    Configuration menu
    Copy the full SHA
    13d1f16 View commit details
    Browse the repository at this point in the history

  2. the literal thing

    @MichaelRawson
    MichaelRawson committed Nov 24, 2022
    Configuration menu
    Copy the full SHA
    9aeb3b8 View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2022

  1. add time correlation measures (disabled)

    Coutelier Robin committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    84f9bd2 View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2022

  1. modify the wrapping of correlation measurement

    Coutelier Robin committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    276e0de View commit details
    Browse the repository at this point in the history

  2. compile

    @JakobR
    JakobR committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    c1ebe2d View commit details
    Browse the repository at this point in the history

  3. Print configuration with --version

    @JakobR
    JakobR committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    40f9361 View commit details
    Browse the repository at this point in the history

  4. Remove google benchmark submodule

    @JakobR
    JakobR committed Dec 23, 2022
    Configuration menu
    Copy the full SHA
    e9b2b6d View commit details
    Browse the repository at this point in the history

Commits on Dec 29, 2022

  1. fixed a bug in backward mode

    Coutelier Robin committed Dec 29, 2022
    Configuration menu
    Copy the full SHA
    ce7d410 View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2023

  1. resize _jStates as necessary

    @MichaelRawson
    MichaelRawson committed Jan 3, 2023
    Configuration menu
    Copy the full SHA
    fe6c056 View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2023

  1. small fix for heat maps

    Coutelier Robin committed Jan 13, 2023
    Configuration menu
    Copy the full SHA
    8a4ef45 View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2023

  1. Merge branch 'master' into robin_c-subsumption_resolution

    Coutelier Robin committed Feb 25, 2023
    Configuration menu
    Copy the full SHA
    587d201 View commit details
    Browse the repository at this point in the history

  2. fix the merge but adding the include

    Coutelier Robin committed Feb 25, 2023
    Configuration menu
    Copy the full SHA
    7d8d8cc View commit details
    Browse the repository at this point in the history

  3. deactivate chaining

    Coutelier Robin committed Feb 25, 2023
    Configuration menu
    Copy the full SHA
    8d5b6db View commit details
    Browse the repository at this point in the history

  4. remove the chaining of subsumption resolution

    Coutelier Robin committed Feb 25, 2023
    Configuration menu
    Copy the full SHA
    66e8f0c View commit details
    Browse the repository at this point in the history

  5. fix the nullary symbol problem

    Coutelier Robin committed Feb 25, 2023
    Configuration menu
    Copy the full SHA
    16bc9e8 View commit details
    Browse the repository at this point in the history

  6. clean up

    Coutelier Robin committed Feb 25, 2023
    Configuration menu
    Copy the full SHA
    a6ade3d View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. small fixes and code clean up

    @RobCoutel
    RobCoutel committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    16df2fa View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into robin_c-subsumption… 

    …_resolution
    @RobCoutel
    RobCoutel committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    ee31810 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. enable choosing between the encodings

    @RobCoutel
    RobCoutel committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    7d9f816 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2023

  1. Remove allocator template argument from subsat solver

    @JakobR
    JakobR committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    0dbd005 View commit details
    Browse the repository at this point in the history

  2. Appease the compiler

    @JakobR
    JakobR committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    d7bd8ef View commit details
    Browse the repository at this point in the history

  3. Remove obsolete CLASS_NAME

    @JakobR
    JakobR committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    f232570 View commit details
    Browse the repository at this point in the history

  4. Get rid of SolverWrapper

    @JakobR
    JakobR committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    e14d921 View commit details
    Browse the repository at this point in the history

  5. Remove obsolete BYPASSING_ALLOCATOR

    @JakobR
    JakobR committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    36bfc91 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/master' into jakob-sat-sr

    @JakobR
    JakobR committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    0366489 View commit details
    Browse the repository at this point in the history

  7. Minor fixes

    @JakobR
    JakobR committed Nov 22, 2023
    Configuration menu
    Copy the full SHA
    b2dd172 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. Reoganize the Benchmarking system. 

    Change the compile options
    @RobCoutel
    RobCoutel committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    453d107 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/robin_c-subsumption_resolution' … 

    …into jakob-sat-sr
    @JakobR
    JakobR committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    79c15b4 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2023

  1. optimize loop at runtime

    @RobCoutel
    RobCoutel committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    0aafbac View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2023

  1. fixed the benchmarks not creating data for training

    @RobCoutel
    RobCoutel committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    611bc53 View commit details
    Browse the repository at this point in the history

  2. Split unit propagation

    @JakobR
    JakobR committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    3cf26ee View commit details
    Browse the repository at this point in the history

  3. Count ticks during propagation

    @JakobR
    JakobR committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    6ce499d View commit details
    Browse the repository at this point in the history

  4. Count ticks during conflict analysis

    @JakobR
    JakobR committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    eb95cbb View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. Initialize satSubs only once

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    e57a616 View commit details
    Browse the repository at this point in the history

  2. Fix warnings

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    ad56cb0 View commit details
    Browse the repository at this point in the history

  3. Log SAT solver ticks

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    fbba4e4 View commit details
    Browse the repository at this point in the history

  4. Move globals into object, do not use std::vector<bool>

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    5787db8 View commit details
    Browse the repository at this point in the history

  5. Minor refactor

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    dcec2fb View commit details
    Browse the repository at this point in the history

  6. TPTPPrinter: add method to print a literal as if it were a unit clause

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    f6bfa50 View commit details
    Browse the repository at this point in the history

  7. Add 'sbench' mode

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    10e7ecd View commit details
    Browse the repository at this point in the history

  8. Add ForwardSubsumptionLogger

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    fc0121c View commit details
    Browse the repository at this point in the history

  9. Log subsumption and subsumption resolution calls

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    cb728e3 View commit details
    Browse the repository at this point in the history

  10. Parse subsumption logs

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    5f4b36d View commit details
    Browse the repository at this point in the history

  11. Fix uninitialized clause idx

    @JakobR
    JakobR committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    58c7094 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. two levels of SAT solver statistics

    @JakobR
    JakobR committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    c2d7b06 View commit details
    Browse the repository at this point in the history

  2. Print subsat config in --version

    @JakobR
    JakobR committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    e2fc2d5 View commit details
    Browse the repository at this point in the history

  3. Rename sbench -> sreplay

    @JakobR
    JakobR committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    cdb64e8 View commit details
    Browse the repository at this point in the history

  4. Log more SAT stats

    @JakobR
    JakobR committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    392a4c5 View commit details
    Browse the repository at this point in the history

  5. Print all(?) SAT-SR-related compile options in --version

    @JakobR
    JakobR committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    0289083 View commit details
    Browse the repository at this point in the history

  6. Disable clause logging by default

    @JakobR
    JakobR committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    9a80762 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2023

  1. Merge branch 'master' into jakob-sat-sr

    @JakobR
    JakobR committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    a99a7f3 View commit details
    Browse the repository at this point in the history

  2. no need for explicit destructor definition

    @JakobR
    JakobR committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    a84bb90 View commit details
    Browse the repository at this point in the history

  3. limits

    @JakobR
    JakobR committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    3fb1d08 View commit details
    Browse the repository at this point in the history

  4. also print names of compile config vars

    @JakobR
    JakobR committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    bfb954e View commit details
    Browse the repository at this point in the history

  5. fix

    @JakobR
    JakobR committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    db9dc6b View commit details
    Browse the repository at this point in the history

  6. fix warning? 

    No, it is apparently a bug in gcc: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66159
    @JakobR
    JakobR committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    e73b094 View commit details
    Browse the repository at this point in the history

  7. Log subsumption stats, and include result

    @JakobR
    JakobR committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    64fb68a View commit details
    Browse the repository at this point in the history

  8. reduce output

    @JakobR
    JakobR committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    a9ed303 View commit details
    Browse the repository at this point in the history

  9. damn

    @JakobR
    JakobR committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    d2d2cca View commit details
    Browse the repository at this point in the history

  10. only log the big ones

    @JakobR
    JakobR committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    abfce41 View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2024

  1. clock info

    @JakobR
    JakobR committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    3dfb800 View commit details
    Browse the repository at this point in the history

  2. Use steady_clock for benchmarking

    @JakobR
    JakobR committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    21e8597 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into jakob-sat-sr

    @JakobR
    JakobR committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    5ecbf1a View commit details
    Browse the repository at this point in the history

  4. Flush after each line and defer timeouts while printing

    @JakobR
    JakobR committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    015516e View commit details
    Browse the repository at this point in the history

  5. We need the original, non-normalized literal

    @JakobR
    JakobR committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    f6579e2 View commit details
    Browse the repository at this point in the history

  6. let's be explicit about the units we use for time

    @JakobR
    JakobR committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    09d1b34 View commit details
    Browse the repository at this point in the history

  7. fix for CORRELATE_LENGTH_TIME=0

    @JakobR
    JakobR committed Jan 2, 2024
    Configuration menu
    Copy the full SHA
    dff855c View commit details
    Browse the repository at this point in the history

Commits on Jan 3, 2024

  1. Keep order of checks as they appear in the logfile

    @JakobR
    JakobR committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    8315373 View commit details
    Browse the repository at this point in the history

  2. Extract configuration name

    @JakobR
    JakobR committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    48e83c1 View commit details
    Browse the repository at this point in the history

  3. Implement subsumption replay mode

    @JakobR
    JakobR committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    b4b1e9c View commit details
    Browse the repository at this point in the history

  4. fw subsumption rounds

    @JakobR
    JakobR committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    211f0d4 View commit details
    Browse the repository at this point in the history

  5. add cmake options

    @JakobR
    JakobR committed Jan 3, 2024
    Configuration menu
    Copy the full SHA
    35149b2 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2024

  1. typo

    @JakobR
    JakobR committed Jan 4, 2024
    Configuration menu
    Copy the full SHA
    652b483 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. log sparsity again (now via number of matches)

    @JakobR
    JakobR committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    b33b40e View commit details
    Browse the repository at this point in the history

  2. remove filtering

    @JakobR
    JakobR committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    1acdd38 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. update the heuristic

    @RobCoutel
    RobCoutel committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    15988f0 View commit details
    Browse the repository at this point in the history

  2. update heuristic again

    @JakobR
    JakobR committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    7472fd4 View commit details
    Browse the repository at this point in the history

  3. flush output

    @JakobR
    JakobR committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    e147cbd View commit details
    Browse the repository at this point in the history

  4. clarifying comments

    @JakobR
    JakobR committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    83b5b24 View commit details
    Browse the repository at this point in the history

  5. disable logging in the oracle

    @JakobR
    JakobR committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    201fc24 View commit details
    Browse the repository at this point in the history

  6. fence off clock operations

    @JakobR
    JakobR committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    00b562e View commit details
    Browse the repository at this point in the history

  7. don't round duration

    @JakobR
    JakobR committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    90cec00 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. pruneSubsumptionResolution: reset vector less often

    @JakobR
    JakobR committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    7c2dc60 View commit details
    Browse the repository at this point in the history

  2. reduce resets in pruneSubsumption, use same vector for both prunings

    @JakobR
    JakobR committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    02406cc View commit details
    Browse the repository at this point in the history

  3. skip max_timestamp computation

    @JakobR
    JakobR committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    d511789 View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2024

  1. don't touch statistics in oracle

    @JakobR
    JakobR committed Jan 14, 2024
    Configuration menu
    Copy the full SHA
    f2d236f View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2024

  1. rounds also for no_sat

    @JakobR
    JakobR committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    84c5f66 View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2024

  1. update decision tree

    @JakobR
    JakobR committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    6cf2a79 View commit details
    Browse the repository at this point in the history

  2. bug in replay

    @JakobR
    JakobR committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    102789e View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2024

  1. add cutoff option

    @JakobR
    JakobR committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    9986ce8 View commit details
    Browse the repository at this point in the history

  2. Add optional max_ticks limit

    @JakobR
    JakobR committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    b604bff View commit details
    Browse the repository at this point in the history

  3. implement cutoff for s/sr

    @JakobR
    JakobR committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    bc1bdab View commit details
    Browse the repository at this point in the history

  4. report number of cutoffs

    @JakobR
    JakobR committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    f88b0e8 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. Add pruning stats

    @RobCoutel
    RobCoutel committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    f1b9ee4 View commit details
    Browse the repository at this point in the history

  2. fix

    @JakobR
    JakobR committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    4a9c661 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. Merge branch 'jakob-sat-sr' into robin_c-subsumption_resolution

    @RobCoutel
    RobCoutel committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    ddfecd9 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2024

  1. bug in the test

    @RobCoutel
    RobCoutel committed Mar 22, 2024
    Configuration menu
    Copy the full SHA
    7975a6f View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. improved the indirect encodign by removing c_j encoding one single b_ij-

    @RobCoutel
    RobCoutel committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    afd4652 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/HEAD' into robin_c-subsumption_r… 

    …esolution
    @RobCoutel
    RobCoutel committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    da31ae2 View commit details
    Browse the repository at this point in the history

  3. fixed the compilation errors 

    still need to clean up all the benchamarking things
    @RobCoutel
    RobCoutel committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    4dc9408 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. remove all benchmarking code

    @RobCoutel
    RobCoutel committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    8f2607e View commit details
    Browse the repository at this point in the history

  2. reverse some of the formating changes

    @RobCoutel
    RobCoutel committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    ee9379f View commit details
    Browse the repository at this point in the history

  3. forgot to remove one option

    @RobCoutel
    RobCoutel committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    3f2d46b View commit details
    Browse the repository at this point in the history

  4. improved the documentation

    @RobCoutel
    RobCoutel committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    40fe242 View commit details
    Browse the repository at this point in the history

  5. add the missing headers

    @RobCoutel
    RobCoutel committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    fd6fa06 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2024

  1. remove extra line cause checks to crash

    @RobCoutel
    RobCoutel committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    e732f12 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. implement revisions suggested by Michael

    @RobCoutel
    RobCoutel committed Apr 24, 2024
    Configuration menu
    Copy the full SHA
    3cefe51 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Update Makefile

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    1da80d5 View commit details
    Browse the repository at this point in the history

  2. Rename iterator base class

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    9bb2b00 View commit details
    Browse the repository at this point in the history

  3. Add comments

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    e63c9fc View commit details
    Browse the repository at this point in the history

  4. Remove unused includes

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    c639133 View commit details
    Browse the repository at this point in the history

  5. BackwardSubsumptionAndResolution cleanup 

    - turn static 'subsumedSet' into member variable
- remove USE_ALLOCATOR
- remove unused function declaration
    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    3bc6029 View commit details
    Browse the repository at this point in the history

  6. restore 'const'

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    92400b5 View commit details
    Browse the repository at this point in the history

  7. update comment

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    771f051 View commit details
    Browse the repository at this point in the history

  8. change according to review

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    215dbbc View commit details
    Browse the repository at this point in the history

  9. Initialize MLMatcher::m_impl in the constructor

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    8f73972 View commit details
    Browse the repository at this point in the history

  10. Add comment on noexcept clause

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    d533d52 View commit details
    Browse the repository at this point in the history

  11. Remove .gitignore in subfolder

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    506be0f View commit details
    Browse the repository at this point in the history

  12. Remove USE_ALLOCATOR

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    6812c9c View commit details
    Browse the repository at this point in the history

  13. Remove non-Vampire definitions

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    ba5d0bc View commit details
    Browse the repository at this point in the history

  14. Move isAdditionOverflow into Lib/Int.hpp

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    5400b5b View commit details
    Browse the repository at this point in the history

  15. Extract Slice into separate file

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    fd4d37d View commit details
    Browse the repository at this point in the history

  16. Remove #define from header

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    6620c12 View commit details
    Browse the repository at this point in the history

  17. Remove pre-C++17 versions

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    807a81d View commit details
    Browse the repository at this point in the history

  18. Proper [[nodiscard]]

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    00c7fcc View commit details
    Browse the repository at this point in the history

  19. Only include when logging enabled

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    719a07c View commit details
    Browse the repository at this point in the history

  20. Move comment to the top

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    6ea8be3 View commit details
    Browse the repository at this point in the history

  21. Remove clock info output

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    a116537 View commit details
    Browse the repository at this point in the history

  22. Remove unimplemented functions

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    f5d72e5 View commit details
    Browse the repository at this point in the history

  23. Remove 'preprocess_very_lightly'

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    a0c4d62 View commit details
    Browse the repository at this point in the history

  24. inline SUBSAT_LEARN=1

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    0e21bad View commit details
    Browse the repository at this point in the history

  25. Inline SUBSAT_SIMPLIFY_CLAUSES=1 SUBSAT_SIMPLIFY_AMOS=1

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    fae9285 View commit details
    Browse the repository at this point in the history

  26. Inline SUBSAT_MINIMIZE=0

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    7abc658 View commit details
    Browse the repository at this point in the history

  27. Inline SUBSAT_PHASE_SAVING=0

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    5b44e19 View commit details
    Browse the repository at this point in the history

  28. Set SUBSAT_EXPENSIVE_ASSERTIONS=0

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    5e1762b View commit details
    Browse the repository at this point in the history

  29. Match::operator<<

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    f5fd1de View commit details
    Browse the repository at this point in the history

  30. Use Vampire-style assertions

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    531b854 View commit details
    Browse the repository at this point in the history

  31. Restore Statistics.cpp from master branch

    @JakobR
    JakobR committed May 17, 2024
    Configuration menu
    Copy the full SHA
    f1f33e1 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Merge branch 'master' into robin_c-sat-s-sr-for-master

    @quickbeam123
    quickbeam123 committed May 20, 2024
    Configuration menu
    Copy the full SHA
    beca034 View commit details
    Browse the repository at this point in the history

  2. prevent the following: SATSubsumption/subsat/././subsat_config.hpp:18… 

    …:22: error: static assertion failed: VDEBUG and NDEBUG are not synchronized
    @quickbeam123
    quickbeam123 committed May 20, 2024
    Configuration menu
    Copy the full SHA
    bcd55ee View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. Move standalone subsat into the main CMakeLists.txt

    @JakobR
    JakobR committed May 21, 2024
    Configuration menu
    Copy the full SHA
    59b780f View commit details
    Browse the repository at this point in the history

  2. Get rid of the SUBSAT_STANDALONE flag

    @JakobR
    JakobR committed May 21, 2024
    Configuration menu
    Copy the full SHA
    8b9bd4e View commit details
    Browse the repository at this point in the history

  3. Disable SAT solver statistics by default

    @JakobR
    JakobR committed May 21, 2024
    Configuration menu
    Copy the full SHA
    62aaa35 View commit details
    Browse the repository at this point in the history

  4. Simplify Constraint::header_bytes

    @JakobR
    JakobR committed May 21, 2024
    Configuration menu
    Copy the full SHA
    a4f7188 View commit details
    Browse the repository at this point in the history

  5. Remove both extra_i and extra_j

    @JakobR
    JakobR committed May 21, 2024
    Configuration menu
    Copy the full SHA
    4f56e29 View commit details
    Browse the repository at this point in the history

  6. Restore subsumption (resolution) statistics

    @JakobR
    JakobR committed May 21, 2024
    Configuration menu
    Copy the full SHA
    172a2bd View commit details
    Browse the repository at this point in the history

  7. Remove the now-unused EncodingMethod type

    @JakobR
    JakobR committed May 21, 2024
    Configuration menu
    Copy the full SHA
    1f42144 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. Merge branch 'master' into robin_c-sat-s-sr-for-master

    @quickbeam123
    quickbeam123 committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    01bad98 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. Merge branch 'master' into robin_c-sat-s-sr-for-master

    @quickbeam123
    quickbeam123 committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    69ddc23 View commit details
    Browse the repository at this point in the history

  2. kicked out unnecessary _subsumedSet + adding doc

    @RobCoutel
    RobCoutel committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    3a29254 View commit details
    Browse the repository at this point in the history

  3. reintroduced the lost optimization on the least matchable literal + g… 

    …ot rid of goto
    @RobCoutel
    RobCoutel committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    796148f View commit details
    Browse the repository at this point in the history