input-output-hk / decentralized-software-updates

Research on a decentralized software update mechanism for blockchain systems
Apache License 2.0
7 stars 2 forks source link

Test all ledger properties described in ouroboros-network/issues/1765 #130

Closed dnadales closed 3 years ago

dnadales commented 4 years ago

See https://github.com/input-output-hk/ouroboros-network/issues/1765

dnadales commented 3 years ago

This will fall outside the scope of the Priviledge project.