Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

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

Commits on Feb 22, 2021

• Cleanup.

  emina

  committed
  c138d01

• Improve the synthax tests.

  emina

  committed
  4366dad

• Update comment.

  emina

  committed
  3aeb00b

• Update info.rkt and CI config to use Racket 8.0.

  emina

  committed
  34ff8d9

Commits on Feb 19, 2021

• Cleanup.

  emina

  committed
  ada8683

• Cleanup.

  emina

  committed
  8fabaa8

Commits on Feb 17, 2021

• Revise the guide: Debugging.

  emina

  committed
  f803299

• Revise the guide: Performance.

  emina

  committed
  252ec00

• Revise the guide: Unsafe Operations.

  emina

  committed
  532aa8e

• Drop current-oracle and oracle.

  emina

  committed
  c185cf7

Commits on Feb 16, 2021

• Revise the guide: more consistent naming for Solvers and Solutions.

  emina

  committed
  b4f6ae1

• 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

Pagination

PreviousNext