Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 11, 2023

• update Maven projects to latest version of JavaSMT 4.1.0.

  Show description for 0f28dc8
  kfriedberger

  committed
  0f28dc8

  Copy full SHA for 0f28dc8

• fix indent in pom.xml, i.e., remove irregular whitespaces.

  kfriedberger

  committed
  761c85b

  Copy full SHA for 761c85b

• fix typos.

  kfriedberger

  committed
  c58fe5b

  Copy full SHA for c58fe5b

Commits on Oct 8, 2023

• Merge branch 'origin/master' into add_opensmt2

  kfriedberger

  committed
  63d9db9

  Copy full SHA for 63d9db9

• update documentation for publishing OpenSMT.

  kfriedberger

  committed
  3dfc334

  Copy full SHA for 3dfc334

Commits on Aug 28, 2023

• update Maven examples with newer libraries.

  kfriedberger

  committed
  d32310b

  Copy full SHA for d32310b

• update Maven examples to JavaSMT with version 4.0.3.

  kfriedberger

  committed
  3be6eba

  Copy full SHA for 3be6eba

Commits on Aug 1, 2023

• Updated build instructions for the solver backend.

  daniel-raffler

  committed
  b694498

  Copy full SHA for b694498

Commits on Jun 8, 2023

• update example Maven projects to latest JavaSMT release.

  Show description for 7d67338
  kfriedberger

  committed
  7d67338

  Copy full SHA for 7d67338

Commits on Apr 25, 2023

• Fixed a typo in the documentation

  daniel-raffler

  committed
  c657a5a

  Copy full SHA for c657a5a

• Add OpenSMT as another solver backend

  daniel-raffler

  committed
  296d3c6

  Copy full SHA for 296d3c6

Commits on Apr 13, 2023

• CVC5: update to release 1.0.5

  kfriedberger

  committed
  0fbd194

  Copy full SHA for 0fbd194

Commits on Jan 29, 2023

• update Z3 to version 3.12.1

  Show description for 8cd6379
  kfriedberger

  committed
  8cd6379

  Copy full SHA for 8cd6379

Commits on Dec 4, 2022

• update documentation for building CVC5.

  kfriedberger

  committed
  61c853e

  Copy full SHA for 61c853e

Commits on Oct 4, 2022

• update the Maven example project with new solvers and CVC5.

  kfriedberger

  committed
  efb3447

  Copy full SHA for efb3447

Commits on Aug 20, 2022

• fix URL in documentation.

  kfriedberger

  committed
  86167e3

  Copy full SHA for 86167e3

Commits on Aug 18, 2022

• Merge remote-tracking branch 'origin/master' into cvc5

  kfriedberger

  committed
  49d0d73

  Copy full SHA for 49d0d73

Commits on Aug 16, 2022

• update CVC5 to latest release 1.0.1 (plus a patch for loading the native libraries)

  Show description for 49682c5
  kfriedberger

  committed
  49682c5

  Copy full SHA for 49682c5

Commits on Jul 28, 2022

• update Z3 to version 4.10.1.

  kfriedberger

  committed
  1f6246f

  Copy full SHA for 1f6246f

Commits on Jun 18, 2022

• update documentation for building MathSAT5 with latest version number.

  kfriedberger

  committed
  eea369e

  Copy full SHA for eea369e

Commits on May 23, 2022

• Fix tests in Example-Gradle-Project-Kotlin

  Show description for 0a0dc7d
  d-costa

  committed
  0a0dc7d

  Copy full SHA for 0a0dc7d

Commits on May 22, 2022

• Add a readme for the Kotlin Gradle example

  baierd

  committed
  0c9cc4f

  Copy full SHA for 0c9cc4f

• Update Java Gradle example project versions and clean up the build.gradle file

  baierd

  committed
  17cf6d7

  Copy full SHA for 17cf6d7

• Add a Gradle example in Kotlin using Kotlin in Gradle. This example includes a main application using the SolverOverviewTable example and all solvers

  baierd

  committed
  5259bfd

  Copy full SHA for 5259bfd

Commits on May 4, 2022

• Clean up imports in Gradle (newly added Kotlin alternative import for Z3)

  baierd

  committed
  81ad1c3

  Copy full SHA for 81ad1c3

• Update versions of the dependencies in the example Gradle project

  baierd

  committed
  bb1f44e

  Copy full SHA for bb1f44e

Commits on Mar 13, 2022

• update example Maven projects.

  kfriedberger

  committed
  28e9304

  Copy full SHA for 28e9304

Commits on Feb 19, 2022

• Merge pull request sosy-lab#227 from sosy-lab/gradle_example_project

  Show description for d9b0797
  kfriedberger

  authored
  d9b0797

  Copy full SHA for d9b0797

Commits on Jan 28, 2022

• Use a map for all JavaSMT/solver versions in the Gradle example

  baierd

  committed
  01af5d0

  Copy full SHA for 01af5d0

Commits on Jan 27, 2022

• update build process for MathSAT library.

  Show description for 634a543
  kfriedberger

  committed
  634a543

  Copy full SHA for 634a543

• Switch to Maven central for Princess + use variables for version numbers

  baierd

  committed
  f07fe4d

  Copy full SHA for f07fe4d

Commits on Jan 22, 2022

• Make gradle example project readme a md file and add license header

  baierd

  committed
  ac4ad2a

  Copy full SHA for ac4ad2a

Commits on Jan 21, 2022

• Add yices2 + boolector to the gradle example project tests

  baierd

  committed
  618c2bd

  Copy full SHA for 618c2bd

Commits on Jan 11, 2022

• Add the ability to create a jar with Gradle in the example project

  baierd

  committed
  10ec4f6

  Copy full SHA for 10ec4f6

• Add a small readme to the Gradle example

  baierd

  committed
  095cd87

  Copy full SHA for 095cd87

Pagination

Previous

Next