Home / Input Output / decentralized-software-updates
22 commits this week Oct 14, 2019 - Oct 21, 2019

Refactor first iteration of update rules (#43)

  • Massive refactoring. No compile yet. No ideation rules

  • ideation rules refactored. No compile yet

  • Compile of Ideation module

  • Compile of Update module

  • Compile of Hupdate module

  • Compile of Transaction module

  • Compile of Header module

  • Compile of Body module

  • Compile of Chain module

  • Compile of Chain module

  • Compile everything

  • Traces generated OK but generation needs more work: Two out of three tests fail

  • Dnadales/suggestions for pr43 (#44)

  • Remove currentSlot from the Env of HUPDATE STS