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

Builds Branch Commit Type Ran Committer Via Coverage
422 HEAD Merge pull request #133 from input-output-hk/fix-stack-overflow push GitHub buildkite pending completion   set done
419 HEAD clarified for theorem 2, why do we consider this threshold to be optimal push nkarag buildkite pending completion   set done
418 HEAD - Fix stack overflow. This was due to the use of the lazy `Map.fold` instead of its strict version `Map.fold'`. - Make sure benchmark data does not have unexpected thunks. - Define a function that updates the ballot based on the key hash of the ... push Damian Nadales buildkite pending completion   set done
417 HEAD generate nix artifacts push nkarag buildkite pending completion   set done
415 HEAD small amendments on dynamic params and expiration on demand push nkarag buildkite pending completion   set done
414 HEAD restructuring and enhancement of activation protocl based on discussions push nkarag buildkite pending completion   set done
413 HEAD Rephrased a bit lemma 1 push nkarag buildkite pending completion   set done
412 HEAD have repeated measurements with revised code push nkarag buildkite pending completion   set done
409 HEAD Add a high level description of the activation phase. push Damian Nadales buildkite pending completion   set done
404 HEAD minor push nkarag buildkite pending completion   set done
401 HEAD analysis with a parametric voting threshold push nkarag buildkite pending completion   set done
400 HEAD removed h_a and r_a and revised text to be more friendly push nkarag buildkite pending completion   set done
399 HEAD Clearly mentioning the two security goals in the theorem push nkarag buildkite pending completion   set done
398 HEAD finalize memory experiments in formal spec doc push nkarag buildkite pending completion   set done
395 HEAD minor push nkarag buildkite pending completion   set done