tweag / cooked-validators

MIT License
39 stars 11 forks source link

Adds a test using pirouette to `AuctionSpec` #150

Closed VictorCMiraldo closed 6 months ago

VictorCMiraldo commented 2 years ago

(This PR depends on #133)

Adds a test to AuctionSpec that uses pirouette. This is a great way to test the pirouette-plutusir interface to PIR and, unfortunately, reveals that pirouette is not performant enough to handle practical contracts just yet.

mmontin commented 1 year ago

@VictorCMiraldo How much work would this require to undraft it? (not talking about the work to solve conflicts, but rather how advanced this PR was and how close it was to completion).

VictorCMiraldo commented 1 year ago

@mmontin , AFAICT, this PR was mostly ready if it wasn't for pirouette not running fast enough to justify merging it, so it stayed as a draft.

mmontin commented 6 months ago

Closing this as this is outdated and no longer a work in progress.