Resource | Action | Who and why |
---|---|---|
nomadic-labs/sapling-verification#21 F* IMT Spec: Meta-F* Spec extraction FStar IMTs OCaml QCheck | Complete task |
|
nomadic-labs/sapling-verification#20 F* IMT Spec: Specification extraction. FStar IMTs OCaml QCheck | Complete task |
|
nomadic-labs/sapling-verification!20 Draft: Meta-F* QCheck test generation FStar IMTs QCheck | UnWIP |
|
snomadic-labs/sapling-verification
Dispatchers:
![]() ![]() ![]() ![]() ![]() ![]()
Merge‑teamers:
![]() ![]() ![]() ![]() ![]() ![]()
Issue watchers: No one
(no one)
|