Commits

Branch selector

 master

User selector

daniel-raffler

Datepicker

All time

Commit History

Commits on Nov 8, 2023

• OpenSMT: Updated OpenSMT to version 2.5.2-gf30e983f

  daniel-raffler

  committed
  8d4b763

  Copy full SHA for 8d4b763

Commits on Nov 6, 2023

• Merge branch 'sosy-lab:master' into master

  daniel-raffler

  authored
  e0f29ee

  Copy full SHA for e0f29ee

• OpenSMT: Simplified exception handler code in the SWIG headers.

  daniel-raffler

  committed
  8a92c67

  Copy full SHA for 8a92c67

Commits on Nov 3, 2023

• OpenSMT: Fixed new bug in the build file.

  daniel-raffler

  committed
  b9c6535

  Copy full SHA for b9c6535

• OpenSMT: Removed some whitespace.

  daniel-raffler

  committed
  d01a773

  Copy full SHA for d01a773

• Merge branch 'swigCleanup'

  daniel-raffler

  committed
  6d97841

  Copy full SHA for 6d97841

• OpenSMT: Bumped version from 2.5.2 to 2.5.2-patched as the SWIG header has changed and this breaks compatability with the old release.

  daniel-raffler

  committed
  3281b68

  Copy full SHA for 3281b68

• OpenSMT: Added special exception handler for Logic.parseFormula(..) to the SWIG header. That way we don't have to rethrow the exception later in the formula manager.

  daniel-raffler

  committed
  ba16393

  Copy full SHA for ba16393

• OpenSMT: Added Logic.protectName(PTRef) back to the SWIG header. This function was actually being used..

  daniel-raffler

  committed
  b9ab585

  Copy full SHA for b9ab585

Commits on Oct 31, 2023

• OpenSMT: Cleaned up SWIG headers and removed unused functions.

  daniel-raffler

  committed
  dd814ae

  Copy full SHA for dd814ae

• OpenSMT: Fixed build file to clean up all intermediate files after building the solver.

  daniel-raffler

  committed
  a508b25

  Copy full SHA for a508b25

• OpenSMT: Split up the SWIG header file.

  daniel-raffler

  committed
  aa8b944

  Copy full SHA for aa8b944

Commits on Oct 30, 2023

• OpenSMT: Removed 'ItpAlgorithm' and most of the methods in 'SMTConfig' from the JNI bindings. Instead we now use the method SMTConfig.setOption(name, value) for all options.

  daniel-raffler

  committed
  83bbfab

  Copy full SHA for 83bbfab

• OpenSMT: Removed 'OpenSMT' and 'opensmt_logic' classes from the autogenerated JNI bindings. These two classes provide an alternative entrpoint for the OpenSMT library. However, they are better suit…

  Show description for c46a6c1
  daniel-raffler

  committed
  c46a6c1

  Copy full SHA for c46a6c1

• OpenSMT: Logic.hasQuotableChars has been fixed upstream. We update our API patch and remove the test case for the bug. See usi-verification-and-security/opensmt@83fa637

  daniel-raffler

  committed
  928566f

  Copy full SHA for 928566f

Commits on Oct 26, 2023

• OpenSMT: Removed patch that fixed the formating of printed OpenSMT formulas and fixed our own test. See discussion in usi-verification-and-security/opensmt#646 (comment) for details.

  daniel-raffler

  committed
  a85e382

  Copy full SHA for a85e382

• OpenSMT: Removed patch for the default value of booleans in OpenSMT and fixed our own test. See discussion in usi-verification-and-security/opensmt#646 (comment) for details.

  daniel-raffler

  committed
  b15cb1d

  Copy full SHA for b15cb1d

• OpenSMT: Update API patch after some of our changes were accepted into the OpenSMT main branch. See usi-verification-and-security/opensmt#646 for the details.

  daniel-raffler

  committed
  da0a662

  Copy full SHA for da0a662

• OpenSMT: While we're at it: remove unnecessary native API test.

  daniel-raffler

  committed
  eeecdad

  Copy full SHA for eeecdad

• OpenSMT: Fix native API tests after API change. See usi-verification-and-security/opensmt@4b414ae

  daniel-raffler

  committed
  c36ca19

  Copy full SHA for c36ca19

• OpenSMT: Update solver version to 2.5.2-35

  daniel-raffler

  committed
  d8a24ef

  Copy full SHA for d8a24ef

• OpenSMT: Changed solver build file to fail if the API patch can't be applied.

  daniel-raffler

  committed
  208a938

  Copy full SHA for 208a938

Commits on Oct 9, 2023

• Moved Logics to OpenSmtSolverContext. This addresses sosy-lab#302 (comment).

  

  daniel-raffler

  authored and

  kfriedberger

  committed
  1cd20b8

  Copy full SHA for 1cd20b8

• Removed unused variable in OpenSmtEvaluator. See sosy-lab#302 (comment).

  

  daniel-raffler

  authored and

  kfriedberger

  committed
  57729f6

  Copy full SHA for 57729f6

• Fixed javadoc and source packaging after moving the opensmt package to org.sosy_lab.java_smt.solvers

  

  daniel-raffler

  authored and

  kfriedberger

  committed
  fd0bc76

  Copy full SHA for fd0bc76

Commits on Oct 6, 2023

• Ran format-source and checkstyle

  daniel-raffler

  committed
  fc31c6c

  Copy full SHA for fc31c6c

• Cleaned up changes in test/*

  daniel-raffler

  committed
  46b1057

  Copy full SHA for 46b1057

• Reenable tests for ALL solver backends. This reverts commit fd0bc35.

  daniel-raffler

  committed
  186523f

  Copy full SHA for 186523f

• Fixed indentation for 5595fe7

  daniel-raffler

  committed
  4061d23

  Copy full SHA for 4061d23

• Addressed sosy-lab#302 (comment)

  daniel-raffler

  committed
  206bebc

  Copy full SHA for 206bebc

• Fixed issue sosy-lab#302 (comment) and sosy-lab#302 (comment) in the JUnit build file.

  daniel-raffler

  committed
  5595fe7

  Copy full SHA for 5595fe7

Commits on Sep 13, 2023

• Fixed logic selection

  daniel-raffler

  committed
  55b9d56

  Copy full SHA for 55b9d56

Commits on Aug 24, 2023

• Fixed continuousRunningThreadFormulaTransferTranslateTest from SolverConcurrencyTest and reenabled the other tests from the testsuite

  daniel-raffler

  committed
  be28b75

  Copy full SHA for be28b75

• Added solver options to select the interpolation algorithm

  daniel-raffler

  committed
  7e914cd

  Copy full SHA for 7e914cd

Commits on Aug 17, 2023

• Added check to make sure that assertions only use features supported by the selected sublogic. Throw SolverException otherwise. This will give better error messages if the logic has been set to som…

  Show description for 2e92cf6
  daniel-raffler

  committed
  2e92cf6

  Copy full SHA for 2e92cf6

Pagination

Previous

Next