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

MaxSMT solver implementation #137

Draft
wants to merge 243 commits into
base: main
Choose a base branch
from
Draft

MaxSMT solver implementation #137

wants to merge 243 commits into from

Commits on Jun 22, 2023

  1. Proto is in progress

    @viktoriia-fomina
    viktoriia-fomina committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    0533a20 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2023

  1. Simple cases work

    @viktoriia-fomina
    viktoriia-fomina committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    561afed View commit details
    Browse the repository at this point in the history

  2. Refactor: getUnsatCoreOfConstraints, context

    @viktoriia-fomina
    viktoriia-fomina committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    9d02516 View commit details
    Browse the repository at this point in the history

  3. Do not keep and remove from formula hard constraints

    @viktoriia-fomina
    viktoriia-fomina committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    d8b4780 View commit details
    Browse the repository at this point in the history

  4. Split formula and soft constraints meaning

    @viktoriia-fomina
    viktoriia-fomina committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    c6351cd View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. Improve wording in variable names

    @viktoriia-fomina
    viktoriia-fomina committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    72d2f97 View commit details
    Browse the repository at this point in the history

  2. Update methods' order

    @viktoriia-fomina
    viktoriia-fomina committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    760d7d4 View commit details
    Browse the repository at this point in the history

  3. Do not keep and remove from formula hard constraints

    @viktoriia-fomina
    viktoriia-fomina committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    5ba890e View commit details
    Browse the repository at this point in the history

  4. Add smoke tests

    @viktoriia-fomina
    viktoriia-fomina committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    2efbc5b View commit details
    Browse the repository at this point in the history

  5. Merge main branch

    @viktoriia-fomina
    viktoriia-fomina committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    657e0a3 View commit details
    Browse the repository at this point in the history

  6. Fix bug with list subtraction im ApplyMaxRes, fix when styles, add mo… 

    …re tests
    @viktoriia-fomina
    viktoriia-fomina committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    00aa09a View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2023

  1. Support weighted soft constraints, soft constraints with duplicate ex… 

    …pression , add more tests, rename to MaxSat
    @viktoriia-fomina
    viktoriia-fomina committed Jun 27, 2023
    Configuration menu
    Copy the full SHA
    1ab1638 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. Create MaxSATResult class, generalize KMaxSATSolver class

    @viktoriia-fomina
    viktoriia-fomina committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    b44203b View commit details
    Browse the repository at this point in the history

  2. Improve tests, do unionSoftConstraintsWithSameExpressions when get fo… 

    …rmula,
    @viktoriia-fomina
    viktoriia-fomina committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    88bc4af View commit details
    Browse the repository at this point in the history

  3. Remove TODO from tests, add docs to methods, update their names

    @viktoriia-fomina
    viktoriia-fomina committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    cec69ed View commit details
    Browse the repository at this point in the history

  4. Simplify expression in checkMaxSAT (removes TODO)

    @viktoriia-fomina
    viktoriia-fomina committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    522c6a9 View commit details
    Browse the repository at this point in the history

  5. Add more comments

    @viktoriia-fomina
    viktoriia-fomina committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    7be0435 View commit details
    Browse the repository at this point in the history

  6. Do hard constraints work with push/pop

    @viktoriia-fomina
    viktoriia-fomina committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    ffff397 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. Support push/pop for soft constraints, use shorter expressions form i… 

    …n tests
    @viktoriia-fomina
    viktoriia-fomina committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    14d8bdd View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2023

  1. Optimize algorithm (remove added that is later removed), fix a bug in… 

    … split unsat core (if the same expressions weight was equal, both of them were added to the core).
    @viktoriia-fomina
    viktoriia-fomina committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    6b680c4 View commit details
    Browse the repository at this point in the history

  2. Add inequalities test

    @viktoriia-fomina
    viktoriia-fomina committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    3e9afec View commit details
    Browse the repository at this point in the history

  3. Rename soft constraint property: constraint -> expression

    @viktoriia-fomina
    viktoriia-fomina committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    3a14625 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2023

  1. Add timeout support, improve KMaxSATResult

    @viktoriia-fomina
    viktoriia-fomina committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    e3c07f3 View commit details
    Browse the repository at this point in the history

  2. Expression length growth: quadratic -> linear

    @viktoriia-fomina
    viktoriia-fomina committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    ae12b77 View commit details
    Browse the repository at this point in the history

  3. Return accidently removed

    @viktoriia-fomina
    viktoriia-fomina committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    68ba4ed View commit details
    Browse the repository at this point in the history

  4. Update build.gradle.kts for max-sat module

    @viktoriia-fomina
    viktoriia-fomina committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    c3ccb57 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2023

  1. applyMaxRes: add lost soft constraint, format code

    @viktoriia-fomina
    viktoriia-fomina committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    b44279f View commit details
    Browse the repository at this point in the history

  2. Use with(ctx) in solver for more readable expressions

    @viktoriia-fomina
    viktoriia-fomina committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    51739d6 View commit details
    Browse the repository at this point in the history

  3. Rewrite KOrNaryExpr through reduce

    @viktoriia-fomina
    viktoriia-fomina committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    908175d View commit details
    Browse the repository at this point in the history

  4. Throw NotImplementedError when unsat and timeout exceeded

    @viktoriia-fomina
    viktoriia-fomina committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    6aa4c50 View commit details
    Browse the repository at this point in the history

  5. Add comments to MaxSATScopeManager, remove redundant classes

    @viktoriia-fomina
    viktoriia-fomina committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    9d68212 View commit details
    Browse the repository at this point in the history

  6. Comment KMaxSATResult, add default value to pop in MaxSATScopeManager

    @viktoriia-fomina
    viktoriia-fomina committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    972a521 View commit details
    Browse the repository at this point in the history

  7. Refactor: more Kotlin style in MaxSATSolver

    @viktoriia-fomina
    viktoriia-fomina committed Jul 4, 2023
    Configuration menu
    Copy the full SHA
    da70d6e View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2023

  1. Remove useless file: Main.kt

    @viktoriia-fomina
    viktoriia-fomina committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    04d582d View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Do weight unsigned, fix reification variables markers (bugfix)

    @viktoriia-fomina
    viktoriia-fomina committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    c773870 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. Merge branch 'UnitTestBot:main' into max-sat

    @viktoriia-fomina
    viktoriia-fomina authored Jul 27, 2023
    Configuration menu
    Copy the full SHA
    c709ca9 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'max-sat' of https://github.com/victoriafomina/ksmt into… 

    … max-sat
    @viktoriia-fomina
    viktoriia-fomina committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    f19805e View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. Add timeout

    @viktoriia-fomina
    viktoriia-fomina committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    6b84643 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. Add ksmt-maxsat-tests project

    @viktoriia-fomina
    viktoriia-fomina committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    6feb1e6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into max-sat

    @viktoriia-fomina
    viktoriia-fomina authored Aug 7, 2023
    Configuration menu
    Copy the full SHA
    0e44ae2 View commit details
    Browse the repository at this point in the history

  3. Ignore maxsat test data

    @viktoriia-fomina
    viktoriia-fomina committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    52ab4e1 View commit details
    Browse the repository at this point in the history

  4. Update timeout value

    @viktoriia-fomina
    viktoriia-fomina committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    05fb157 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. Run benchmark on single runner

    @viktoriia-fomina
    viktoriia-fomina committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    472f367 View commit details
    Browse the repository at this point in the history

  2. Fix bug with return type in SmtLibBenchmarkUtil

    @viktoriia-fomina
    viktoriia-fomina committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    e3f1467 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

  1. Move MaxRes algorithm to a separate solver

    @viktoriia-fomina
    viktoriia-fomina committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    4642aff View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2023

  1. Use minOf instead of minBy

    @viktoriia-fomina
    viktoriia-fomina committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    7ed9360 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2023

  1. Implement primal dual MaxRes solver 

    - Add KPrimalDualMaxResSolver
- Rename: KMaxResSolver -> KPMResSolver
- Add KMaxResSolver (abstraction for solvers using MaxRes)
- Add objects: ModelUtils, CoreUtils and TimerUtils
- Add new unit tests
- Make tests run for both solvers
    @viktoriia-fomina
    viktoriia-fomina committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    a01c1bb View commit details
    Browse the repository at this point in the history

  2. Add timeout support for primal dual MaxRes solver

    @viktoriia-fomina
    viktoriia-fomina committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    d4b5c39 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. Add KMaxSatContext 

    - Support in KPrimalDualSolver two strategies: PrimalMaxRes and PrimalDualMaxRes
    @viktoriia-fomina
    viktoriia-fomina committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    d4422bd View commit details
    Browse the repository at this point in the history

  2. Fix tests: pass MaxSAT context to KPrimalDualMaxResSolver constructor

    @viktoriia-fomina
    viktoriia-fomina committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    73af599 View commit details
    Browse the repository at this point in the history

  3. Add hill-climb approach when checking satisfiability

    @viktoriia-fomina
    viktoriia-fomina committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    f584b31 View commit details
    Browse the repository at this point in the history

  4. Let extract a single core or multiple cores

    @viktoriia-fomina
    viktoriia-fomina committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    7eb8b40 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2023

  1. Fix a bug when getting a single core in KPrimalDualMaxResSolver

    @viktoriia-fomina
    viktoriia-fomina committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    59e652a View commit details
    Browse the repository at this point in the history

  2. Add unit tests for all configurations 

    * KPMResSolver
* KPrimalDualMaxResSolver (with configurations of large weight constraints for cores, cores minimization, getting multiple cores)
    @viktoriia-fomina
    viktoriia-fomina committed Sep 8, 2023
    Configuration menu
    Copy the full SHA
    43b6b69 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2023

  1. Support running MaxSMT benchmark tests

    @viktoriia-fomina
    viktoriia-fomina committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    18fe5a2 View commit details
    Browse the repository at this point in the history

  2. Add similar expressions test

    @viktoriia-fomina
    viktoriia-fomina committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    ce4a5fa View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

  1. Merge branch 'UnitTestBot:main' into max-sat

    @viktoriia-fomina
    viktoriia-fomina authored Oct 6, 2023
    Configuration menu
    Copy the full SHA
    931bde8 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. Set up running long MaxSMT tests

    @viktoriia-fomina
    viktoriia-fomina committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    72d21fe View commit details
    Browse the repository at this point in the history

  2. Merge branch 'UnitTestBot:main' into max-sat

    @viktoriia-fomina
    viktoriia-fomina authored Oct 19, 2023
    Configuration menu
    Copy the full SHA
    aaa6aa0 View commit details
    Browse the repository at this point in the history

  3. Rename MaxSATBenchmarkUtil to MaxSMTBenchmarkUtil

    @viktoriia-fomina
    viktoriia-fomina committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    8df4622 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2023

  1. Update test data directory

    @viktoriia-fomina
    viktoriia-fomina committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    0c722ca View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Create monitoring.sh

    @viktoriia-fomina
    viktoriia-fomina authored Oct 23, 2023
    Configuration menu
    Copy the full SHA
    8244dd8 View commit details
    Browse the repository at this point in the history

  2. Add monitoring to long tests launch

    @viktoriia-fomina
    viktoriia-fomina authored Oct 23, 2023
    Configuration menu
    Copy the full SHA
    8ce6098 View commit details
    Browse the repository at this point in the history

  3. Add more MaxSMT unit tests

    @viktoriia-fomina
    viktoriia-fomina committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    2999243 View commit details
    Browse the repository at this point in the history

  4. Add messages to MaxSMT benchmark tests assertions

    @viktoriia-fomina
    viktoriia-fomina committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    d39fb0c View commit details
    Browse the repository at this point in the history

  5. Update maxsmt-tests-matrix.json

    @viktoriia-fomina
    viktoriia-fomina authored Oct 23, 2023
    Configuration menu
    Copy the full SHA
    26048aa View commit details
    Browse the repository at this point in the history

  6. Update logics for MaxSMT tests

    @viktoriia-fomina
    viktoriia-fomina committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    234ee20 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'max-sat' of https://github.com/victoriafomina/ksmt into… 

    … max-sat
    @viktoriia-fomina
    viktoriia-fomina committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    b11a900 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Upgrade Kotlin version to 1.9.0

    @viktoriia-fomina
    viktoriia-fomina committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    fa05d47 View commit details
    Browse the repository at this point in the history

  2. Rename maxsat subproject to maxsmt

    @viktoriia-fomina
    viktoriia-fomina committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    895193d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'UnitTestBot:main' into maxsmt

    @viktoriia-fomina
    viktoriia-fomina authored Oct 25, 2023
    Configuration menu
    Copy the full SHA
    bdd471f View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. Update maxsmt-tests-matrix.json

    @viktoriia-fomina
    viktoriia-fomina authored Oct 26, 2023
    Configuration menu
    Copy the full SHA
    4e116fb View commit details
    Browse the repository at this point in the history

  2. Update tests list in build.gradle.kts

    @viktoriia-fomina
    viktoriia-fomina committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    51f2006 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'maxsmt' of https://github.com/victoriafomina/ksmt into … 

    …maxsmt
    @viktoriia-fomina
    viktoriia-fomina committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    cf787e7 View commit details
    Browse the repository at this point in the history

  4. Rename maxsat project to maxsmt in workflows

    @viktoriia-fomina
    viktoriia-fomina committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    efb04b8 View commit details
    Browse the repository at this point in the history

  5. Add QF_AUFLIA to MaxSMT tests

    @viktoriia-fomina
    viktoriia-fomina committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    83a03e7 View commit details
    Browse the repository at this point in the history

  6. Fix MaxSMT test assert message

    @viktoriia-fomina
    viktoriia-fomina committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    abd32e2 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Update build.gradle.kts

    @viktoriia-fomina
    viktoriia-fomina committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    2215161 View commit details
    Browse the repository at this point in the history

  2. Update maxsmt-tests-matrix.json

    @viktoriia-fomina
    viktoriia-fomina authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    16abc14 View commit details
    Browse the repository at this point in the history

  3. Update run-long-maxsmt-tests.yml

    @viktoriia-fomina
    viktoriia-fomina authored Oct 30, 2023
    Configuration menu
    Copy the full SHA
    9a35343 View commit details
    Browse the repository at this point in the history

  4. Create KPrimalDualMaxResSMTBenchmarkTest.kt

    @viktoriia-fomina
    viktoriia-fomina committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    cbf8f6b View commit details
    Browse the repository at this point in the history

  5. Merge branch 'maxsmt' of https://github.com/victoriafomina/ksmt into … 

    …maxsmt
    @viktoriia-fomina
    viktoriia-fomina committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    819d4c1 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Merge branch 'UnitTestBot:main' into maxsmt

    @viktoriia-fomina
    viktoriia-fomina authored Nov 8, 2023
    Configuration menu
    Copy the full SHA
    ad03400 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. Fix a bug in core minimization

    @viktoriia-fomina
    viktoriia-fomina committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    b8eb117 View commit details
    Browse the repository at this point in the history

  2. Add asserts to similar expressions test

    @viktoriia-fomina
    viktoriia-fomina committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    e6d2549 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. Add test when three expressions are inconsistent

    @viktoriia-fomina
    viktoriia-fomina committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    684b371 View commit details
    Browse the repository at this point in the history

  2. Fix typo in .gitignore

    @viktoriia-fomina
    viktoriia-fomina committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    350a5c4 View commit details
    Browse the repository at this point in the history

  3. Add possibility to choose solver for MaxSMT benchmark tests

    @viktoriia-fomina
    viktoriia-fomina committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    e2a8f2a View commit details
    Browse the repository at this point in the history

  4. Update run-long-maxsmt-tests.yml: support choosing solver

    @viktoriia-fomina
    viktoriia-fomina authored Nov 10, 2023
    Configuration menu
    Copy the full SHA
    7643f6a View commit details
    Browse the repository at this point in the history

  5. Update run-long-maxsmt-tests.yml: update test report name

    @viktoriia-fomina
    viktoriia-fomina authored Nov 10, 2023
    Configuration menu
    Copy the full SHA
    73451b4 View commit details
    Browse the repository at this point in the history

  6. Run PDMRes solver benchmark tests in different configurations

    @viktoriia-fomina
    viktoriia-fomina committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    03ce90f View commit details
    Browse the repository at this point in the history

  7. Format KMaxSMTSolverTest.kt

    @viktoriia-fomina
    viktoriia-fomina committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    6a33a56 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. Add statistics collection

    @viktoriia-fomina
    viktoriia-fomina committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    b12e8f4 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Add more test data

    @viktoriia-fomina
    viktoriia-fomina committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    ad0c2c3 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. Refactor checking hard constraints in KPMResSolver

    @viktoriia-fomina
    viktoriia-fomina committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    b3d52ff View commit details
    Browse the repository at this point in the history

  2. Update assertions in MaxSMT tests

    @viktoriia-fomina
    viktoriia-fomina committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    3a57541 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2023

  1. Fix KPrimalDualMaxRes solver bugs 

    - Update model only when checking all assumptions
- Use expressionIsNotTrue instead of expressionIsFalse
    @viktoriia-fomina
    viktoriia-fomina committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    b1530da View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2023

  1. Add more logics for MaxSMT tests

    @viktoriia-fomina
    viktoriia-fomina committed Nov 24, 2023
    Configuration menu
    Copy the full SHA
    21d104d View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. Run solvers only on supported theories for MaxSMT tests

    @viktoriia-fomina
    viktoriia-fomina committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    265fe5b View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. Add QF_UF MaxSMT test data

    @viktoriia-fomina
    viktoriia-fomina committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    670fa11 View commit details
    Browse the repository at this point in the history

  2. Generalize solvers configurations in tests using out

    @viktoriia-fomina
    viktoriia-fomina committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    0232cac View commit details
    Browse the repository at this point in the history

  3. Add QF_AUFBV MaxSMT test data

    @viktoriia-fomina
    viktoriia-fomina committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    40b00f0 View commit details
    Browse the repository at this point in the history

  4. Generalize solver in MaxSAT tests

    @viktoriia-fomina
    viktoriia-fomina committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    a34677d View commit details
    Browse the repository at this point in the history

  5. Rename solver to Yices in workflow

    @viktoriia-fomina
    viktoriia-fomina committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    27f106d View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. Update QF_ABVFP MaxSMT benchmark information

    @viktoriia-fomina
    viktoriia-fomina committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    78d9073 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. Collect and merge MaxSMT test run statistics

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    69461f7 View commit details
    Browse the repository at this point in the history

  2. Add SMT solver name to statistics

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    ec71037 View commit details
    Browse the repository at this point in the history

  3. Add QF_FP MaxSMT test data

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    5d042a4 View commit details
    Browse the repository at this point in the history

  4. Add comments to MaxSMT benchmark workflow

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    3bab490 View commit details
    Browse the repository at this point in the history

  5. Update to always add logic name to statistics

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    4dbe40f View commit details
    Browse the repository at this point in the history

  6. Move SAT soft constraints sum calculation in tests

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    52123c2 View commit details
    Browse the repository at this point in the history

  7. Collect statistics from ignored, failed when parsing file/convert exp… 

    …ressions test
    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    c4c0f75 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'UnitTestBot:main' into maxsmt

    @viktoriia-fomina
    viktoriia-fomina authored Dec 1, 2023
    Configuration menu
    Copy the full SHA
    1912f64 View commit details
    Browse the repository at this point in the history

  9. Add QF_UFBV MaxSMT test data

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    1c3081c View commit details
    Browse the repository at this point in the history

  10. Remove elapsed time from MaxSMTTestStatistics 

    * elapsed time is stored in KMaxSMTCallStatistics
    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    21f58ec View commit details
    Browse the repository at this point in the history

  11. Run MaxSMT tests on Ubuntu-20.04

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    9c856db View commit details
    Browse the repository at this point in the history

  12. Add script analyzing statistics

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    b07a245 View commit details
    Browse the repository at this point in the history

  13. Add statistics analysis to MaxSMT benchmark workflow

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    da3d854 View commit details
    Browse the repository at this point in the history

  14. Move analyze MaxSMT test run statistics step

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    429eaa1 View commit details
    Browse the repository at this point in the history

  15. Fix work with JSON in statistics analyzer

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    0940065 View commit details
    Browse the repository at this point in the history

  16. Set up encoding in JSON analyzer

    @viktoriia-fomina
    viktoriia-fomina committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    2a694bf View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2023

  1. Add repository checkout in MaxSMT benchmark workflow

    @viktoriia-fomina
    viktoriia-fomina committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    9744336 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2023

  1. Generate statistics with random string suffix

    @viktoriia-fomina
    viktoriia-fomina committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    0ddf3a1 View commit details
    Browse the repository at this point in the history

  2. Fix a bug with core minimization

    @viktoriia-fomina
    viktoriia-fomina committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    1ae2639 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Add lost path to MaxSMT statistics analyzer script

    @viktoriia-fomina
    viktoriia-fomina committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    764a8c5 View commit details
    Browse the repository at this point in the history

  2. Do core minimization optional for KPDMRes

    @viktoriia-fomina
    viktoriia-fomina committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    bb3aa19 View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. Use == instead of internEquals

    @viktoriia-fomina
    viktoriia-fomina committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    c5f6ab4 View commit details
    Browse the repository at this point in the history

  2. Divide MaxSMT tests by primal and dual strategies

    @viktoriia-fomina
    viktoriia-fomina committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    e223e75 View commit details
    Browse the repository at this point in the history

  3. Ignore MaxSMT statistics files

    @viktoriia-fomina
    viktoriia-fomina committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    d4d660f View commit details
    Browse the repository at this point in the history

  4. Divide MaxSMT workflows into PMRes and PrimalDualMaxRes

    @viktoriia-fomina
    viktoriia-fomina committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    ce4dd73 View commit details
    Browse the repository at this point in the history

  5. Do not union soft constraints with same expressions

    @viktoriia-fomina
    viktoriia-fomina committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    655335a View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2023

  1. Fix checking out commit in the MaxSMT workflow

    @viktoriia-fomina
    viktoriia-fomina committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    6b43cac View commit details
    Browse the repository at this point in the history

  2. Add QF_ABV MaxSMT test data

    @viktoriia-fomina
    viktoriia-fomina committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    5f293d3 View commit details
    Browse the repository at this point in the history

  3. Fix the bug with duplicated test statistics collection

    @viktoriia-fomina
    viktoriia-fomina committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    d911a7b View commit details
    Browse the repository at this point in the history

  4. Update MaxSMT tests archives sizes

    @viktoriia-fomina
    viktoriia-fomina committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    9c12bd4 View commit details
    Browse the repository at this point in the history

  5. Expand analyzed MaxSMT statistics content

    @viktoriia-fomina
    viktoriia-fomina committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    4c41c30 View commit details
    Browse the repository at this point in the history

  6. Add QF_AUFLIA MaxSMT test data

    @viktoriia-fomina
    viktoriia-fomina committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    dcddae4 View commit details
    Browse the repository at this point in the history

  7. Add QF_UFLIA MaxSMT test data

    @viktoriia-fomina
    viktoriia-fomina committed Dec 7, 2023
    Configuration menu
    Copy the full SHA
    ef39f8c View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2023

  1. Update MaxSAT workflow in order to run tests on multiple runners

    @viktoriia-fomina
    viktoriia-fomina committed Dec 8, 2023
    Configuration menu
    Copy the full SHA
    c6bb303 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. Process cases when exception is thrown during MaxSMT solving

    @viktoriia-fomina
    viktoriia-fomina committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    52f0335 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2023

  1. Update MaxSMT tests timeout

    @viktoriia-fomina
    viktoriia-fomina committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    7f31dd4 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. Log events in KPrimalDualMaxResSolver

    @viktoriia-fomina
    viktoriia-fomina committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    1c84b45 View commit details
    Browse the repository at this point in the history

  2. Upload test logs in MaxSMT workflow

    @viktoriia-fomina
    viktoriia-fomina committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    238f9bd View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2024

  1. Use ValueTimeMark for time measurement

    @viktoriia-fomina
    viktoriia-fomina committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    dd3b16b View commit details
    Browse the repository at this point in the history

  2. Log more events

    @viktoriia-fomina
    viktoriia-fomina committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    5c9144d View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2024

  1. Log unsucceeded MaxSMT execution

    @viktoriia-fomina
    viktoriia-fomina committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    c33d2bd View commit details
    Browse the repository at this point in the history

  2. Update default value for KMaxSMTContext

    @viktoriia-fomina
    viktoriia-fomina committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    211e2af View commit details
    Browse the repository at this point in the history

  3. Update logs about models

    @viktoriia-fomina
    viktoriia-fomina committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    6fdb930 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. Fix hill climb option

    @viktoriia-fomina
    viktoriia-fomina committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    adc89ad View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2024

  1. Update getting disjoint unsat cores option

    @viktoriia-fomina
    viktoriia-fomina committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    354affa View commit details
    Browse the repository at this point in the history

  2. Log lower bound updates

    @viktoriia-fomina
    viktoriia-fomina committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    5d14b5a View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Add NotYetImplementedException

    @viktoriia-fomina
    viktoriia-fomina committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    ffea92d View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. Refactor KPMResSolver

    @viktoriia-fomina
    viktoriia-fomina committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    0f161f4 View commit details
    Browse the repository at this point in the history

  2. Fix a bug with a core to soft constraints transformation

    @viktoriia-fomina
    viktoriia-fomina committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    fe3b272 View commit details
    Browse the repository at this point in the history

  3. Add GSON version to properties

    @viktoriia-fomina
    viktoriia-fomina committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    d2a0f3e View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2024

  1. Merge branch 'UnitTestBot:main' into maxsmt

    @viktoriia-fomina
    viktoriia-fomina authored Mar 23, 2024
    Configuration menu
    Copy the full SHA
    49172ec View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. Merge branch 'main' into maxsmt

    @viktoriia-fomina
    viktoriia-fomina authored Apr 17, 2024
    Configuration menu
    Copy the full SHA
    e94beaa View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2024

  1. Merge branch 'main' into maxsmt

    @viktoriia-fomina
    viktoriia-fomina authored Apr 28, 2024
    Configuration menu
    Copy the full SHA
    cc255d9 View commit details
    Browse the repository at this point in the history

  2. Add checkSubOptMaxSMT method to KPrimalDualMaxResSolver

    @viktoriia-fomina
    viktoriia-fomina committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    f03b984 View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2024

  1. Add test run for Portfolio

    @viktoriia-fomina
    viktoriia-fomina committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    60ff5c3 View commit details
    Browse the repository at this point in the history

  2. Fix comment for MinimalUnsatCore

    @viktoriia-fomina
    viktoriia-fomina committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    ae059fc View commit details
    Browse the repository at this point in the history

  3. Add default params to checkSubOptMaxSMT

    @viktoriia-fomina
    viktoriia-fomina committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    4aa0762 View commit details
    Browse the repository at this point in the history

  4. Implement portfolio mode with MaxSMT logic in the backend process

    @viktoriia-fomina
    viktoriia-fomina committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    448f1f0 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Update Portfolio using rd

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    0801086 View commit details
    Browse the repository at this point in the history

  2. Transfer solverManager creation/closing to before/after All

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    64e17c9 View commit details
    Browse the repository at this point in the history

  3. Add Portfolio solver to KMaxSMTBenchmarkTest

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    0937081 View commit details
    Browse the repository at this point in the history

  4. Support portfolio for statistics on CI

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    2f4236e View commit details
    Browse the repository at this point in the history

  5. Fix path to configurations

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    14280b6 View commit details
    Browse the repository at this point in the history

  6. Pass optimality from PDMRes workflow

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    3610a0b View commit details
    Browse the repository at this point in the history

  7. Fix syntax error in workflow

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    abcd7d4 View commit details
    Browse the repository at this point in the history

  8. Fix workflow error

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    55a3df0 View commit details
    Browse the repository at this point in the history

  9. Update statistics path

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    b8757e4 View commit details
    Browse the repository at this point in the history

  10. Downgrade upload-action version in order to use wilcard path

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    0b87c8f View commit details
    Browse the repository at this point in the history

  11. Upgrade upload-artifact version

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    97c2ace View commit details
    Browse the repository at this point in the history

  12. Upgrade Ubuntu version

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    ab8cb9d View commit details
    Browse the repository at this point in the history

  13. Remove redundant lines

    @viktoriia-fomina
    viktoriia-fomina committed May 2, 2024
    Configuration menu
    Copy the full SHA
    12e8723 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. Update SolverProtocolModel

    @viktoriia-fomina
    viktoriia-fomina committed May 10, 2024
    Configuration menu
    Copy the full SHA
    fef02cd View commit details
    Browse the repository at this point in the history

  2. Process UNKNOWN cases in KPMResSolver

    @viktoriia-fomina
    viktoriia-fomina committed May 10, 2024
    Configuration menu
    Copy the full SHA
    af14e36 View commit details
    Browse the repository at this point in the history

  3. Add debug step to workflow

    @viktoriia-fomina
    viktoriia-fomina committed May 10, 2024
    Configuration menu
    Copy the full SHA
    b114218 View commit details
    Browse the repository at this point in the history

  4. Upgrade download action version

    @viktoriia-fomina
    viktoriia-fomina committed May 10, 2024
    Configuration menu
    Copy the full SHA
    1697ec0 View commit details
    Browse the repository at this point in the history

  5. Remove debug step in workflow

    @viktoriia-fomina
    viktoriia-fomina committed May 10, 2024
    Configuration menu
    Copy the full SHA
    b1d0979 View commit details
    Browse the repository at this point in the history

  6. Collect statistics about all theories

    @viktoriia-fomina
    viktoriia-fomina committed May 10, 2024
    Configuration menu
    Copy the full SHA
    6be8ce9 View commit details
    Browse the repository at this point in the history

  7. Fix a bug with optimalWeight in KSubOptMaxSMTBenchmarkTest

    @viktoriia-fomina
    viktoriia-fomina committed May 10, 2024
    Configuration menu
    Copy the full SHA
    506ba0c View commit details
    Browse the repository at this point in the history

  8. Fix a bug with score collection

    @viktoriia-fomina
    viktoriia-fomina committed May 10, 2024
    Configuration menu
    Copy the full SHA
    cb5d1b4 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2024

  1. Use solverQuery for checkMaxSMT in KPortfolioSolver

    @viktoriia-fomina
    viktoriia-fomina committed May 11, 2024
    Configuration menu
    Copy the full SHA
    b3053c3 View commit details
    Browse the repository at this point in the history

  2. Update workers number

    @viktoriia-fomina
    viktoriia-fomina committed May 11, 2024
    Configuration menu
    Copy the full SHA
    c0241a0 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2024

  1. Fix a bug with internalizing assertions for Portfolio

    @viktoriia-fomina
    viktoriia-fomina committed May 12, 2024
    Configuration menu
    Copy the full SHA
    7bec874 View commit details
    Browse the repository at this point in the history

  2. Update timeout to 10 seconds

    @viktoriia-fomina
    viktoriia-fomina committed May 12, 2024
    Configuration menu
    Copy the full SHA
    53c303c View commit details
    Browse the repository at this point in the history

  3. Update timeout for MaxSAT tests

    @viktoriia-fomina
    viktoriia-fomina committed May 12, 2024
    Configuration menu
    Copy the full SHA
    c8cb725 View commit details
    Browse the repository at this point in the history

  4. Run KPrimalDualMaxRes solver for corectness check

    @viktoriia-fomina
    viktoriia-fomina committed May 12, 2024
    Configuration menu
    Copy the full SHA
    8670b7f View commit details
    Browse the repository at this point in the history

  5. Update MaxSAT tests for multiple solvers

    @viktoriia-fomina
    viktoriia-fomina committed May 12, 2024
    Configuration menu
    Copy the full SHA
    664b0e6 View commit details
    Browse the repository at this point in the history

  6. Update MaxSAT workflow for multiple solvers

    @viktoriia-fomina
    viktoriia-fomina committed May 12, 2024
    Configuration menu
    Copy the full SHA
    22db2e2 View commit details
    Browse the repository at this point in the history

  7. Fix a bug with integer overflow

    @viktoriia-fomina
    viktoriia-fomina committed May 12, 2024
    Configuration menu
    Copy the full SHA
    99a0bc3 View commit details
    Browse the repository at this point in the history

  8. Fix integer overflow in solver

    @viktoriia-fomina
    viktoriia-fomina committed May 12, 2024
    Configuration menu
    Copy the full SHA
    a39e0c0 View commit details
    Browse the repository at this point in the history

  9. Set up big timeout for MaxSAT tests

    @viktoriia-fomina
    viktoriia-fomina committed May 12, 2024
    Configuration menu
    Copy the full SHA
    587d9ed View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. Set up new time for MaxSAT tests

    @viktoriia-fomina
    viktoriia-fomina committed May 13, 2024
    Configuration menu
    Copy the full SHA
    8400f2a View commit details
    Browse the repository at this point in the history

  2. Update TestProtocolModel

    @viktoriia-fomina
    viktoriia-fomina committed May 13, 2024
    Configuration menu
    Copy the full SHA
    dca5430 View commit details
    Browse the repository at this point in the history

  3. Fix an error with redeclaration SoftConstraint in ProtocolModel

    @viktoriia-fomina
    viktoriia-fomina committed May 13, 2024
    Configuration menu
    Copy the full SHA
    cc93a56 View commit details
    Browse the repository at this point in the history

  4. Inherit secrets in called workflow

    @viktoriia-fomina
    viktoriia-fomina committed May 13, 2024
    Configuration menu
    Copy the full SHA
    ab0931e View commit details
    Browse the repository at this point in the history

  5. Temporary remove UF and UFLIA form run

    @viktoriia-fomina
    viktoriia-fomina committed May 13, 2024
    Configuration menu
    Copy the full SHA
    a51a92b View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. Merge KMaxSMTStatistics and KSubOptMaxSMTStatistics

    @viktoriia-fomina
    viktoriia-fomina committed May 14, 2024
    Configuration menu
    Copy the full SHA
    aabef32 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. Run tests for QF_UF and QF_UFLIA

    @viktoriia-fomina
    viktoriia-fomina committed May 15, 2024
    Configuration menu
    Copy the full SHA
    a535c7b View commit details
    Browse the repository at this point in the history

  2. Create Portfolio solver in tests correctly

    @viktoriia-fomina
    viktoriia-fomina committed May 15, 2024
    Configuration menu
    Copy the full SHA
    f7ec47e View commit details
    Browse the repository at this point in the history

  3. Support interruption for MaxSMT

    @viktoriia-fomina
    viktoriia-fomina committed May 15, 2024
    Configuration menu
    Copy the full SHA
    5972d0d View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Implement KSolverRunner and KSolverExecutor in order to interact thro… 

    …ugh ProtocolModel
    @viktoriia-fomina
    viktoriia-fomina committed May 17, 2024
    Configuration menu
    Copy the full SHA
    912e89e View commit details
    Browse the repository at this point in the history

  2. Run Portfolio is async mode

    @viktoriia-fomina
    viktoriia-fomina committed May 17, 2024
    Configuration menu
    Copy the full SHA
    7e196e8 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2024

  1. Update KMaxSMTResult with timeoutExceededOrUnknown

    @viktoriia-fomina
    viktoriia-fomina committed May 18, 2024
    Configuration menu
    Copy the full SHA
    e75f2ab View commit details
    Browse the repository at this point in the history

  2. Update protocol models etc for timeoutExceededOrUnknown support

    @viktoriia-fomina
    viktoriia-fomina committed May 18, 2024
    Configuration menu
    Copy the full SHA
    7473769 View commit details
    Browse the repository at this point in the history

  3. Descrease test workers number to 1

    @viktoriia-fomina
    viktoriia-fomina committed May 18, 2024
    Configuration menu
    Copy the full SHA
    e353380 View commit details
    Browse the repository at this point in the history

  4. Update models to use two lists instead of List<SoftConstraint>

    @viktoriia-fomina
    viktoriia-fomina committed May 18, 2024
    Configuration menu
    Copy the full SHA
    dcb1b7d View commit details
    Browse the repository at this point in the history

Commits on May 19, 2024

  1. Fix a bug with initializing KPrimalDualMaxResSolverBase in KSolverWor… 

    …kerProcess
    @viktoriia-fomina
    viktoriia-fomina committed May 19, 2024
    Configuration menu
    Copy the full SHA
    c7f6f41 View commit details
    Browse the repository at this point in the history

  2. Add elapsed time to general stat

    @viktoriia-fomina
    viktoriia-fomina committed May 19, 2024
    Configuration menu
    Copy the full SHA
    9638af4 View commit details
    Browse the repository at this point in the history

  3. Update statistics collection in script

    @viktoriia-fomina
    viktoriia-fomina committed May 19, 2024
    Configuration menu
    Copy the full SHA
    faadc62 View commit details
    Browse the repository at this point in the history

  4. Remove redundant else

    @viktoriia-fomina
    viktoriia-fomina committed May 19, 2024
    Configuration menu
    Copy the full SHA
    9f869c8 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Update predicate for checkSubOptMaxSMT in KPortfolioSolver

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    c759217 View commit details
    Browse the repository at this point in the history

  2. Fix Portfolio

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    31f65a7 View commit details
    Browse the repository at this point in the history

  3. Implement native z3 tests

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    b729853 View commit details
    Browse the repository at this point in the history

  4. Set an algorithm for Z3 native

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    5a4bb77 View commit details
    Browse the repository at this point in the history

  5. Run Z3 native on CI

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    ff69d4c View commit details
    Browse the repository at this point in the history

  6. Updare solver enum for Z3_Native support

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    ed462d3 View commit details
    Browse the repository at this point in the history

  7. Fix compilation

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    8062b71 View commit details
    Browse the repository at this point in the history

  8. Update statistics analyzer

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    2855eff View commit details
    Browse the repository at this point in the history

  9. Fix compilation

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    29d283e View commit details
    Browse the repository at this point in the history

  10. Update default value in workflow

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    d427dc3 View commit details
    Browse the repository at this point in the history

  11. Update default value in workflow

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    cc1441b View commit details
    Browse the repository at this point in the history

  12. Fix setting solver in workflow

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    7788f68 View commit details
    Browse the repository at this point in the history

  13. Add MaxSMTCallStatistics to Z3Native

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    0d55a16 View commit details
    Browse the repository at this point in the history

  14. Add to test stat timeoutExceededOrUnknown option

    @viktoriia-fomina
    viktoriia-fomina committed May 20, 2024
    Configuration menu
    Copy the full SHA
    5d7cddb View commit details
    Browse the repository at this point in the history

Commits on May 23, 2024

  1. Wrap Yices into SymFpu in tests

    @viktoriia-fomina
    viktoriia-fomina committed May 23, 2024
    Configuration menu
    Copy the full SHA
    8dd2dc5 View commit details
    Browse the repository at this point in the history

  2. Add symfpu dependency to tests

    @viktoriia-fomina
    viktoriia-fomina committed May 23, 2024
    Configuration menu
    Copy the full SHA
    b85b2f3 View commit details
    Browse the repository at this point in the history

  3. Hardcode test data revision

    @viktoriia-fomina
    viktoriia-fomina committed May 23, 2024
    Configuration menu
    Copy the full SHA
    657a4e7 View commit details
    Browse the repository at this point in the history

  4. Let Yices-SymFpu run on FP

    @viktoriia-fomina
    viktoriia-fomina committed May 23, 2024
    Configuration menu
    Copy the full SHA
    d1fcfb5 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. Update benchmark tests solver list

    @viktoriia-fomina
    viktoriia-fomina committed May 27, 2024
    Configuration menu
    Copy the full SHA
    1e51545 View commit details
    Browse the repository at this point in the history

  2. Run Yices on corresponding theories

    @viktoriia-fomina
    viktoriia-fomina committed May 27, 2024
    Configuration menu
    Copy the full SHA
    bca994a View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. Set up suboptimal mode for Z3 native

    @viktoriia-fomina
    viktoriia-fomina committed May 28, 2024
    Configuration menu
    Copy the full SHA
    8daaae1 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. Set timeout to 1s

    @viktoriia-fomina
    viktoriia-fomina committed May 29, 2024
    Configuration menu
    Copy the full SHA
    2dbee6e View commit details
    Browse the repository at this point in the history

  2. Downgrade timeout to 500 ms

    @viktoriia-fomina
    viktoriia-fomina committed May 29, 2024
    Configuration menu
    Copy the full SHA
    3d8e9de View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. Remove useless NotImplementedException

    @viktoriia-fomina
    viktoriia-fomina committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    1c1f60a View commit details
    Browse the repository at this point in the history

  2. Remove useless maxSMTSuceeded from KMaxSMTResult

    @viktoriia-fomina
    viktoriia-fomina committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    1576cf4 View commit details
    Browse the repository at this point in the history

  3. Remove useless timeoutExceeded method

    @viktoriia-fomina
    viktoriia-fomina committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    78fcf85 View commit details
    Browse the repository at this point in the history

  4. Refactor

    @viktoriia-fomina
    viktoriia-fomina committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    3d2a15a View commit details
    Browse the repository at this point in the history

  5. Split checkMaxSMT and checkSubOptMaxSmt (part1)

    @viktoriia-fomina
    viktoriia-fomina committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    e0e6689 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2024

  1. Refactor Portfolio: split CheckMaxSMT and CheckSubOptMaxSMT

    @viktoriia-fomina
    viktoriia-fomina committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    070cbcb View commit details
    Browse the repository at this point in the history