Commits

Breadcrumbs

History for

on252ec00

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 17, 2021

• Drop current-oracle and oracle.

  emina

  committed
  c185cf7

Commits on Feb 16, 2021

• Replace term-cache with (terms) and (with-terms ...).

  emina

  committed
  490c4fe

Commits on Feb 3, 2021

• Rename spec? -> vc? and spec-* -> vc-*.

  emina

  committed
  7f1d498

Commits on Dec 10, 2020

• Update sdsl/bv and sdsl/synthcl.

  emina

  committed
  c335d89

Commits on Aug 23, 2018

• Add symbolic profiling to Rosette.

  jamesbornholt

  committed
  e4b56fa

Commits on Feb 29, 2016

• Get rid of asynchronous logging.

  emina

  committed
  3025401

Commits on Feb 28, 2016

• Update sdsl/* to use #lang rosette

  emina

  committed
  9a71501

• Clean up rosette/lib.

  emina

  committed
  1f1d036

Commits on Feb 27, 2016

• Example tweak.

  emina

  committed
  37a58b9

• Rename solver-add to solver-assert.

  emina

  committed
  4cf85e2

Commits on Feb 23, 2016

• Implement truncated printing of expressions.

  jamesbornholt

  committed
  d5692da

Commits on Feb 18, 2016

• Refactor solver interface to use names that don't conflict with Rosette solve, assert, etc., syntax.

  emina

  committed
  341a8c5

• Refactor solver interface and instances to use generics and structs instead of classesa.

  emina

  committed
  f195f9f

Commits on Feb 10, 2016

• Checkpoint: port BV to new Rosette.

  emina

  committed
  e8a9c8d

Commits on Jan 31, 2016

• Merge bool.rkt and assert.rkt

  emina

  committed
  ebb0d97

Commits on Dec 20, 2015

• Drop support for Kodkod.

  emina

  committed
  7112b12

Commits on Oct 25, 2015

• Refactor BV tests to use roseunit.

  emina

  committed
  48cb52d

Commits on Oct 23, 2015

• Collect all BV tests into a single file.

  emina

  committed
  a0be91d

Commits on Oct 22, 2015

• Automated tests for BV.

  emina

  committed
  57009ea

• Problems p20-p25 moved to hard.rkt.

  emina

  committed
  ceeae56

• Export the verbose? parameter.

  emina

  committed
  04a11bc

• Problems p11-p19 moved to medium.rkt.

  emina

  committed
  d23bd83

• b1.rkt -> toy.rkt

  emina

  committed
  92ef2b7

• Problems p1-p10 moved to easy.rkt.

  emina

  committed
  fe365e7

• Added an #:implements form to the define-fragment and synthesize-fragment constructs.

  emina

  committed
  64a495b

• Factor out the loop-free fragment synthesizer from the define-fragment form.

  emina

  committed
  320c997

Commits on Oct 9, 2015

• Refactoring: group the base modules into directories according to functionality.

  emina

  committed
  3640130

Commits on Jun 18, 2015

• bug fix for bv example 16

  emina

  committed
  58c3f27

Commits on Apr 18, 2015

• update p24 to new current-bitwidth

  emina

  committed
  5c37b2f

Commits on Oct 4, 2014

• basic support for cvc4

  emina

  committed
  4ddc38c

Commits on Sep 24, 2014

• bitvector superoptimization language

  emina

  committed
  3d8a69e

Loading