Commits

Branch selector

 076c43f

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 26, 2014

• the rosette guide

  emina

  committed
  076c43f

Commits on Oct 6, 2014

• exporting basic racket generic interfaces in rosette/safe

  emina

  committed
  298c24f

Commits on Oct 4, 2014

• tests for cvc4; a basic division test is currently segfaulting on the Mac. Waiting for the bug fix before incorporating the tests into the all-tests suite

  emina

  committed
  e0fad78

• ignore cvc4 binaries

  emina

  committed
  f1eabd5

• fsm demo

  emina

  committed
  c5e1657

• basic support for cvc4

  emina

  committed
  4ddc38c

• Merge branch 'master' of https://github.com/emina/rosette

  emina

  committed
  bee2c96

• basic support for cvc4

  emina

  committed
  92d2ce3

Commits on Sep 24, 2014

• bitvector superoptimization language

  emina

  committed
  3d8a69e

Commits on Sep 16, 2014

• got rid of the (configured bitwidth) and (configure [bitwidth n]) syntax; use (current-bitwidth) or (current-bitwidth n) instead

  emina

  committed
  f45f4b9

Commits on Sep 2, 2014

• updated readme

  emina

  committed
  1691b70

• updated readme

  emina

  committed
  25d20c6

• updated rosette/base/module.rkt to be compatible with the change in letrec semantics in Racket 6.1

  emina

  committed
  f47209d

Commits on Aug 22, 2014

• added a procedure for explicit clearing of the term cache

  emina

  committed
  4733826

Commits on Aug 21, 2014

• added a procedure for explicit clearing of the term cache

  emina

  committed
  920e681

• added a procedure for explicit clearing of the term cache

  emina

  committed
  ea4e736

Commits on Aug 20, 2014

• added a procedure for explicit clearing of the term cache

  emina

  committed
  5c2a6f7

Commits on Aug 19, 2014

• else is now allowed in rosette/safe

  emina

  committed
  764ec79

Commits on Aug 14, 2014

• rosette bitwidth can now be configured to be any positive number; solvers (like Kodkod) that support only specific bitwidths will throw an error during compilation if the global bitwidth is outside…

  Show description for d72c972
  emina

  committed
  d72c972

Commits on Aug 1, 2014

• Update README.md

  emina

  committed
  6192cc1

• demo

  emina

  committed
  f1f9391

• Update README.md

  emina

  committed
  5553909

• Update README.md

  emina

  committed
  8035c8d

• Update README.md

  emina

  committed
  fc01d27

• Update README.md

  emina

  committed
  cd49a7d

• Update README.md

  emina

  committed
  9301d4a

• Update README.md

  emina

  committed
  07c17f1

• Update README.md

  emina

  committed
  2b6a24c

• Update README.md

  emina

  committed
  d2787b2

• initial release of rosette

  emina

  committed
  a7f0951

• installation instructions

  emina

  committed
  a7fab00

• .gitignore

  emina

  committed
  fd34e1f

• installation instructions

  emina

  committed
  aa532d1

Commits on Jul 31, 2014

• Update LICENSE

  emina

  committed
  217ccce

• Initial commit

  emina

  committed
  460efb5