Commits

Branch selector

 1defa8e

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 4, 2021

• 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

• Revise the guide: Reflecting on Symbolic State.

  emina

  committed
  d34c2ae

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

  emina

  committed
  091b669

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

  emina

  committed
  6281fa8

• Revise the guide: Reflecting on Symbolic State.

  emina

  committed
  ac0fb55

Commits on Feb 11, 2021

• Revise the guide: Reflecting on Symbolic Values.

  emina

  committed
  e63e2af

• Revise the guide: Reflecting on Symbolic Values. Drop define-lift.

  emina

  committed
  c76b803

Commits on Feb 10, 2021

• Revise the guide: Utility Libraries (no edits).

  emina

  committed
  7d1d80c

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

  emina

  committed
  d339029

Commits on Feb 5, 2021

• Revise the guide: Structures.

  emina

  committed
  190f6dc

Pagination

PreviousNext