Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 1, 2021

• halide division semantics operator

  jn80842

  committed
  9c70501

  Copy full SHA for 9c70501

Commits on Jul 23, 2021

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

  Show description for 7ac31ff
  jamesbornholt

  authored
  7ac31ff

  Copy full SHA for 7ac31ff

• Workaround spurious CAS failures (emina#198)

  Show description for 7cac2c9
  sorawee

  authored
  7cac2c9

  Copy full SHA for 7cac2c9

Commits on May 20, 2021

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

  Show description for 38743f6
  jbclements

  authored
  38743f6

  Copy full SHA for 38743f6

Commits on Apr 16, 2021

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

  emina

  committed
  9f6322c

  Copy full SHA for 9f6322c

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

  emina

  committed
  3432d95

  Copy full SHA for 3432d95

Commits on Apr 14, 2021

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

  Show description for a7ea8a8
  sorawee

  authored
  a7ea8a8

  Copy full SHA for a7ea8a8

Commits on Mar 18, 2021

• Scribble-ify (emina#184)

  Show description for a64e2bc
  sorawee

  authored
  a64e2bc

  Copy full SHA for a64e2bc

Commits on Mar 11, 2021

• Update a cross-reference in the Guide.

  emina

  committed
  ac96664

  Copy full SHA for ac96664

Commits on Mar 5, 2021

• Update synthcl to use new synthesis constructs.

  emina

  committed
  9b3d3dc

  Copy full SHA for 9b3d3dc

Commits on Mar 4, 2021

• Fix synthax tests.

  emina

  committed
  59079bb

  Copy full SHA for 59079bb

• Fix synthax tests.

  emina

  committed
  46d44cf

  Copy full SHA for 46d44cf

• Update the CI configuration.

  emina

  committed
  1defa8e

  Copy full SHA for 1defa8e

• Update the CI configuration.

  emina

  committed
  ca6fa33

  Copy full SHA for ca6fa33

• Add Rosette 4.0 release notes.

  emina

  committed
  dcdc60c

  Copy full SHA for dcdc60c

• Merge remote-tracking branch 'upstream/master'

  emina

  committed
  723cd8a

  Copy full SHA for 723cd8a

• Add 3.2 release notes.

  emina

  committed
  c092b65

  Copy full SHA for 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

  Copy full SHA for fdb779a

Commits on Mar 1, 2021

• Update docs.

  emina

  committed
  1f8c862

  Copy full SHA for 1f8c862

Commits on Feb 26, 2021

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

  emina

  committed
  8acc778

  Copy full SHA for 8acc778

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

  emina

  committed
  66c0fd5

  Copy full SHA for 66c0fd5

• Update doc log files.

  emina

  committed
  55f0239

  Copy full SHA for 55f0239

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

  emina

  committed
  90739dd

  Copy full SHA for 90739dd

Commits on Feb 25, 2021

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

  emina

  committed
  6b33bb5

  Copy full SHA for 6b33bb5

Commits on Feb 22, 2021

• Cleanup.

  emina

  committed
  c138d01

  Copy full SHA for c138d01

• Improve the synthax tests.

  emina

  committed
  4366dad

  Copy full SHA for 4366dad

• Update comment.

  emina

  committed
  3aeb00b

  Copy full SHA for 3aeb00b

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

  emina

  committed
  34ff8d9

  Copy full SHA for 34ff8d9

Commits on Feb 19, 2021

• Cleanup.

  emina

  committed
  ada8683

  Copy full SHA for ada8683

• Cleanup.

  emina

  committed
  8fabaa8

  Copy full SHA for 8fabaa8

Commits on Feb 17, 2021

• Revise the guide: Debugging.

  emina

  committed
  f803299

  Copy full SHA for f803299

• Revise the guide: Performance.

  emina

  committed
  252ec00

  Copy full SHA for 252ec00

• Revise the guide: Unsafe Operations.

  emina

  committed
  532aa8e

  Copy full SHA for 532aa8e

• Drop current-oracle and oracle.

  emina

  committed
  c185cf7

  Copy full SHA for c185cf7

Commits on Feb 16, 2021

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

  emina

  committed
  b4f6ae1

  Copy full SHA for b4f6ae1

Pagination

Previous

Next