Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 1, 2025

• Update CI status URL

  anishathalye

  committed
  e8f5627

  Copy full SHA for e8f5627

Commits on Dec 21, 2024

• Tweak citation

  anishathalye

  committed
  cecbd08

  Copy full SHA for cecbd08

Commits on Nov 4, 2023

• Fix bug in handling of persistent state in crash

  Show description for 4dd42b5
  anishathalye

  committed
  4dd42b5

  Copy full SHA for 4dd42b5

Commits on Oct 26, 2023

• Bump actions versions

  anishathalye

  committed
  36f1002

  Copy full SHA for 36f1002

• Add interpreter tests to demo unsupported feature

  anishathalye

  committed
  9b72969

  Copy full SHA for 9b72969

Commits on Jun 16, 2023

• Add function to only overapproximate symbolics

  anishathalye

  committed
  304cebc

  Copy full SHA for 304cebc

• Optimize concretize for bare symbolic variables

  anishathalye

  committed
  e6b18fd

  Copy full SHA for e6b18fd

Commits on Jun 10, 2023

• Add BibTeX syntax highlighting

  anishathalye

  committed
  6f5e636

  Copy full SHA for 6f5e636

Commits on May 14, 2023

• Make memoization only make a context if necessary

  Show description for 0dd42df
  anishathalye

  committed
  0dd42df

  Copy full SHA for 0dd42df

• Make get-output create a memoization context

  Show description for 6ad1e87
  anishathalye

  committed
  6ad1e87

  Copy full SHA for 6ad1e87

Commits on Mar 5, 2023

• Remove copyright years

  anishathalye

  committed
  0b65767

  Copy full SHA for 0b65767

Commits on Oct 19, 2022

• Add missing dependency

  anishathalye

  committed
  377d7ab

  Copy full SHA for 377d7ab

• Add license metadata

  anishathalye

  committed
  75d1307

  Copy full SHA for 75d1307

Commits on Oct 15, 2022

• Fix bug with memoization not being vc-sensitive

  Show description for 8ed2314
  anishathalye

  committed
  8ed2314

  Copy full SHA for 8ed2314

Commits on Sep 8, 2022

• Add support for ite* and guard to serialization

  anishathalye

  committed
  368528f

  Copy full SHA for 368528f

Commits on Aug 24, 2022

• Tweak wording

  anishathalye

  committed
  a10affb

  Copy full SHA for a10affb

Commits on Aug 23, 2022

• Speed up verifying crash safety with more caching

  anishathalye

  committed
  0df824a

  Copy full SHA for 0df824a

Commits on Aug 22, 2022

• Init circuit with idle input in correctness proofs

  Show description for fba94ca
  anishathalye

  committed
  fba94ca

  Copy full SHA for fba94ca

• Remove unnecessary test

  Show description for 05de339
  anishathalye

  committed
  05de339

  Copy full SHA for 05de339

• Fix unnecessary use of Rosette-lifted functions

  Show description for 84275b7
  anishathalye

  committed
  84275b7

  Copy full SHA for 84275b7

Commits on Aug 21, 2022

• Add support for unions to subsumption checks

  anishathalye

  committed
  661889b

  Copy full SHA for 661889b

Commits on Jul 30, 2022

• Add more logical operators to driver/emulator lang

  anishathalye

  committed
  4791d55

  Copy full SHA for 4791d55

Commits on Jul 29, 2022

• Rename imperative correctness hints

  Show description for 87b71fb
  anishathalye

  committed
  87b71fb

  Copy full SHA for 87b71fb

Commits on Jul 11, 2022

• Initial commit

  anishathalye

  committed
  161cda3

  Copy full SHA for 161cda3