Adding the Auction contract

tweag / pirouette

Language-generic workbench for building static analysis

MIT License

47 stars 2 forks source link

Adding the Auction contract #32

Closed GuillaumeGen closed 3 years ago

GuillaumeGen commented 3 years ago

One of the contract mentionned in #23. Currently, TLA+ finds deadlock in the contract since we do not handle the time constraints.

VictorCMiraldo commented 3 years ago

@GuillaumeGen , can we also add a small README.md file to the tests/integration/Auction directory or add an issue to the github to make sure we understand what needs to be done to handle this contract?

GuillaumeGen commented 3 years ago

This PR was deprecated by the update of Plutus version. A new one might come soon, with a new version of the Auction.flat file.