Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 14, 2021

• Merge pull request #22 from Isaac-DeFrain/main

  Show description for bd45384
  Isaac-DeFrain

  authored
  bd45384

• Merge branch 'tezedge:main' into main

  Isaac-DeFrain

  authored
  55619c2

• Update readmes and license

  Isaac-DeFrain

  committed
  a530fa3

• Merge pull request #21 from Isaac-DeFrain/main

  Show description for b77695f
  Isaac-DeFrain

  authored
  b77695f

• Merge branch 'consensus' of github.com:Isaac-DeFrain/tezedge-specification into main

  Isaac-DeFrain

  committed
  069e768

• Mempool: update readme

  Isaac-DeFrain

  committed
  082d248

Commits on Dec 13, 2021

• Tenderbake: update docs

  Isaac-DeFrain

  committed
  cb5f549

• Tenderbake: add faulty node actions

  Isaac-DeFrain

  committed
  dd20892

Commits on Dec 12, 2021

• Tenderbake: update readme

  Isaac-DeFrain

  committed
  50894bc

Commits on Dec 7, 2021

• Merge branch 'tezedge:main' into mempool

  Isaac-DeFrain

  authored
  593dea0

• Merge branch 'mempool' of github.com:Isaac-DeFrain/tezedge-specification into mempool

  Isaac-DeFrain

  committed
  33f91e9

• Init readme

  Isaac-DeFrain

  committed
  f78c364

• Merge pull request #20 from Isaac-DeFrain/mempool

  Show description for 158b0f3
  Isaac-DeFrain

  authored
  158b0f3

• Merge branch 'tezedge:main' into mempool

  Isaac-DeFrain

  authored
  7a6ae4a

Commits on Nov 11, 2021

• Merge pull request #19 from Isaac-DeFrain/main

  Show description for 3cb5e03
  Isaac-DeFrain

  authored
  3cb5e03

Commits on Nov 2, 2021

• Mempool: model checking with 3 nodes

  Isaac-DeFrain

  committed
  cec6811

Commits on Oct 26, 2021

• Merge pull request #3 from Isaac-DeFrain/mempool

  Show description for b26647a
  Isaac-DeFrain

  authored
  b26647a

• Merge branch 'main' into mempool

  Isaac-DeFrain

  authored
  f2890a9

• Mempool: include block_ops variable to accurately capture endorsement propagation

  Isaac-DeFrain

  committed
  0fb3e12

• Mempool: correct false properties

  Isaac-DeFrain

  committed
  f7b8efd

• Merge pull request #2 from Isaac-DeFrain/mempool

  Show description for 80af9b3
  Isaac-DeFrain

  authored
  80af9b3

• Merge branch 'tezedge:main' into mempool

  Isaac-DeFrain

  authored
  a29623c

Commits on Oct 25, 2021

• Mempool: correct false properties

  Isaac-DeFrain

  committed
  077b065

Commits on Oct 21, 2021

• Mempool: add safety and liveness models

  Isaac-DeFrain

  committed
  77ef1e7

• Mempool: add properties

  Isaac-DeFrain

  committed
  f1f6ed9

Commits on Oct 20, 2021

• Mempool: add operation application from mp_pending

  Isaac-DeFrain

  committed
  876fcb3

Commits on Oct 19, 2021

• Mempool: complete action definitions

  Show description for a67b747
  Isaac-DeFrain

  committed
  a67b747

• Mempool: update helper modules

  Isaac-DeFrain

  committed
  300f5f5

• Mempool: fix topology definitions

  Isaac-DeFrain

  committed
  9ea3166

Commits on Oct 18, 2021

• Mempool: add action definitions

  Show description for 2c1fb57
  Isaac-DeFrain

  committed
  2c1fb57

Commits on Oct 16, 2021

• Mempool: separate global and local specs

  Show description for c777d51
  Isaac-DeFrain

  committed
  c777d51

• Mempool: add network topology module

  Isaac-DeFrain

  committed
  4345fab

Commits on Oct 15, 2021

• Mempool: add messages and operations modules

  Isaac-DeFrain

  committed
  2f865a3

Commits on Oct 12, 2021

• Mempool: add classification actions

  Isaac-DeFrain

  committed
  a7236dc

Commits on Oct 10, 2021

• Mempool: initialize spec

  Isaac-DeFrain

  committed
  d725d94

Pagination

PreviousNext