input-output-hk / decentralized-software-updates / 487

Builds Branch Commit Type Ran Committer Via Coverage
487 HEAD Merge pull request #139 from input-output-hk/design-new-property-testing-approach push GitHub buildkite pending completion   set done
486 HEAD Define a new framework for writing property tests on ledger traces. push Damian Nadales buildkite pending completion   set done
485 HEAD Delete unused `Trace` module. [skip ci] push Damian Nadales buildkite pending completion   set done
483 HEAD Merge pull request #138 from input-output-hk/executable-spec/initial-design-of-activation push GitHub buildkite pending completion   set done
482 HEAD - Implement activation phase. - Implement unit tests for the activation phase. - Create a module for specifying unit tests. - Create a module for specifying assertions. push Damian Nadales buildkite pending completion   set done
467 HEAD - Add paper submitted to Esorics (#123) push GitHub buildkite pending completion   set done
466 HEAD - Add paper submitted to Esorics push Damian Nadales buildkite pending completion   set done
453 HEAD Merge pull request #136 from input-output-hk/specs-high-level-description-of-activation-phase push GitHub buildkite pending completion   set done
452 HEAD Add a high level description of the activation phase. push Damian Nadales buildkite pending completion   set done
446 HEAD comment out the `includeonly` section. push Damian Nadales buildkite pending completion   set done
433 HEAD Remove obsolete parts from our previous version of the spec. We still need to include the content that was not removed. push Damian Nadales buildkite pending completion   set done
432 HEAD Merge pull request #132 from input-output-hk/paper-revision-of-voting-section push GitHub buildkite pending completion   set done
431 HEAD - Mention clearly the two security goals in the theorem - Remove h_a and r_a and revise text to be more friendly - Perform analysis with a parametric voting threshold - Rephrased lemma a bit 1 - Clarify for theorem 2 why do we consider this thresh... push Damian Nadales buildkite pending completion   set done
430 HEAD - Mention clearly the two security goals in the theorem - Remove h_a and r_a and revise text to be more friendly - Perform analysis with a parametric voting threshold - Rephrased lemma a bit 1 - Clarify for theorem 2 why do we consider this thresh... push Damian Nadales buildkite pending completion   set done
429 HEAD Changed voting threshold theorem to be more generic (depend on parameter p) push nkarag buildkite pending completion   set done