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

Adding dReal to JavaSMT #313 #328

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

Adding dReal to JavaSMT #313 #328

wants to merge 157 commits into from

Commits on Jul 16, 2023

  1. init dreal4

    @juliusbrehme
    juliusbrehme committed Jul 16, 2023
    2 Configuration menu
    Copy the full SHA
    5ede66e View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2023

  1. added QuantifiedFormulaManager

    @juliusbrehme
    juliusbrehme committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    531966c View commit details
    Browse the repository at this point in the history

  2. Updated to use QuantifiedFormulaManager and implemented the rest of N… 

    …umeralFormulaManager
    @juliusbrehme
    juliusbrehme committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    dacfc77 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2023

  1. added getType to DRealTerm

    @juliusbrehme
    juliusbrehme committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    9a4d26d View commit details
    Browse the repository at this point in the history

  2. implemented visit-Method

    @juliusbrehme
    juliusbrehme committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    f3e49bf View commit details
    Browse the repository at this point in the history

  3. remove wrong Documentation

    @juliusbrehme
    juliusbrehme committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    346d7f7 View commit details
    Browse the repository at this point in the history

  4. added explaination to why that class is needed

    @juliusbrehme
    juliusbrehme committed Jul 21, 2023
    Configuration menu
    Copy the full SHA
    1328bbc View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2023

  1. implemented callFunctionImpl

    @juliusbrehme
    juliusbrehme committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    ca3c95f View commit details
    Browse the repository at this point in the history

  2. changed TFunctDecl from DRealTerm to FunctionDeclarationKind

    @juliusbrehme
    juliusbrehme committed Jul 22, 2023
    Configuration menu
    Copy the full SHA
    7073df5 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2023

  1. added Method to get the type when splitting formula into Expressions

    @juliusbrehme
    juliusbrehme committed Jul 23, 2023
    Configuration menu
    Copy the full SHA
    2d9b8ca View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. Changed DRealTerm to generic class

    @juliusbrehme
    juliusbrehme committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    fdbc185 View commit details
    Browse the repository at this point in the history

  2. implemented FormulaCreator

    @juliusbrehme
    juliusbrehme committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    075e00e View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. Use Wildcard Operator, so that there are no raw types

    @juliusbrehme
    juliusbrehme committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    053b3c7 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. Added VariableSet to getQuantifiedVariabes and modified CheckSat, so … 

    …that it does not use optional
    @juliusbrehme
    juliusbrehme committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    6ccb739 View commit details
    Browse the repository at this point in the history

  2. added visitQuantified in visit-method

    @juliusbrehme
    juliusbrehme committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    db32be5 View commit details
    Browse the repository at this point in the history

  3. added isUnsat and addConstraint to TheoremProver

    @juliusbrehme
    juliusbrehme committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    a817e9d View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. init NativeAPITest

    @juliusbrehme
    juliusbrehme committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    ab59f77 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. init Model

    @juliusbrehme
    juliusbrehme committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    7898073 View commit details
    Browse the repository at this point in the history

  2. added dReal to SolverContextFactory

    @juliusbrehme
    juliusbrehme committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    c9a0e15 View commit details
    Browse the repository at this point in the history

  3. corrected add and substract methods

    @juliusbrehme
    juliusbrehme committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    2860dde View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. addded HashMap to store Variables for only creating new Variables

    @juliusbrehme
    juliusbrehme committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    6e5b0ab View commit details
    Browse the repository at this point in the history

  2. changed Type when creating Formulas from Expression in <, <=, etc.

    @juliusbrehme
    juliusbrehme committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    f7afde7 View commit details
    Browse the repository at this point in the history

  3. corrected equals method

    @juliusbrehme
    juliusbrehme committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    a6ba7cc View commit details
    Browse the repository at this point in the history

  4. added pLoader dreal

    @juliusbrehme
    juliusbrehme committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    f3555dd View commit details
    Browse the repository at this point in the history

  5. overwritte addImpl and orImpl

    @juliusbrehme
    juliusbrehme committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    f2d784b View commit details
    Browse the repository at this point in the history

  6. implemented rest of TheoremProver

    @juliusbrehme
    juliusbrehme committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    19f75ef View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2023

  1. override substitute-method

    @juliusbrehme
    juliusbrehme committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    37bc31f View commit details
    Browse the repository at this point in the history

  2. fixed iterater used in visit and added pow(x,-1) in visit, when negat… 

    …e is called
    @juliusbrehme
    juliusbrehme committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    4e7a4a9 View commit details
    Browse the repository at this point in the history

  3. added evalImpl

    @juliusbrehme
    juliusbrehme committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    4af6a01 View commit details
    Browse the repository at this point in the history

  4. corrected negate method to inverse variable/number

    @juliusbrehme
    juliusbrehme committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    318bf7d View commit details
    Browse the repository at this point in the history

  5. added close()

    @juliusbrehme
    juliusbrehme committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    48aec6f View commit details
    Browse the repository at this point in the history

  6. added method to retrieve the results of the box/model

    @juliusbrehme
    juliusbrehme committed Aug 5, 2023
    Configuration menu
    Copy the full SHA
    a6490eb View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. implemented convertValue method

    @juliusbrehme
    juliusbrehme committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    aeddffc View commit details
    Browse the repository at this point in the history

  2. updated evalImpl

    @juliusbrehme
    juliusbrehme committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    9629b5f View commit details
    Browse the repository at this point in the history

  3. fixed that Variable of boolean type can be substituted

    @juliusbrehme
    juliusbrehme committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    60d6815 View commit details
    Browse the repository at this point in the history

  4. updated fixed getResult

    @juliusbrehme
    juliusbrehme committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    f050e3d View commit details
    Browse the repository at this point in the history

  5. added dReal to supported OS

    @juliusbrehme
    juliusbrehme committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    0e246a4 View commit details
    Browse the repository at this point in the history

  6. fixed ifthenelse in BooleanFormula

    @juliusbrehme
    juliusbrehme committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    7443697 View commit details
    Browse the repository at this point in the history

  7. fixed equals method

    @juliusbrehme
    juliusbrehme committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    32cee0e View commit details
    Browse the repository at this point in the history

  8. added new cases to getTypeForExpressions and fixed case FormulaKind.V… 

    …ar and added cas FormulaKind.False in visit
    @juliusbrehme
    juliusbrehme committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    f285a23 View commit details
    Browse the repository at this point in the history

  9. added if Variable is Boolean type to create Forall

    @juliusbrehme
    juliusbrehme committed Aug 7, 2023
    Configuration menu
    Copy the full SHA
    e23fbcb View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2023

  1. Revert "fixed iterater used in visit and added pow(x,-1) in visit, wh… 

    …en negate is called"

This reverts commit 4e7a4a9.
    @juliusbrehme
    juliusbrehme committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    c11771a View commit details
    Browse the repository at this point in the history

  2. revert .idea

    @juliusbrehme
    juliusbrehme committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    6d94e95 View commit details
    Browse the repository at this point in the history

  3. added pow(x,-1) in visit

    @juliusbrehme
    juliusbrehme committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    c72e60e View commit details
    Browse the repository at this point in the history

  4. fixed getExpressionsFromDiv

    @juliusbrehme
    juliusbrehme committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    dfc37f3 View commit details
    Browse the repository at this point in the history

  5. added getAssertedExpressions in Prover and edited one exception message

    @juliusbrehme
    juliusbrehme committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    b8f1bee View commit details
    Browse the repository at this point in the history

  6. implemented asList()

    @juliusbrehme
    juliusbrehme committed Aug 8, 2023
    Configuration menu
    Copy the full SHA
    84fb35f View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

  1. updated evalImpl

    @juliusbrehme
    juliusbrehme committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    5ba4ec5 View commit details
    Browse the repository at this point in the history

  2. added getFreeVariables and getVariables in Formula and Expression and… 

    … updated wrapper
    @juliusbrehme
    juliusbrehme committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    428f8a7 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into 313-adding-dreal-to-javasmt

    @juliusbrehme
    juliusbrehme committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    f76a9d1 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2023

  1. added SupressWarning and Overrides and some minor fixes, so that the … 

    …compiler is happy
    @juliusbrehme
    juliusbrehme committed Aug 10, 2023
    Configuration menu
    Copy the full SHA
    b42baf5 View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2023

  1. ITE updated and updated use of constructor for dReal

    @juliusbrehme
    juliusbrehme committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    cad9ae8 View commit details
    Browse the repository at this point in the history

  2. updated DRealTerm usage

    @juliusbrehme
    juliusbrehme committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    d4dc13d View commit details
    Browse the repository at this point in the history

  3. updated DRealTerm usage

    @juliusbrehme
    juliusbrehme committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    fe7acac View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2023

  1. updated DRealTerm to save declaration as well, only used for visitor

    @juliusbrehme
    juliusbrehme committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    40e8b3e View commit details
    Browse the repository at this point in the history

  2. Fixed callFunctionImpl

    @juliusbrehme
    juliusbrehme committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    c372deb View commit details
    Browse the repository at this point in the history

  3. updated substitute

    @juliusbrehme
    juliusbrehme committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    0260668 View commit details
    Browse the repository at this point in the history

  4. divide only for integers

    @juliusbrehme
    juliusbrehme committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    cb0abc7 View commit details
    Browse the repository at this point in the history

  5. updated mkQuantifier

    @juliusbrehme
    juliusbrehme committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    bbbb4bb View commit details
    Browse the repository at this point in the history

  6. divide only for rationals

    @juliusbrehme
    juliusbrehme committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    b994610 View commit details
    Browse the repository at this point in the history

  7. grammar error

    @juliusbrehme
    juliusbrehme committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    0ae81f8 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. updated ITE

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    134cd70 View commit details
    Browse the repository at this point in the history

  2. better implementation of getTypeForExpression and update convertValue… 

    …, that the right type is returned
    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    7760a09 View commit details
    Browse the repository at this point in the history

  3. environment changed to Config

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    3f9fc0a View commit details
    Browse the repository at this point in the history

  4. corrected Integer division with two constants

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    67c1eff View commit details
    Browse the repository at this point in the history

  5. change to NonLinearArithmetic.USE to disable ALWAYS/FALLBACK

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    64217b7 View commit details
    Browse the repository at this point in the history

  6. updatet test for dReal

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    0302708 View commit details
    Browse the repository at this point in the history

  7. added test for dReal and changed some test to work with dReal

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    9a0057c View commit details
    Browse the repository at this point in the history

  8. updated ModelTest for dReal

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    d78a127 View commit details
    Browse the repository at this point in the history

  9. updated test, because dReal does not support ALWAYS/FALLBACK

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    7ced0d3 View commit details
    Browse the repository at this point in the history

  10. added requireUnsatCore, because dReal does not support it

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    f31720d View commit details
    Browse the repository at this point in the history

  11. added requireDumping, requireUF, requireExistQuantifier, requireFloor

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    0ece445 View commit details
    Browse the repository at this point in the history

  12. updated some test, because dReal does not support real integer division

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    52be92c View commit details
    Browse the repository at this point in the history

  13. updated some test, because dReal does not support existantial quantif… 

    …ier and UF's
    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    e565838 View commit details
    Browse the repository at this point in the history

  14. updated test, because dReal does not support existantial quantifier

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    77a0498 View commit details
    Browse the repository at this point in the history

  15. ant format-source to format code

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    9d5d616 View commit details
    Browse the repository at this point in the history

  16. updated exception and added preconditions

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    16f8ac7 View commit details
    Browse the repository at this point in the history

  17. updated equals, toString, hashCode

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    8c92208 View commit details
    Browse the repository at this point in the history

  18. added preconditions and rewrite of callFunctionImpl

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    5f0a5fc View commit details
    Browse the repository at this point in the history

  19. small fixes

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    909cf8a View commit details
    Browse the repository at this point in the history

  20. small fixes and clean up

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    5de2db6 View commit details
    Browse the repository at this point in the history

  21. updated equals, toString, hashCode

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    88b00c0 View commit details
    Browse the repository at this point in the history

  22. added a few test

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    0b51a50 View commit details
    Browse the repository at this point in the history

  23. clean up

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    73722a7 View commit details
    Browse the repository at this point in the history

  24. ant format-source

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    2107564 View commit details
    Browse the repository at this point in the history

  25. removed unnecassary method

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    99fcc99 View commit details
    Browse the repository at this point in the history

  26. fixed wrong precondition

    @juliusbrehme
    juliusbrehme committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    376c66f View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. updated test, beacuse assertTrue,False not allowed

    @juliusbrehme
    juliusbrehme committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    ca112b2 View commit details
    Browse the repository at this point in the history

  2. changed method names to acceptable names in Java

    @juliusbrehme
    juliusbrehme committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    bcef913 View commit details
    Browse the repository at this point in the history

  3. added licenses

    @juliusbrehme
    juliusbrehme committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    c3cedaa View commit details
    Browse the repository at this point in the history

  4. updated methods names

    @juliusbrehme
    juliusbrehme committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    7f7e27e View commit details
    Browse the repository at this point in the history

  5. renamed methods from generated Wrapper

    @juliusbrehme
    juliusbrehme committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    0bba522 View commit details
    Browse the repository at this point in the history

  6. updated JNI methods

    @juliusbrehme
    juliusbrehme committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    b11385e View commit details
    Browse the repository at this point in the history

  7. updated methods used from the generated wrapper

    @juliusbrehme
    juliusbrehme committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    974825d View commit details
    Browse the repository at this point in the history

  8. never used pLogger

    @juliusbrehme
    juliusbrehme committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    be29636 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2023

  1. added licenses

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    293f76d View commit details
    Browse the repository at this point in the history

  2. updated methods used from the generated wrapper

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    c99a853 View commit details
    Browse the repository at this point in the history

  3. added licenses

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    fcb0823 View commit details
    Browse the repository at this point in the history

  4. ant format-source

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    1119119 View commit details
    Browse the repository at this point in the history

  5. added licenses

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    1bfb93e View commit details
    Browse the repository at this point in the history

  6. deleted

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    407543d View commit details
    Browse the repository at this point in the history

  7. added licenses

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    1b1dd72 View commit details
    Browse the repository at this point in the history

  8. original from master

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    83fd4e1 View commit details
    Browse the repository at this point in the history

  9. added licenses

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    c524d49 View commit details
    Browse the repository at this point in the history

  10. added precondition

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    dddd392 View commit details
    Browse the repository at this point in the history

  11. updated methods used from the generated wrapper

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    d3b4544 View commit details
    Browse the repository at this point in the history

  12. ant format-source

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    703797f View commit details
    Browse the repository at this point in the history

  13. updated checkstyle

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    d90fd57 View commit details
    Browse the repository at this point in the history

  14. added package-info

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    a4be205 View commit details
    Browse the repository at this point in the history

  15. updated checkstyle

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    7468273 View commit details
    Browse the repository at this point in the history

  16. updated checkstyle

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    e37ed75 View commit details
    Browse the repository at this point in the history

  17. ant format-source

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    7a68016 View commit details
    Browse the repository at this point in the history

  18. added var unused

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    f9f0586 View commit details
    Browse the repository at this point in the history

  19. added SupressWarning classTypeParameterName

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    1ec0cb0 View commit details
    Browse the repository at this point in the history

  20. corrected naming convention

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    1b52918 View commit details
    Browse the repository at this point in the history

  21. added SupressWarning unused

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    0047bc7 View commit details
    Browse the repository at this point in the history

  22. added dot on first sentence

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    cf8e253 View commit details
    Browse the repository at this point in the history

  23. updated equals-method

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    e376d87 View commit details
    Browse the repository at this point in the history

  24. added NotThreadSafe

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    6312b69 View commit details
    Browse the repository at this point in the history

  25. ant format-source

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    d6d63a8 View commit details
    Browse the repository at this point in the history

  26. cp mistake in equals

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    2e5e214 View commit details
    Browse the repository at this point in the history

  27. annotationstyle

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    6507272 View commit details
    Browse the repository at this point in the history

  28. DRealTerm was not referenced

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    9d9bf9f View commit details
    Browse the repository at this point in the history

  29. added @CanIgnoreREturnValue

    @juliusbrehme
    juliusbrehme committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    016970d View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2023

  1. added comments for methods

    @juliusbrehme
    juliusbrehme committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    809a85c View commit details
    Browse the repository at this point in the history

  2. updated documentation for wrapper/swig

    @juliusbrehme
    juliusbrehme committed Aug 19, 2023
    Configuration menu
    Copy the full SHA
    aba7ea5 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2023

  1. fixed static initializer creates instance before all static final fie… 

    …lds assigned
    @juliusbrehme
    juliusbrehme committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    736931c View commit details
    Browse the repository at this point in the history

  2. ant format-source

    @juliusbrehme
    juliusbrehme committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    5e5cc7e View commit details
    Browse the repository at this point in the history

  3. fixed some checkstyles

    @juliusbrehme
    juliusbrehme committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    54453be View commit details
    Browse the repository at this point in the history

  4. ant format-source

    @juliusbrehme
    juliusbrehme committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    7478303 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2023

  1. updated docu for getting the library

    @juliusbrehme
    juliusbrehme committed Aug 26, 2023
    Configuration menu
    Copy the full SHA
    f3bcd85 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2023

  1. updated documentaion for creating shared libraries

    @juliusbrehme
    juliusbrehme committed Aug 27, 2023
    Configuration menu
    Copy the full SHA
    aa0eef8 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2023

  1. added SolverRace to compare performance between solvers solving ratio… 

    …nal formulas
    @juliusbrehme
    juliusbrehme committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    fc071bf View commit details
    Browse the repository at this point in the history

  2. updated the assertion

    @juliusbrehme
    juliusbrehme committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    a98d7b7 View commit details
    Browse the repository at this point in the history

  3. format source code

    @juliusbrehme
    juliusbrehme committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    f013b66 View commit details
    Browse the repository at this point in the history

  4. added private constructor for utility class

    @juliusbrehme
    juliusbrehme committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    2ad3549 View commit details
    Browse the repository at this point in the history

  5. use of preconditions

    @juliusbrehme
    juliusbrehme committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    6ad85d4 View commit details
    Browse the repository at this point in the history

  6. removed unnecassary ;

    @juliusbrehme
    juliusbrehme committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    cc7b8dc View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. DReal: Removed 2 project files from the repository.

    @daniel-raffler
    daniel-raffler committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    ff425ff View commit details
    Browse the repository at this point in the history

  2. DReal: Moved native code to /lib and remove an object file that shoul… 

    …d not have been included.
    @daniel-raffler
    daniel-raffler committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    7e1adae View commit details
    Browse the repository at this point in the history

  3. DReal: Fixed a typo in a class name.

    @daniel-raffler
    daniel-raffler committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    8a973c6 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'refs/remotes/origin/master' into 313-ad… 

    …ding-dreal-to-javasmt

# Conflicts:
#	src/org/sosy_lab/java_smt/test/BooleanFormulaSubjectTest.java
#	src/org/sosy_lab/java_smt/test/NonLinearArithmeticTest.java
#	src/org/sosy_lab/java_smt/test/NumeralFormulaManagerTest.java
#	src/org/sosy_lab/java_smt/test/ProverEnvironmentTest.java
#	src/org/sosy_lab/java_smt/test/SolverBasedTest0.java
#	src/org/sosy_lab/java_smt/test/SolverConcurrencyTest.java
#	src/org/sosy_lab/java_smt/test/SolverStackTest.java
#	src/org/sosy_lab/java_smt/test/SolverTheoriesTest.java
    @daniel-raffler
    daniel-raffler committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    84912b7 View commit details
    Browse the repository at this point in the history

  5. DReal: Moved handling of the assertion stack from DReal4TheoremProver… 

    … to its superclass AbstractProver.
    @daniel-raffler
    daniel-raffler committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    1d77a80 View commit details
    Browse the repository at this point in the history

  6. DReal: Updated build instruction for Ubuntu 23.10

    @daniel-raffler
    daniel-raffler committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    dc0484e View commit details
    Browse the repository at this point in the history

  7. DReal: Added missing step

    @daniel-raffler
    daniel-raffler committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    e339dca View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. DReal: Updated build documentation

    @daniel-raffler
    daniel-raffler committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    f2af4b3 View commit details
    Browse the repository at this point in the history

  2. DReal: Added skeleton build script for the backend.

    @daniel-raffler
    daniel-raffler committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    a25d764 View commit details
    Browse the repository at this point in the history

  3. DReal: Fixed formatting

    @daniel-raffler
    daniel-raffler committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    bb272a2 View commit details
    Browse the repository at this point in the history

  4. DReal: Fixed crashes in ModelTest and ModelEvaluationTest. There seem… 

    …s to be an issue with Expression.getVariables, which was patched into the SWIG code. I've added a workaround for now, but the proper way to do it would be to add a SWIG script and recreate the bindings from there.
    @daniel-raffler
    daniel-raffler committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    172b017 View commit details
    Browse the repository at this point in the history

  5. DReal: Fixed library loading in DReal4NativeAPITest

    @daniel-raffler
    daniel-raffler committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    b62b272 View commit details
    Browse the repository at this point in the history

  6. DReal: Fixed getVariablesTest from DReal4NativeAPITest (See 172b017)

    @daniel-raffler
    daniel-raffler committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    5f39ba6 View commit details
    Browse the repository at this point in the history

  7. DReal: Blacklisted dReal for some tests in SolverStackTest0

    @daniel-raffler
    daniel-raffler committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    c1c1bd6 View commit details
    Browse the repository at this point in the history

  8. DReal: Use requireUnsatCore in a tests that used to check manually.

    @daniel-raffler
    daniel-raffler committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    9baa309 View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2024

  1. DReal: Added missing license information

    @daniel-raffler
    daniel-raffler committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    045f894 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. DReal: Added a proper build script for dReal.

    @daniel-raffler
    daniel-raffler committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    263756d View commit details
    Browse the repository at this point in the history

  2. DReal: Remove dReal build files in 'ant clean' task.

    @daniel-raffler
    daniel-raffler committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    97068ef View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2024

  1. DReal: Fixed git hash for the version used in the build file.

    @daniel-raffler
    daniel-raffler committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    bb405c0 View commit details
    Browse the repository at this point in the history