plutus
plutus copied to clipboard
The Plutus language implementation and tools
Fix formatting of Haddock list
I started writing this last week. I don't have any more time to work on it right now but maybe it can be merged as it is. Pre-submit checklist: -...
## Area [] *Plutus Foundation* Related to the GHC plugin, Haskell-to-Plutus compiler, on-chain code [X] *Plutus Application Framework* Related to the Plutus application backend (PAB), emulator, Plutus libraries [] *Marlowe*...
This PR is a part of https://github.com/input-output-hk/plutus/pull/3852 that adds helpers for working with datums in `plutus-tx` and `plutus-ledger-api` Pre-submit checklist: - Branch - [X] Tests are provided (if possible) -...
## Area [] *Plutus Foundation* Related to the GHC plugin, Haskell-to-Plutus compiler, on-chain code ## Summary With a validator signature like this ... ``` Integer -> Integer -> ScriptContext ->...
Simplify language. Pre-submit PR checklist: - [x] Self-reviewed the diff - [x] Useful pull request description - [ ] Reviewer requested
At the moment tests are written via Traces module. it is looks more like integration tests approach, we run wallet code, which starts validators, and after that we test system...
An effort to update existing documents to date, and to write more in general. The focus is on information DApp developers need. Done: - More typo and grammar fixes. Proofread...
This PR is a part of https://github.com/input-output-hk/plutus/pull/3852 that adds `Arbitrary` instances to a bunch of `plutus-tx` and `plutus-ledger-api` types. Note, that this PR depends on https://github.com/input-output-hk/plutus/pull/3923 https://github.com/input-output-hk/plutus/pull/3920 https://github.com/input-output-hk/plutus/pull/3921 and https://github.com/input-output-hk/plutus/pull/3922...
This PR is a part of https://github.com/input-output-hk/plutus/pull/3852 that renames `plutus-tx` interval function to `intervalWidth` and adds `slotWidth`. Pre-submit checklist: - Branch - [X] Tests are provided (if possible) - [X]...