Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on May 20, 2021

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

  Show description for 38743f6
  jbclements

  authored
  38743f6

Commits on Mar 5, 2021

• Update synthcl to use new synthesis constructs.

  emina

  committed
  9b3d3dc

Commits on Feb 19, 2021

• Cleanup.

  emina

  committed
  ada8683

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 13, 2021

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

  emina

  committed
  6281fa8

Commits on Feb 11, 2021

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

  emina

  committed
  c76b803

Commits on Feb 3, 2021

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

  emina

  committed
  7f1d498

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

  emina

  committed
  251d697

Commits on Jan 15, 2021

• Clean up old code and patch bv tests.

  emina

  committed
  46378e1

Commits on Jan 14, 2021

• Update the syntax of define-symbolic[*] forms.

  Show description for 7240f29
  emina

  committed
  7240f29

Commits on Jan 6, 2021

• Integrate the new sketching library and add more tests.

  emina

  committed
  7b692ae

Commits on Dec 12, 2020

• Add a key rewrite rule for => to partially evaluate default assumptions (due to branching).

  emina

  committed
  cf9e56c

Commits on Dec 11, 2020

• Revert "Try a minimized encoding that loses context."

  Show description for 20dcfe4
  emina

  committed
  20dcfe4

• Try a minimized encoding that loses context.

  emina

  committed
  d0ffeff

Commits on Dec 10, 2020

• Update websynth to use CVC4 for testing for now.

  emina

  committed
  57034f5

• Update sdsl/bv and sdsl/synthcl.

  emina

  committed
  c335d89

Commits on Dec 8, 2020

• Integrate new VC into queries.

  emina

  committed
  2d2e72d

Commits on Dec 4, 2020

• Drop the debug query.

  emina

  committed
  4bd52bd

Commits on Jun 24, 2020

• Update the default solver to the latest release of Z3.

  Show description for 929c848
  emina

  committed
  929c848

Commits on Aug 23, 2018

• Add symbolic profiling to Rosette.

  jamesbornholt

  committed
  e4b56fa

Commits on Jul 5, 2018

• Change the default current-bitwidth to #f.

  emina

  committed
  43072eb

Commits on Jan 4, 2018

• Simplify and test the implementation of ordered dictionaries.

  emina

  committed
  9a2a73e

Commits on Jul 18, 2017

• Update to Racket 6.9.

  emina

  committed
  af93195

Commits on May 9, 2017

• Use mrlib/graph to find dot for FSM visualization.

  emina

  committed
  600425a

Commits on Jul 28, 2016

• Make the demo example use #lang rosette and import fsm.rkt.

  emina

  committed
  10fcb7a

Commits on Mar 25, 2016

• Racket package metadata.

  emina

  committed
  9e0bdcb

Commits on Mar 1, 2016

• Unify cast and coerce in preparation for adding uninterpreted functions: coerce -> type-cast everywhere.

  emina

  committed
  93e760a

Commits on Feb 29, 2016

• Revert "Combine debug.rkt and render.rkt." to make Travis happy. This requires a window server to run.

  Show description for c8043ea
  emina

  committed
  c8043ea

• Combine debug.rkt and render.rkt.

  emina

  committed
  1868f89

• Get rid of asynchronous logging.

  emina

  committed
  3025401

Commits on Feb 28, 2016

• Update sdsl/* to use #lang rosette

  emina

  committed
  9a71501

• A small example use of SynthCL grammar.

  emina

  committed
  da2f985

• Clean up rosette/lib.

  emina

  committed
  9efb1ff

• Clean up rosette/lib.

  emina

  committed
  1f1d036

Pagination

PreviousNext