Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 18, 2021

• Bump up the required Racket version to 8.1.

  emina

  committed
  3d84cdc

Commits on Feb 22, 2021

• Update info.rkt and CI config to use Racket 8.0.

  emina

  committed
  34ff8d9

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 16, 2020

• Add rackunit-doc as a build-deps (emina#158)

  sorawee

  authored
  123f235

Commits on Mar 10, 2020

• add missing pkg deps (emina#150)

  florence

  authored
  4f1e129

Commits on Feb 3, 2020

• add gui-lib and gui-doc deps (emina#142)

  stchang

  authored
  d42de9d

Commits on Jan 29, 2020

• Increase the minimum required Racket version to 7.0.

  

  Emina Torlak

  committed
  83ce51b

Commits on Aug 24, 2018

• Add missing dependencies.

  jamesbornholt

  committed
  7b87f14

Commits on Aug 23, 2018

• Add symbolic profiling to Rosette.

  jamesbornholt

  committed
  e4b56fa

Commits on Jul 28, 2018

• Bump info.rkt version

  jamesbornholt

  committed
  5bf0005

Commits on Jul 28, 2016

• Update to Racket 6.6, change info.rkt to disable tests on the package server, update Travis.

  emina

  committed
  8f9b7f9

• Update the version number to 2.2 in info.rkt.

  emina

  committed
  2246107

Commits on Apr 13, 2016

• Add missing dependencies to info.rkt

  emina

  committed
  1dd0113

Commits on Mar 25, 2016

• Racket package metadata.

  emina

  committed
  9e0bdcb

Loading