Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 6, 2023

• yices2 addition

  vcanumalla

  committed
  5994ae2

Commits on Nov 29, 2023

• stp support

  vcanumalla

  committed
  01cf9f3

Commits on Sep 14, 2023

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

  Show description for b3f792a
  gussmith23

  authored
  b3f792a

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 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 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 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

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

  Show description for bc90edd
  lukenels

  committed
  bc90edd

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
  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

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 3, 2021

• Add concrete? and symbolic? predicates for checking if a value is fully concrete or not (emina#183).

  emina

  committed
  fdb779a

Commits on Mar 1, 2021

• Update docs.

  emina

  committed
  1f8c862

Commits on Feb 26, 2021

• Document library procedures for operating on vectors with bitvector indices.

  emina

  committed
  8acc778

• Document library procedures for operating on lists with bitvector indices.

  emina

  committed
  66c0fd5

• Update doc log files.

  emina

  committed
  55f0239

• Test library procedures for operating on lists and vectors with bitvector indices.

  emina

  committed
  90739dd

Pagination

PreviousNext