Giters
tweag
/
cooked-validators
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
36
Watchers:
12
Issues:
109
Forks:
11
tweag/cooked-validators Issues
Bring mack the `MonadModal` class and add the `modify` combinator back.
Closed
2 years ago
Comments count
3
Print depending on the use-case
Closed
4 months ago
Comments count
2
Build Haddocks
Closed
2 years ago
Comments count
6
TestTree to check the richness of a wallet
Closed
4 months ago
Comments count
2
More flexible and general attacks
Closed
2 years ago
Comments count
13
Explicit sanity checks for Transaction Skeletons
Closed
2 years ago
Comments count
2
Role of datums in `SpendsScript`
Closed
2 years ago
Comments count
3
Mapping cooked behaviour to plutus behaviour regarding the translation from posix intervals to time slots.
Closed
2 years ago
Improve pretty printing of the number of Ada
Closed
2 years ago
Comments count
1
Rely on `Ledger.Validation` instead of `Ledger.Index` for more faithful transaction validation
Closed
2 years ago
Comments count
1
Rework our `Constraint` processing pipeline: enable explicit ordering of tx ins and outs
Closed
2 years ago
Comments count
2
Change `validateTx` for the contract monad, making it more flexible
Closed
4 months ago
Comments count
1
README.md can be confusing
Closed
a year ago
Comments count
1
HLS works in cooked-validators, fails in examples
Closed
2 years ago
Comments count
4
Following installation instructions leads to building GHC when entering nix-shell
Closed
2 years ago
Comments count
14
does not work on mac
Closed
2 years ago
Comments count
6
Fix `balanceTxFrom`
Closed
2 years ago
Comments count
1
Trim dependencies for better integration with dApp codebases
Closed
3 months ago
Comments count
4
Understand what is idiomatic Plutus for signing arbitrary bytestrings inside `Contract`
Closed
2 years ago
Comments count
1
Understand why scripts loaded from binary UPLC have a different address.
Closed
2 years ago
Comments count
6
Load arbitrary UPLC scripts with out framework
Closed
2 years ago
Comments count
1
Having a function giving the value associated to a Spendable output would be nice
Closed
2 years ago
Comments count
2
Time management lacks convenience
Closed
2 years ago
Comments count
6
Convenience for bootstraping a mockchain with custom assets
Closed
2 years ago
Generate a latex output following a test tree hierarchy
Closed
2 years ago
Comments count
1
Understand and standardize `adjustUnbalancedTx`.
Closed
2 years ago
Comments count
2
Handle `mustPayToPubKeyWithDatum` constraint
Closed
2 years ago
Comments count
2
Interpret a `MockChain` into the Plutus `Contract` monad.
Closed
2 years ago
Comments count
3
Understand whether we need to check for `minUTxOValue` or whether the plutus code we depend does so automatically
Closed
2 years ago
Comments count
3
`scWaitSlots` enable us to time travel, even if `scSlotIs` explicitely errors out.
Closed
2 years ago
Comments count
2
Incorporate `SlotConfig` and `FeeConfig` in `MockChain`
Closed
2 years ago
Comments count
3
Write more elements of type `Constraint`
Closed
2 years ago
Comments count
1
Explore the property-based testing idea, which was started at `Cooked.Traces`
Closed
2 years ago
Comments count
1
Pretty print `Cooked.MockChain.Base.UtxoState` in a readable manner
Closed
3 years ago
Comments count
3
Set up CI with inter-branch caching
Closed
3 years ago
Comments count
5
cooked-scripts: refactor `balanceTxFrom` into smaller, composable functions and move it to `Cooked.Tx.Balance`
Closed
3 years ago
Previous
Next