Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

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 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

Commits on Jan 4, 2018

• Simplify and test the implementation of ordered dictionaries.

  emina

  committed
  9a2a73e

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

• Refactor WebSynth to use integers instead of enums.

  emina

  committed
  38d6329

Commits on Feb 5, 2016

• Checkpoint: port Websynth to new Rosette.

  emina

  committed
  aae1a36

Commits on Oct 25, 2015

• Regenerated WebSynth benchmarks.

  emina

  committed
  b94fa0d

• Refactor WebSynth tests to use roseunit.

  emina

  committed
  8fb3d2d

Commits on Oct 23, 2015

• Updated WebSynth tests to clear state after exiting.

  emina

  committed
  a0d4d96

• Collect all websynth tests into a single file.

  emina

  committed
  986ddcd

Commits on Oct 22, 2015

• Automated tests for WebSynth.

  emina

  committed
  83426b6

Commits on Oct 9, 2015

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

  emina

  committed
  3640130

Commits on Oct 4, 2014

• basic support for cvc4

  emina

  committed
  92d2ce3

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 Aug 1, 2014

• initial release of rosette

  emina

  committed
  a7f0951

Loading