Cardano Updates

Merge pull request #1526 from input-output-hk/purty

Purty

improve formatting

add purty test

Merge pull request #1525 from michaelpj/fix/game-state-machine-tests

Uncomment game state machine tests

purty ps code

Uncomment game state machine tests

add a small comment

add a small comment

script is currently broken so we don’t mind commenting out a bit that breaks the buildkite build

update sass

fix nix shell

Validate balances are positive

Merge pull request #1521 from michaelpj/imp/eutxo-outputs-positivity

EUTXO spec: allow negative values in the representation

Warnings

Unsupported feature

Rename ‘QuantityMap’ -> ‘Quantities’

It’s not a map any more.

Merge pull request #1520 from michaelpj/imp/eutxo-spec-structure

EUTXO spec: more work

State machine, tokens

shift things around

Clarify how maps implement FSFs

move scripts around

EUTXO spec: allow negative values in the representation

Non-negativity of outputs is ensured with an additional validation rule.

This matches what the implementation and the Cardano spec do, so I think we need to do it.

Replace lambda with l for ledgers

updateClientDeps working but can be improved

Remove some colons

Add an small intro to fsfs

Merge pull request #1514 from michaelpj/imp/eutxo-spec-updates

EUXO spec: finitely-supported functions, intervals, and multi-currency

WIP - try to build front end stuff in derivation

ledger: generalize the fee field to Value

Fixes #1515.

I think this costs us little, and it avoids having to have a central notion of a native currency.

ledger: generalize the fee field to Value

Fixes #1515.

I think this costs us little, and it avoids having to have a central notion of a native currency.

ledger: generalize the fee field to Value

Fixes #1515.

I think this costs us little, and it avoids having to have a central notion of a native currency.

ledger: generalize the fee field to Value

Fixes #1515.

I think this costs us little, and it avoids having to have a central notion of a native currency.

ledger: generalize the fee field to Value

Fixes #1515.

I think this costs us little, and it avoids having to have a central notion of a native currency.

ledger: generalize the fee field to Value

Fixes #1515.

I think this costs us little, and it avoids having to have a central notion of a native currency.

ledger: generalize the fee field to Value

Fixes #1515.

I think this costs us little, and it avoids having to have a central notion of a native currency.

Make a more structured remarks section for ptx

Make a more structured remarks section for ptx

Define sum for all monoids

We need it for all, not just qtymaps. Otherwise the first validation rules don’t work!

Define sum for all monoids

We need it for all, not just qtymaps. Otherwise the first validation rules don’t work!

Split up a remark

Split up a remark

Make the Cardano primitives a remark

Make the Cardano primitives a remark

Move some text to a note

Move some text to a note

Add a macro for the empty bytestring

Add a macro for the empty bytestring

Use hash in a few more places

Use hash in a few more places

Macro for hash