runtimeverification / plutus-core-semantics

BSD 3-Clause "New" or "Revised" License
27 stars 5 forks source link

One cabal project for IOG-contracts #371

Closed gtrepta closed 2 years ago

gtrepta commented 2 years ago

The PlutusTx code under IOG-contracts/ is split up between two different cabal.project files with dependencies on different versions of Plutus. This PR puts them under one project and one version dependency. The documentation for setting up the nix shell and running the scripts has also been improved.