From 1c8954ce9f506955c62552689cd0733ff5bcbac2 Mon Sep 17 00:00:00 2001 From: "Florent C." Date: Fri, 22 Mar 2024 10:42:11 +0100 Subject: [PATCH] Bump version to v3.0.0 --- CHANGELOG.md | 2 +- README.md | 51 ++++++++++++++++------------------------- cooked-validators.cabal | 2 +- package.yaml | 2 +- 4 files changed, 23 insertions(+), 34 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 71eb22790..c7388d15f 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,6 +1,6 @@ # Changelog -## [Unreleased] +## [[3.0.0]](https://github.com/tweag/cooked-validators/releases/tag/v3.0.0) - 2024-03-22 ### Added diff --git a/README.md b/README.md index e2b7b00b7..f92237a3a 100644 --- a/README.md +++ b/README.md @@ -1,29 +1,29 @@ # [Cooked Validators](https://github.com/tweag/cooked-validators/) -Copyright Tweag I/O 2023 +Copyright Tweag I/O 2024 -With `cooked-validators` you can test Cardano smart contracts (including Plutus v2 features) by writing potentially malicious offchain code. +With `cooked-validators` you can test Cardano smart contracts by writing potentially malicious offchain code. You can also use the library to write "normal" offchain code in a comfortable and flexible way. -In particular, `cooked-validators` helps you +In particular, `cooked-validators` helps you: - interact with smart contracts written in Plutus (as well as any other language that compiles to [UPLC](https://plutonomicon.github.io/plutonomicon/uplc), - like for example [Plutarch](https://github.com/Plutonomicon/plutarch-plutus), - by loading contracts from byte strings), + like for example [Plutarch](https://github.com/Plutonomicon/plutarch-plutus) + or [Aiken](https://aiken-lang.org/), by loading contracts from byte strings) - generate and submit transactions declaratively, while automatically taking - care of missing inputs and outputs, balancing, and minimum-Ada constraints, + care of missing inputs and outputs, balancing, and minimum-Ada constraints - construct sequences of transactions in an easy-to-understand abstraction of "the blockchain", which can be instantiated to different actual - implementations, + implementations - run sequences of transactions in a simulated blockchain, - apply "tweaks" to transactions right before submitting them, where "tweaks" are modifications that are aware of the current state of the simulated - blockchain, and + blockchain - compose and deploy tweaks with flexible idioms inspired by linear temporal logic, in order to turn one sequence of transactions into many sequences that - might be useful test cases. + might be useful test cases, generalized in [Graft](https://github.com/tweag/graft) -The library is geared specifically towards testing and auditing (already existing) on-chain code. +The library is geared specifically towards testing and auditing on-chain code. You are free to copy, modify, and distribute `cooked-validators` under the terms of the MIT license. We provide `cooked-validators` as a research prototype under @@ -49,7 +49,7 @@ Before using `cooked-validators`, you need source-repository-package type: git location: https://github.com/tweag/cooked-validators - tag: v2.0.0 + tag: v3.0.0 subdir: cooked-validators ``` @@ -69,28 +69,17 @@ Before using `cooked-validators`, you need } [...] - UTxO state: - • pubkey #a2c20c7 (wallet 1) + • pubkey wallet 1 - Lovelace: 89_828_471 - - (×9) Lovelace: 100_000_000 - • pubkey #80a4f45 (wallet 2) + - (×4) Lovelace: 100_000_000 + • pubkey wallet 2 - Lovelace: 10_000_000 - - (×10) Lovelace: 100_000_000 - • pubkey #2e0ad60 (wallet 3) - - (×10) Lovelace: 100_000_000 - • pubkey #557d23c (wallet 4) - - (×10) Lovelace: 100_000_000 - • pubkey #bf342dd (wallet 5) - - (×10) Lovelace: 100_000_000 - • pubkey #97add5c (wallet 6) - - (×10) Lovelace: 100_000_000 - • pubkey #c605888 (wallet 7) - - (×10) Lovelace: 100_000_000 - • pubkey #8952ed1 (wallet 8) - - (×10) Lovelace: 100_000_000 - • pubkey #dfe12ac (wallet 9) - - (×10) Lovelace: 100_000_000 - • pubkey #a96a668 (wallet 10) - - (×10) Lovelace: 100_000_000 + - (×5) Lovelace: 100_000_000 + • pubkey wallet 3 + - (×5) Lovelace: 100_000_000 + • pubkey wallet 4 + - (×5) Lovelace: 100_000_000 + [...] ``` ## Documentation diff --git a/cooked-validators.cabal b/cooked-validators.cabal index d81d9d428..3b3e3a121 100644 --- a/cooked-validators.cabal +++ b/cooked-validators.cabal @@ -5,7 +5,7 @@ cabal-version: 3.4 -- see: https://github.com/sol/hpack name: cooked-validators -version: 2.0.0 +version: 3.0.0 license: MIT license-file: LICENSE build-type: Simple diff --git a/package.yaml b/package.yaml index e54533362..85df215c5 100644 --- a/package.yaml +++ b/package.yaml @@ -2,7 +2,7 @@ verbatim: cabal-version: 3.4 name: cooked-validators -version: 2.0.0 +version: 3.0.0 dependencies: - QuickCheck