Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 20, 2023

• Use cache for path->pkg (emina#250)

  sorawee

  authored
  88b3fd9

Commits on Nov 11, 2022

• Fix the help description (emina#246)

  Show description for b58652b
  sorawee

  authored
  b58652b

Commits on Apr 9, 2022

• improve error location (emina#228)

  sorawee

  authored
  5369537

Commits on Mar 8, 2022

• Use pretty-write instead of pretty-print in print-forms

  Show description for bc90edd
  lukenels

  committed
  bc90edd

Commits on Jul 23, 2021

• Fix one more spurious CAS failure (emina#199)

  Show description for 7ac31ff
  jamesbornholt

  authored
  7ac31ff

• Workaround spurious CAS failures (emina#198)

  Show description for 7cac2c9
  sorawee

  authored
  7cac2c9

Commits on Feb 19, 2021

• Cleanup.

  emina

  committed
  8fabaa8

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 normal -> normal and ans? -> normal?.

  emina

  committed
  91d25ea

• Rename halt -> failed and halt? -> failed?.

  emina

  committed
  2fabc4b

Commits on Feb 11, 2021

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

  emina

  committed
  c76b803

Commits on Feb 10, 2021

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

  emina

  committed
  d339029

Commits on Feb 3, 2021

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

  emina

  committed
  7f1d498

Commits on Jan 29, 2021

• reenable error tracer for Rosette 4

  sorawee

  committed
  e37f49b

Commits on Jan 22, 2021

• Expose the grammar depth parameter.

  emina

  committed
  a06b0bb

Commits on Jan 18, 2021

• Add a define-sketch construct that provides syntactic sugar for defining single-production grammars.

  emina

  committed
  f254252

• Clean up and patch bv tests.

  emina

  committed
  925ad30

Commits on Jan 14, 2021

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

  Show description for 7240f29
  emina

  committed
  7240f29

Commits on Jan 11, 2021

• Update print-forms to use pretty-display.

  emina

  committed
  fcfd410

Commits on Jan 8, 2021

• Add the define-grammar construct to the synthax library, along with unit tests.

  emina

  committed
  a1b7ab9

Commits on Jan 6, 2021

• Integrate the new sketching library and add more tests.

  emina

  committed
  7b692ae

Commits on Jan 1, 2021

• Add a new sketching library and basic tests.

  emina

  committed
  6522b7e

Commits on Dec 15, 2020

• Drop the unused exceptions.

  emina

  committed
  30d12a6

Commits on Dec 5, 2020

• Integrate new VC into base/core/bool, base/core/safe, base/core/forall, base/form/control, lib/roseunit.

  emina

  committed
  ac7ecd1

Commits on Dec 4, 2020

• Clean up imports and uses of (pc).

  emina

  committed
  cc965a0

• Drop the debug query.

  emina

  committed
  4bd52bd

Commits on Nov 3, 2020

• Add the value destructuring library (emina#172)

  Show description for 0e12b2c
  

  sorawee

  and

  emina

  authored
  0e12b2c

Commits on Sep 15, 2020

• with-continuation-mark based tracer (emina#169)

  Show description for d82ce66
  sorawee

  authored
  d82ce66

Commits on Sep 13, 2020

• Instrument define-values (emina#168)

  Show description for 9dac710
  sorawee

  authored
  9dac710

• Workaround a Racket CS bug (emina#167)

  Show description for 38a9d7e
  sorawee

  authored
  38a9d7e

Commits on May 20, 2020

• Use custom-load so that users don't need to remove compiled dir (emina#159)

  Show description for 6a165a8
  sorawee

  authored
  6a165a8

Commits on May 15, 2020

• Client for error tracer (emina#156)

  Show description for a3df4f9
  

  sorawee

  and

  emina

  authored
  a3df4f9

• Fix an error when events are empty; support no internet for SymPro (emina#157)

  sorawee

  authored
  b1940c9

Commits on Apr 24, 2020

• Add an error tracer for symbolic evaluation (emina#153)

  Show description for 9baab4c
  

  sorawee

  and

  emina

  authored
  9baab4c

Pagination

PreviousNext