search

FStarLang / pulse

The Pulse separation logic DSL for F*
Apache License 2.0
6 stars 7 forks source link

Adding test for #100, fixing ZetaHashAccumulator #114

Closed mtzguido closed 4 months ago

mtzguido commented 4 months ago

Depends on FStarLang/FStar#3326 to work.