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

Builds Branch Commit Type Ran Committer Via Coverage
340 HEAD definition and construction push michele buildkite pending completion   set done
339 HEAD - Create the formal spec document and `nix` setup to build it in CI. (#90) push GitHub buildkite pending completion   set done
338 HEAD - Create the formal spec document and `nix` setup to build it in CI. - Propose candidate properties in English prose. - Create the data-automata library: `datil`. - Add passing tests for most of the ideation properties written down in the forma... push Damian Nadales buildkite pending completion   set done
336 HEAD Reduce duplication in trace generators. push Damian Nadales buildkite pending completion   set done
330 HEAD Remove all warnings. push Damian Nadales buildkite pending completion   set done
316 HEAD comment for def push Aggelos Kiayias buildkite pending completion   set done
299 HEAD Trace related stuff (#97) push GitHub buildkite pending completion   set done
298 HEAD comments addressed push nikos buildkite pending completion   set done
293 HEAD Merge branch 'dnadales/add-first-ideation-phase-properties' of https://github.com/input-output-hk/decentralized-software-updates into dnadales/add-first-ideation-phase-properties push nikos buildkite pending completion   set done
292 HEAD Make coverage tests pass (#89) push GitHub buildkite pending completion   set done
291 HEAD Remove commented code push nikos buildkite pending completion   set done
290 HEAD Add TODO's for next time. push Damian Nadales buildkite pending completion   set done
289 HEAD First version of the state machines for commit reveal and voting. push Damian Nadales buildkite pending completion   set done
288 HEAD Finish adding two properties for the ideation phase. push Damian Nadales buildkite pending completion   set done
287 HEAD Add properties for: push Damian Nadales buildkite pending completion   set done