Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 17, 2024

• Bump docker/build-push-action from 5 to 6

  Show description for cf703c6
  

  dependabot[bot]

  authored and

  sorawee

  committed
  cf703c6

• Attempt STP fix

  

  gussmith23

  authored and

  sorawee

  committed
  bb0dec0

Commits on Dec 14, 2023

• Add support for STP and Yices2 (emina#273)

  Show description for edf682d
  

  gussmith23

  and

  vcanumalla

  authored
  edf682d

Commits on Oct 30, 2023

• Bump Bogdanp/setup-racket from 1.10 to 1.11 (emina#269)

  Show description for 63524aa
  dependabot[bot]

  authored
  63524aa

Commits on Sep 14, 2023

• Bump docker/build-push-action from 4 to 5 (emina#266)

  Show description for 2f183fd
  dependabot[bot]

  authored
  2f183fd

• Bump docker/metadata-action from 4 to 5 (emina#265)

  Show description for ad417cc
  dependabot[bot]

  authored
  ad417cc

• Bump docker/login-action from 2 to 3 (emina#264)

  Show description for b6e0ea3
  dependabot[bot]

  authored
  b6e0ea3

• Bump docker/setup-buildx-action from 2 to 3 (emina#263)

  Show description for fd38ca3
  dependabot[bot]

  authored
  fd38ca3

• Add support for Bitwuzla and CVC5 (emina#260)

  Show description for b3f792a
  gussmith23

  authored
  b3f792a

Commits on Sep 7, 2023

• Bump actions/checkout from 3 to 4

  Show description for 6096aba
  

  dependabot[bot]

  authored and

  sorawee

  committed
  6096aba

Commits on Aug 11, 2023

• avoid quadratic time processing in solver-(assert,min/maximize) (emina#261)

  Show description for 5dd3489
  sorawee

  authored
  5dd3489

Commits on Jul 4, 2023

• Update docs.

  emina

  committed
  649184f

Commits on Apr 9, 2023

• Install a custom Z3 build on Apple Silicon Macs (emina#254)

  Show description for 15647f2
  jamesbornholt

  authored
  15647f2

Commits on Mar 16, 2023

• Bump Bogdanp/setup-racket from 1.9 to 1.10

  Show description for 6d41d0e
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  6d41d0e

Commits on Feb 1, 2023

• Bump docker/build-push-action from 3 to 4 (emina#251)

  Show description for 7cfd9b2
  dependabot[bot]

  authored
  7cfd9b2

Commits on Jan 20, 2023

• Use cache for path->pkg (emina#250)

  sorawee

  authored
  88b3fd9

Commits on Nov 11, 2022

• Fix unintentional value retain (emina#248)

  Show description for d3c7abf
  sorawee

  authored
  d3c7abf

• Fix the help description (emina#246)

  Show description for b58652b
  sorawee

  authored
  b58652b

Commits on Oct 17, 2022

• Make evaluate preserve vector immutability (emina#244)

  Show description for 7e69613
  anishathalye

  authored
  7e69613

Commits on Oct 15, 2022

• Bump Bogdanp/setup-racket from 1.8 to 1.9 (emina#243)

  Show description for 4c23c80
  dependabot[bot]

  authored
  4c23c80

Commits on Aug 17, 2022

• Disallow define-symbolic with different types (emina#240)

  Show description for c407b87
  sorawee

  authored
  c407b87

Commits on Aug 15, 2022

• Don't fail the whole install if Z3 fails

  Show description for ec1a0db
  jamesbornholt

  committed
  ec1a0db

Commits on Aug 14, 2022

• Make Z3 install failures more obvious on unsupported platforms

  Show description for 426ffbf
  jamesbornholt

  committed
  426ffbf

Commits on May 6, 2022

• Bump docker/setup-buildx-action from 1 to 2

  Show description for 096430e
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  096430e

• Bump docker/build-push-action from 2 to 3

  Show description for f1dd43b
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  f1dd43b

• Bump docker/login-action from 1 to 2

  Show description for 117d7aa
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  117d7aa

Commits on May 5, 2022

• Bump docker/metadata-action from 3 to 4

  Show description for 374e728
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  374e728

Commits on May 2, 2022

• Bump Bogdanp/setup-racket from 1.7 to 1.8

  Show description for 9520c30
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  9520c30

Commits on Apr 9, 2022

• improve error location (emina#228)

  sorawee

  authored
  5369537

Commits on Apr 2, 2022

• Close emina#224.

  emina

  committed
  1d042d1

Commits on Mar 23, 2022

• Fix parsing of SMT-LIB-compliant models

  Show description for c2975b9
  jamesbornholt

  committed
  c2975b9

Commits on Mar 8, 2022

• Properly handle tags in Docker workflow

  lukenels

  committed
  1017855

• Run Docker workflow on tags

  lukenels

  committed
  eeb5e12

• 4.1 Release notes

  lukenels

  committed
  e35e920

• Use pretty-write instead of pretty-print in print-forms

  Show description for bc90edd
  lukenels

  committed
  bc90edd

Pagination

PreviousNext