Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 29, 2023

• Adds support for cvc5 solver

  sushant94

  committed
  cde57ea

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

Commits on Mar 7, 2022

• Bump Bogdanp/setup-racket from 1.1 to 1.7

  Show description for c53aff6
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  c53aff6

• Add Docker image and continuous deployment for it (emina#219)

  Show description for 54e1df6
  Niols

  authored
  54e1df6

Commits on Dec 6, 2021

• Fix ite* rewrite bug.

  

  Emina Torlak

  committed
  9d14d44

Commits on Nov 18, 2021

• Bump up the required Racket version to 8.1.

  emina

  committed
  3d84cdc

• Bump up the required Racket version to 8.1.

  emina

  committed
  8684625

• Fix bitvector type sharing in extract and use hasheq (emina#207)

  Show description for c6e8dbc
  sorawee

  authored
  c6e8dbc

Commits on Nov 11, 2021

• Fix model parsing for Boolector 3.2.2 (emina#206)

  Show description for 2e2896d
  jamesbornholt

  authored
  2e2896d

Commits on Nov 6, 2021

• Weakens the synthesize query to match the documented formula (Closes emina#205).

  emina

  committed
  dbfd847

Commits on Jul 23, 2021

• Fix one more spurious CAS failure (emina#199)

  Show description for 7ac31ff
  jamesbornholt

  authored
  7ac31ff

• Workaround spurious CAS failures (emina#198)

  Show description for 7cac2c9
  sorawee

  authored
  7cac2c9

Commits on May 20, 2021

• remove dependency on now-nonexistent file (emina#191)

  Show description for 38743f6
  jbclements

  authored
  38743f6

Commits on Apr 16, 2021

• Drop outdated support for Yices (emina#189).

  emina

  committed
  9f6322c

• Add int2bv feature to bvlib rotate tests (emina#189).

  emina

  committed
  3432d95

Commits on Apr 14, 2021

• optimize: restrict keyword to #:maximize and #:minimize (emina#188)

  Show description for a7ea8a8
  sorawee

  authored
  a7ea8a8

Commits on Mar 18, 2021

• Scribble-ify (emina#184)

  Show description for a64e2bc
  sorawee

  authored
  a64e2bc

Commits on Mar 11, 2021

• Update a cross-reference in the Guide.

  emina

  committed
  ac96664

Commits on Mar 5, 2021

• Update synthcl to use new synthesis constructs.

  emina

  committed
  9b3d3dc

Pagination

PreviousNext