Issues

• Tests run out of memory even with -j1

  verse-lab/sisyphus#76 · Filter by author samuelgruetter opened on Jun 26, 2023
  1

• Make supporting dynamic functions easier

  verse-lab/sisyphus#52 · Filter by author kiranandcode opened on Oct 13, 2022

• Track trivially dispatchable admits.

  verse-lab/sisyphus#40 · Filter by author kiranandcode opened on Oct 7, 2022

• Add Danvy's mystery list function

  verse-lab/sisyphus#39 · Filter by author mkeoliya opened on Oct 7, 2022

• Seq to array no longer validates with Z3

  verse-lab/sisyphus#38 · Filter by author kiranandcode opened on Oct 6, 2022

• Extend framework for specification inference?

  long-term
  verse-lab/sisyphus#36 · Filter by author kiranandcode opened on Oct 5, 2022

• Support repair of Higher order functions that use invariants

  long-term
  verse-lab/sisyphus#25 · Filter by author kiranandcode opened on Aug 17, 2022

• Eliminate parsing of proof scripts

  long-term
  verse-lab/sisyphus#21 · Filter by author kiranandcode opened on Aug 4, 2022
  1

• Make Lang.Expr.t of operations consistent

  long-term
  verse-lab/sisyphus#16 · Filter by author kiranandcode opened on May 18, 2022

• Use OCaml compiler infastructure to infer types when sanitizing programs

  long-term
  verse-lab/sisyphus#11 · Filter by author kiranandcode opened on May 4, 2022