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 30, 2023

• added yices2

  vcanumalla

  committed
  cd7c074

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 Nov 11, 2022

• Fix unintentional value retain (emina#248)

  Show description for d3c7abf
  sorawee

  authored
  d3c7abf

Commits on Aug 17, 2022

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

  Show description for c407b87
  sorawee

  authored
  c407b87

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 Mar 4, 2021

• Fix synthax tests.

  emina

  committed
  59079bb

• Fix synthax tests.

  emina

  committed
  46d44cf

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 Feb 26, 2021

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

  emina

  committed
  66c0fd5

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

  emina

  committed
  90739dd

Commits on Feb 22, 2021

• Improve the synthax tests.

  emina

  committed
  4366dad

Commits on Feb 16, 2021

• Replace term-cache with (terms) and (with-terms ...).

  emina

  committed
  490c4fe

Commits on Feb 13, 2021

• Rename normal -> normal and ans? -> normal?.

  emina

  committed
  91d25ea

• Rename halt -> failed and halt? -> failed?.

  emina

  committed
  2fabc4b

• Rename vc-merge! -> merge-vc! and vc-get -> get-vc.

  emina

  committed
  091b669

• Rename vc-clear! -> clear-vc!.

  emina

  committed
  6281fa8

Commits on Feb 10, 2021

• Revise the guide: Exported Racket Libraries and Solver-Aided Libraries.

  emina

  committed
  d339029

Commits on Feb 5, 2021

• Drop CPLEX.

  emina

  committed
  4b95c79

Commits on Feb 3, 2021

• Rename spec? -> vc? and spec-* -> vc-*.

  emina

  committed
  7f1d498

• Rename merge-vc! -> vc-merge!.

  emina

  committed
  4a47f2c

• Rename clear-vc! -> vc-clear!.

  emina

  committed
  251d697

• Rename spec-tt -> vc-true, spec-tt? -> vc-true?.

  emina

  committed
  5efc79f

Commits on Feb 1, 2021

• Enable error tracing tests.

  emina

  committed
  c0016dc

Commits on Jan 29, 2021

• reenable error tracer for Rosette 4

  sorawee

  committed
  e37f49b

Commits on Jan 20, 2021

• Optimize value merging.

  emina

  committed
  40f01c4

Commits on Jan 18, 2021

• Add a define-sketch construct that provides syntactic sugar for defining single-production grammars.

  emina

  committed
  f254252

• Clean up and patch bv tests.

  emina

  committed
  925ad30

Commits on Jan 15, 2021

• Clean up old code and patch bv tests.

  emina

  committed
  46378e1

Commits on Jan 14, 2021

• Update the syntax of define-symbolic[*] forms.

  Show description for 7240f29
  emina

  committed
  7240f29

Commits on Jan 8, 2021

• Add the define-grammar construct to the synthax library, along with unit tests.

  emina

  committed
  a1b7ab9

Commits on Jan 6, 2021

• Integrate the new sketching library and add more tests.

  emina

  committed
  7b692ae

Pagination

PreviousNext