tweag/cooked-validators

Issues

• Reporting code coverage

  #283 opened a year ago
  0

• Qualifying imports

  #279 opened a year ago
  1

• Export lists for modules

  #278 opened 2 years ago
  6

• CI does not catch issues on `examples`

  #273 opened 2 years ago
  0

• Missing "Show" instance for UtxoState

  #266 opened 2 years ago
  14

• Pre commit hook failure

  #256 opened 2 years ago
  4

• Get rid of the hack to retrieve private keys in `Cooked.Wallet.walletStakingSK`

  #255 opened 6 months ago
  1

• Version number is not set correctly in the `package.yaml` and cabal files

  #246 opened 2 years ago
  3

• Update `ormolu`

  #244 opened 2 years ago
  3

• Default instance for PrettyCooked

  #242 opened 2 years ago
  1

• Improve the interface for retreiving UTxOs

  #239 opened 2 years ago
  1

• Store datum type information in the chain state

  #235 opened 2 years ago
  2

• Overhaul pretty-printing in `Testing`

  #234 opened 2 years ago
  2

• Own pubkey hash

  #232 opened 2 years ago
  2

• Develop an attack based on transaction limits

  #231 opened 2 years ago
  2

• POSIXTime vs Slot

  #230 opened 2 years ago
  2

• Prompt for nix develop

  #229 opened 2 years ago
  6

• Ormolu fails to build randomly

  #224 opened 2 years ago
  0

• Leaner build system causes tests to fail with weird exception

  #208 opened 2 years ago
  11

• Pre commit git hook interferes with partially-staged files

  #188 opened 2 years ago
  4

• Shall `utxosSuchThisAndThat'` use datum hashes or datums?

  #184 opened 2 years ago
  1

• Transaction signers described at different levels

  #180 opened 2 years ago
  2

• Mismatch between `SpendsScript` and `PaysScript` constraints and the data we store in `MockChainSt`

  #178 opened 2 years ago
  1

• Can we have a better `Monoid` instance for `Constraints`?

  #173 opened 2 years ago
  0

• Be more transparent about when 'SpendableOut's contain a datum

  #169 opened 2 years ago
  3

• Re-think the `Mints` constraint

  #168 opened 2 years ago
  2

• Can we start doing releases?

  #167 opened 2 years ago
  2

• `initialDistribution'` should always return a valid initial distribution.

  #166 opened 2 years ago
  0

• Function to decide when two `Constraints` are semanically equal

  #165 opened 2 years ago
  1

• Make Transactions have a list of labels instead of `Maybe` a label (low priority)

  #164 opened 2 years ago
  0

• Update nix conf

  #163 opened 2 years ago
  2

• Update HLS dependencies

  #162 opened 2 years ago
  1

• Is there a reason to use the optics package?

  #157 opened 2 years ago
  1

• Babbage / Vasil update

  #155 opened 2 years ago
  7

• Misleading comments about circluar dependencies in the Auction contract

  #153 opened 2 years ago
  2

• Improve cooked so that it handles staking credentials entirely

  #149 opened 2 years ago
  0

• How to deal with existential type variables of constraint types in writing attacks?

  #145 opened 2 years ago
  1

• Modularise the attack language

  #143 opened 2 years ago
  8

• `MonadBlockChain` instance for `Contract` does not take `TxOpts` into account

  #129 opened a year ago
  2

• Question: can we make a blanket double satisfaction attack?

  #128 opened 2 years ago
  3

• Bring mack the `MonadModal` class and add the `modify` combinator back.

  #124 opened 3 years ago
  3

• Print depending on the use-case

  #121 opened a year ago
  2

• Build Haddocks

  #115 opened 3 years ago
  6

• TestTree to check the richness of a wallet

  #113 opened a year ago
  2

• More flexible and general attacks

  #112 opened 3 years ago
  13

• Explicit sanity checks for Transaction Skeletons

  #109 opened 2 years ago
  2

• Role of datums in `SpendsScript`

  #101 opened 3 years ago
  3

• Mapping cooked behaviour to plutus behaviour regarding the translation from posix intervals to time slots.

  #95 opened 3 years ago
  0

• Improve pretty printing of the number of Ada

  #94 opened 3 years ago
  1

• Rely on `Ledger.Validation` instead of `Ledger.Index` for more faithful transaction validation

  #92 opened 3 years ago
  1