plutus icon indicating copy to clipboard operation
plutus copied to clipboard
verified publisher icon IntersectMBO

Revisit our PIR tests and see which one can be made into property tests

Open ana-pantilie opened this issue 1 year ago • 1 comments

ana-pantilie avatar May 24 '24 13:05 ana-pantilie

In particular, we should use as much of Jacco's work on semantic equivalences as possible.

effectfully avatar Jun 18 '24 23:06 effectfully