Search results

Tests run out of memory even with -j1

Status: Open.

#76 In verse-lab/sisyphus;

· samuelgruetter opened on Jun 26, 2023

Make supporting dynamic functions easier

Status: Open.

#52 In verse-lab/sisyphus;

· kiranandcode opened on Oct 13, 2022

Track trivially dispatchable admits.

Status: Open.

#40 In verse-lab/sisyphus;

· kiranandcode opened on Oct 7, 2022

Add Danvy's mystery list function

Status: Open.

#39 In verse-lab/sisyphus;

· mkeoliya opened on Oct 7, 2022

Seq to array no longer validates with Z3

Status: Open.

#38 In verse-lab/sisyphus;

· kiranandcode opened on Oct 6, 2022

Extend framework for specification inference?

long-termLonger term requestsLonger term requests

Status: Open.

#36 In verse-lab/sisyphus;

· kiranandcode opened on Oct 5, 2022

Support repair of Higher order functions that use invariants

long-termLonger term requestsLonger term requests

Status: Open.

#25 In verse-lab/sisyphus;

· kiranandcode opened on Aug 17, 2022

Eliminate parsing of proof scripts

long-termLonger term requestsLonger term requests

Status: Open.

#21 In verse-lab/sisyphus;

· kiranandcode opened on Aug 4, 2022

Make Lang.Expr.t of operations consistent

long-termLonger term requestsLonger term requests

Status: Open.

#16 In verse-lab/sisyphus;

· kiranandcode opened on May 18, 2022

Use OCaml compiler infastructure to infer types when sanitizing programs

long-termLonger term requestsLonger term requests

Status: Open.

#11 In verse-lab/sisyphus;

· kiranandcode opened on May 4, 2022