Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 14, 2022

• Make Z3 install failures more obvious on unsupported platforms

  Show description for 426ffbf
  jamesbornholt

  committed
  426ffbf

Commits on Jun 16, 2020

• Add node_modules to compile-omit-files (emina#163)

  Show description for 3b58b5a
  sorawee

  authored
  3b58b5a

Commits on Apr 24, 2020

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

  Show description for 9baab4c
  

  sorawee

  and

  emina

  authored
  9baab4c

Commits on Feb 25, 2020

• This closes emina#144 by renaming doc -> guide and simplifying the directory structure.

  

  Emina Torlak

  committed
  67802ef

Commits on Aug 23, 2018

• Add symbolic profiling to Rosette.

  jamesbornholt

  committed
  e4b56fa

Commits on Mar 25, 2016

• Racket package metadata.

  emina

  committed
  9e0bdcb

• Revert to single package.

  emina

  committed
  a5e5fd1

• Change version to 2.0.

  emina

  committed
  aa72c39

• Change package flag to multi.

  emina

  committed
  7f302fe

Commits on Mar 23, 2016

• Enable documentation building in info.rkt.

  emina

  committed
  8ed0759

Commits on Mar 16, 2016

• Disable package documenation compilation (until Scribble bug is fixed).

  emina

  committed
  062414d

• Add dependency on racket to info.rkt.

  emina

  committed
  0738613

Commits on Mar 5, 2016

• one info.rkt to rule them all, update .travis.yml

  bennn

  committed
  94984ec

• Add info.rkt files.

  

  LeifAndersen

  authored and

  bennn

  committed
  b597244

• Install z3 on package install.

  

  LeifAndersen

  authored and

  bennn

  committed
  c22906d

Loading