Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 30, 2022

• Fix infinite loop in example code

  

  ftc

  authored and

  regb

  committedDec 30, 2022
  665a818

Commits on Jul 8, 2022

• Update to SBT 1.6.2

  

  zgrannan

  authored and

  regb

  committedJul 8, 2022
  c402f56

Commits on Oct 31, 2021

• update libraryDependencies to 2.13 in readme doc

  regb

  committedOct 31, 2021
  fbda6c1

Commits on Oct 30, 2021

• fix sonatype pom

  regb

  committedOct 30, 2021
  c68dbaa

Commits on May 3, 2021

• Merge branch 'compat/scala-2.13-activation' of git://github.com/renaissance-benchmarks/dependency-scala-smtlib into renaissance-benchmarks-compat/scala-2.13-activation

  regb

  committedMay 3, 2021
  c3f60dd

• Use scala.jdk.CollectionJonverters instead of JavaConversions

  

  lbulej

  authored and

  regb

  committedMay 3, 2021
  69dddb7

• Access the Right of Either in a compatible fashion

  

  lbulej

  authored and

  regb

  committedMay 3, 2021
  952e298

• Add (exception-throwing) defaults to non-exhaustive pattern matches

  

  lbulej

  authored and

  regb

  committedMay 3, 2021
  ae4c1c6

• Use function literals to convert methods to functions

  

  lbulej

  authored and

  regb

  committedMay 3, 2021
  1866ae6

• Replace use of (deprecated) FunSuite with funsuite.AnyFunSuite

  

  lbulej

  authored and

  regb

  committedMay 3, 2021
  34b5a74

• Make model token optional when parsing solver output

  

  jad-hamza

  authored and

  regb

  committedMay 3, 2021
  3ec71ad

Commits on Apr 13, 2021

• Fix SimpleTreeTransformer

  

  kmn4

  authored and

  regb

  committedApr 13, 2021
  7654d63

Commits on Apr 1, 2021

• Fix or

  

  zgrannan

  authored and

  regb

  committedApr 1, 2021
  9caa0b5

Commits on Nov 26, 2020

• Do not rely on automatic activation

  lbulej

  committedNov 26, 2020
  74cc35a

Commits on Nov 27, 2019

• Typo

  

  jad-hamza

  authored and

  regb

  committedNov 27, 2019
  b9e9f4f

• Minor changes and upgrade to Scala 2.13.1

  

  jad-hamza

  authored and

  regb

  committedNov 27, 2019
  6cf07c6

Commits on Oct 13, 2018

• Remove hack for CVC4

  regb

  committedOct 13, 2018
  0dfbc83

• adding -i as default for CVC4, not sure why except #33

  regb

  committedOct 13, 2018
  27703df

• Yet another hack to go around CVC4 #32

  regb

  committedOct 13, 2018
  e03c177

Commits on Jun 10, 2018

• Remove (apparently) outdated arguments for CVC4

  regb

  committedJun 10, 2018
  91e7214

Commits on Jan 21, 2018

• fix build

  regb

  committedJan 21, 2018
  3e23701

Commits on Jan 20, 2018

• sonatype config

  regb

  committedJan 20, 2018
  45b9899

• Fix broken links in README

  

  chocolatier

  authored and

  regb

  committedJan 20, 2018
  16e872e

Commits on Jan 13, 2018

• update version in readme

  regb

  committedJan 13, 2018
  9b7404b

• check snapshot in version string

  regb

  committedJan 13, 2018
  00a9686

Commits on Dec 18, 2017

• Activate automatic sbt version

  samarion

  committedDec 18, 2017
  803d9cd

• Ignore sbt target directories in git

  samarion

  committedDec 18, 2017
  4808ed6

• Sbt version depending on commit hash

  samarion

  committedDec 18, 2017
  fc9b606

Commits on Nov 28, 2017

• Allow eval to parse unsat assumption responses

  

  samarion

  authored and

  regb

  committedNov 28, 2017
  3ffdc82

Commits on Jul 30, 2017

• log ideas and todos

  regb

  committedJul 30, 2017
  2898f61

Commits on May 18, 2017

• testing the fix

  regb

  committedMay 18, 2017
  7686226

Commits on May 15, 2017

• Bump version

  mantognini

  committedMay 15, 2017
  7f8424a

• Fix mardown format in README.md

  mantognini

  committedMay 15, 2017
  03de6d4

• Fix BitVectorConstant extraction

  mantognini

  committedMay 15, 2017
  131b5e2

• Fix it test compilation

  mantognini

  committedMay 15, 2017
  d7d9e4f

Pagination

PreviousNext