Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 22, 2023

• Main Readme update (#2961)

  Show description for 5dbe330
  

  eyalrund

  and

  Eyal Rundstein

  authored
  5dbe330

  Copy full SHA for 5dbe330

Commits on Feb 21, 2023

• Added document for model to implementation mapping. (#2940)

  Show description for 8091358
  HristoStaykov

  authored
  8091358

  Copy full SHA for 8091358

Commits on Jan 20, 2023

• Make the preprocessors vector a field in the ReplicaFactory class (#2898)

  Show description for 086cb15
  

  Tytus Bierwiaczonek

  authored
  086cb15

  Copy full SHA for 086cb15

Commits on Jan 13, 2023

• Dafny opaque all invariants (#2914)

  Show description for 01faa1d
  HristoStaykov

  authored
  01faa1d

  Copy full SHA for 01faa1d

Commits on Dec 6, 2022

• Readability improvements. (#2885)

  Show description for 854b094
  HristoStaykov

  authored
  854b094

  Copy full SHA for 854b094

Commits on Dec 5, 2022

• Dafny fixes (#2884)

  Show description for 0493967
  HristoStaykov

  authored
  0493967

  Copy full SHA for 0493967

Commits on Sep 27, 2022

• Formal modeling of view change + checkpointing (#2758)

  Show description for 3918b1d
  HristoStaykov

  authored
  3918b1d

  Copy full SHA for 3918b1d

Commits on Jul 8, 2022

• Dafny SBFT: model execution & checkpoint protocol (#2723)

  Show description for 832ee10
  HristoStaykov

  authored
  832ee10

  Copy full SHA for 832ee10

Commits on Apr 15, 2022

• Fix faulty replica model (#2573)

  Show description for 911ac3a
  HristoStaykov

  authored
  911ac3a

  Copy full SHA for 911ac3a

Commits on Apr 12, 2022

• Update acknowledgements (#2568)

  Show description for cb34bfc
  

  teoparvanov

  authored
  cb34bfc

  Copy full SHA for cb34bfc

Commits on Apr 3, 2022

• Initial implementation for byzantine_behavior (faulty) replica. (#2384)

  Show description for 9fd657f
  HristoStaykov

  authored
  9fd657f

  Copy full SHA for 9fd657f

Commits on Feb 21, 2022

• Formal model for SBFT - initial version (#2350)

  Show description for 63cb0c9
  

  HristoStaykov

  and

  teoparvanov

  authored
  63cb0c9

  Copy full SHA for 63cb0c9

Commits on Jan 22, 2021

• Start of block merkle docs

  Show description for 220a255
  andrewjstone

  committed
  220a255

  Copy full SHA for 220a255

Commits on Nov 23, 2020

• Fix typo in adr-cmf.md (#1057)

  Show description for 734e877
  HollowMan6

  authored
  734e877

  Copy full SHA for 734e877

Commits on Aug 18, 2020

• Architecture decision record for CMF

  Show description for 6be4c11
  robem

  committed
  6be4c11

  Copy full SHA for 6be4c11

Commits on Jul 16, 2019

• Add initial version of design document.

  Show description for af2aea7
  andrewjstone

  committed
  af2aea7

  Copy full SHA for af2aea7

Loading