Commits

Branch selector

 1017855

User selector

All users

Datepicker

All time

Commit History

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

Commits on Mar 4, 2021

• Fix synthax tests.

  emina

  committed
  59079bb

• Fix synthax tests.

  emina

  committed
  46d44cf

• Update the CI configuration.

  emina

  committed
  1defa8e

• Update the CI configuration.

  emina

  committed
  ca6fa33

• Add Rosette 4.0 release notes.

  emina

  committed
  dcdc60c

• Merge remote-tracking branch 'upstream/master'

  emina

  committed
  723cd8a

• Add 3.2 release notes.

  emina

  committed
  c092b65

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

Commits on Feb 25, 2021

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

  emina

  committed
  6b33bb5

Pagination

PreviousNext