Code

Redundancy boundaries#108

Code

Merged

r3v2d0g merged 3 commits intomasterbastion-rs/bastion:masterfrom redundancy-boundariesbastion-rs/bastion:redundancy-boundariesCopy head branch name to clipboardDec 2, 2019

+16-3

Commits

Commits on Nov 28, 2019

• Fix redundancy lower bounds

  vertexclique

  committed
  98be08b

• Remove debug

  vertexclique

  committed
  ac8219a

Commits on Dec 2, 2019

• Fixed the children redundancy proptest to initialize and start Bastion and fixed formatting.

  r3v2d0g

  committed
  c141bab