Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add property tests for UTxO: no double spending and utxo is inputs minus outputs #263

Closed
dnadales opened this issue Feb 22, 2019 · 0 comments · Fixed by #642
Closed

Add property tests for UTxO: no double spending and utxo is inputs minus outputs #263

dnadales opened this issue Feb 22, 2019 · 0 comments · Fixed by #642
Assignees
@mdimjasevic
Labels
byron ⚙️ executable-model
Milestone
Byron specs impro...

Comments

@dnadales
Copy link
Member

We need to encode these properties:

image
@mdimjasevic mdimjasevic self-assigned this Jul 10, 2019
mdimjasevic added a commit that referenced this issue Jul 12, 2019
@mdimjasevic
Issue #263: WIP on no double spending property
89aa899
mdimjasevic added a commit that referenced this issue Jul 16, 2019
@mdimjasevic
Issue #263: adds the property UTxO is outputs minus inputs
aa707c9
@mdimjasevic mdimjasevic mentioned this issue Jul 16, 2019
Merged
mdimjasevic added a commit that referenced this issue Jul 17, 2019
@mdimjasevic
Issue #263: incorporates Nadales' feedback
6c64184
mdimjasevic added a commit that referenced this issue Jul 17, 2019
@mdimjasevic
Issue #263: inlines noCommonInputs per Nadales' feedback
60b1ce1
mdimjasevic added a commit that referenced this issue Jul 17, 2019
@mdimjasevic
Issue #263: reduces the trace length such that the heap doesn't get e…
c5d2591 
…xhausted
mdimjasevic added a commit that referenced this issue Jul 17, 2019
@mdimjasevic
Issue #263: adds a coverage test for UTxO
ed339b6
@mdimjasevic mdimjasevic mentioned this issue Jul 17, 2019
Closed
mdimjasevic added a commit that referenced this issue Jul 17, 2019
@mdimjasevic
Closes #263: implements two properties for UTxO:
4e6d436 
* no double spending
* UTxO is outputs minus inputs

An issue with UTxO generators has appeared while working on this, which
is tracked in a new issue:
  #646
mdimjasevic added a commit that referenced this issue Jul 17, 2019
@mdimjasevic
Closes #263: implements two properties for UTxO:
2e22a5d 
* no double spending
* UTxO is outputs minus inputs

An issue with UTxO generators has appeared while working on this, which
is tracked in a new issue #646.
mdimjasevic pushed a commit that referenced this issue Jul 17, 2019
Closes #263: implements two properties for UTxO:
779be01 
* no double spending
* UTxO is outputs minus inputs

An issue with UTxO generators has appeared while working on this, which
is tracked in a new issue #646.
mdimjasevic added a commit that referenced this issue Jul 17, 2019
@mdimjasevic
Merge pull request #642 from input-output-hk/mdimjasevic/263-utxo-pro…
44dea79 
…perties

Adds two UTxO properties per #263
kevinhammond pushed a commit that referenced this issue Oct 28, 2019
Closes #263: implements two properties for UTxO:
0fcf3b0 
* no double spending
* UTxO is outputs minus inputs

An issue with UTxO generators has appeared while working on this, which
is tracked in a new issue #646.
kevinhammond pushed a commit that referenced this issue Oct 28, 2019
@mdimjasevic
Merge pull request #642 from input-output-hk/mdimjasevic/263-utxo-pro…
ac0806c 
…perties

Adds two UTxO properties per #263
nc6 pushed a commit that referenced this issue May 19, 2020
Issue #263: upgrades cardano-binary to GHC 8.6.3
93ba25f
nc6 pushed a commit that referenced this issue May 19, 2020
@iohk-bors
Merge #264 #267
b90a5fd 
264: Upgrade cardano-binary to GHC 8.6.3 r=mdimjasevic a=mdimjasevic

This upgrades `cardano-binary` to GHC 8.6.3.

The `tasty-hedhehog` package had to be declared in a `stack.yaml` file.

Closes #263.

267: Upgrade cardano-crypto-wrapper to depend on GHC 8.6.3 r=mdimjasevic a=mdimjasevic

This upgrades `cardano-crypto-wrapper`'s stack build to GHC 8.6.3.

The `tasty-hedhehog` package had to be declared in a `stack.yaml` file.

Closes #265.

Co-authored-by: Marko Dimjašević <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mdimjasevic mdimjasevic

Labels
byron ⚙️ executable-model
Projects
None yet
Milestone
Byron specs improvements - Weeks 27-28
Development

Successfully merging a pull request may close this issue.

Adds two UTxO properties IntersectMBO/cardano-ledger
2 participants
@dnadales @mdimjasevic