Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 21, 2020

• Remove some forAlls and simplify configuration. (#92)

  Show description for 91ed4a6
  OStevan

  authored
  91ed4a6

Commits on Aug 16, 2020

• Rename for better alignment with report and to make it clearer. (#91)

  Show description for 55992d0
  OStevan

  authored
  55992d0

Commits on Aug 14, 2020

• Rename UntrustedState to FetchedStack (#90)

  Show description for 642ebe2
  OStevan

  authored
  642ebe2

• Revert to the stacked of fetched LightBlocks (#89)

  Show description for 08919c8
  OStevan

  authored
  08919c8

Commits on Aug 13, 2020

• Include clock drift. (#86)

  Show description for 52562ef
  OStevan

  authored
  52562ef

Commits on Aug 12, 2020

• Remove some more asserts (#85)

  Show description for 5326aa6
  OStevan

  authored
  5326aa6

• Revert.

  OStevan

  committed
  27c913f

• Comment out some asserts.

  OStevan

  committed
  1747736

• Fix up the previously working proofs. (#84)

  OStevan

  authored
  4c36f11

Commits on Aug 11, 2020

• Moves. (#83)

  OStevan

  authored
  a3f41ef

Commits on Aug 10, 2020

• Separate lemmas related to lists with no duplicates and pure lists. (#82)

  Show description for 81d14ba
  OStevan

  authored
  81d14ba

• ListSet intial implementation. (#81)

  Show description for 16f2cd7
  OStevan

  authored
  16f2cd7

Commits on Jul 9, 2020

• Caching provider with shared cache, expiration and max size.

  Show description for 813b4ac
  OStevan

  authored
  813b4ac

• Tracing of light blocks instead of direct caching.

  Show description for 3e25138
  OStevan

  authored
  3e25138

• Rename TrustedState to VerifiedState. (#78)

  Show description for e724d8b
  OStevan

  authored
  e724d8b

• Multi peer conformance tests.

  Show description for 98c0728
  OStevan

  authored
  98c0728

Commits on Jul 7, 2020

• Use factories and test cases to build tests.

  Show description for 0316d9a
  OStevan

  authored
  0316d9a

Commits on Jul 6, 2020

• Reorganize and decouple code. (#72)

  Show description for f4dce8e
  OStevan

  authored
  f4dce8e

• Shared state with light store and in memory store implementation.

  OStevan

  authored
  f2abdcb

Commits on Jul 2, 2020

• Add more supervisor errors. (#70)

  OStevan

  authored
  2a1a2f9

• Full fork detection with verified peer list.

  Show description for 0b92bfd
  OStevan

  authored
  0b92bfd

Commits on Jun 26, 2020

• Add scalafmt configuration.

  OStevan

  authored
  d800529

Commits on Jun 25, 2020

• Communication with real tendermint nodes.

  OStevan

  authored
  2cb64af

Commits on Jun 22, 2020

• Stainless visible trusting period with now.

  Show description for 0d86662
  OStevan

  authored
  0d86662

Commits on Jun 19, 2020

• Remove height as trust boundary

  Show description for 53eed48
  OStevan

  authored
  53eed48

Commits on Jun 17, 2020

• Update to stainless 0.7.1 and remove recursive dependency in ensuring.

  OStevan

  authored
  189cfce

Commits on Jun 12, 2020

• Add checks for voting power signatures of ED25519

  Show description for 3f35256
  OStevan

  authored
  3f35256

• Import Seq manually

  OStevan

  authored
  de77e12

Commits on Jun 10, 2020

• Implementation of validator set hashing.

  Show description for 6a8d110
  OStevan

  authored
  6a8d110

Commits on Jun 9, 2020

• Introduce protbuf files from tendermint, implemen Merkle tree computation and header hashing. (#56)

  Show description for 51332a5
  OStevan

  authored
  51332a5

Commits on Jun 5, 2020

• Improve abstractions and separate results for single header verification (#55)

  Show description for aa8a09a
  OStevan

  authored
  aa8a09a

Commits on Jun 2, 2020

• Multi step bisection test and verifier refactoring

  OStevan

  authored
  906e120

Commits on May 28, 2020

• Extracted abstract untrusted state.

  OStevan

  authored
  4cc21f2

Commits on May 27, 2020

• Introduce abstract trusted state

  OStevan

  authored
  5cf5161

• Extract single step verifier and simplify tests for single step.

  OStevan

  authored
  b4e7380

Pagination

PreviousNext