Commits

Branch selector

 main

User selector

REA1

Datepicker

All time

Commit History

Commits on Nov 14, 2023

• changed example of for/set, fixed is-a

  REA1

  committed
  cd8ff66

• Merge pull request #5 from rfindler/main

  Show description for a2c67e1
  REA1

  authored
  a2c67e1

Commits on Apr 26, 2023

• added build doc dependencies

  REA1

  committed
  37d5afa

Commits on Apr 24, 2023

• renamed example to avoid filename issues on Windows

  REA1

  committed
  bcb36dc

Commits on Apr 10, 2023

• minor fixed argument name in 3sat->iset example.

  REA1

  committed
  64ee75b

• fixed missing typerewriter of implies and xor in verifier

  REA1

  committed
  6d0c495

Commits on Sep 22, 2022

• fixed explicit mapping lookup

  REA1

  committed
  a009315

Commits on Sep 21, 2022

• Fixed typos, updated info.rkt

  REA1

  committed
  73ba9b8

Commits on Sep 20, 2022

• Added documentation and examples

  REA1

  committed
  fded48d

Commits on Sep 13, 2022

• Tested on all reduction examples, fixed bugs

  REA1

  committed
  d852c81

Commits on Aug 4, 2022

• Added custom contract system and fixed error message

  REA1

  committed
  2d6d044

Commits on May 2, 2022

• moved codebase to new repo and refactored

  REA1

  committed
  7bbd324

Commits on Apr 30, 2022

• Initial commit

  REA1

  authored
  b2a70e7