Commits

Branch selector

 81d14ba

User selector

All users

Datepicker

All time

Commit History

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

• Peer ids associated with test cases are added after deserialization of data.

  OStevan

  authored
  a5d5e6a

• Use factories and test cases to build tests.

  Show description for 0316d9a
  OStevan

  authored
  0316d9a

• Refactor existing tests to use test cases.

  Show description for 16346fc
  OStevan

  authored
  16346fc

• Updated json files for sinle peer tests.

  Show description for 8a4976f
  OStevan

  authored
  8a4976f

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 28, 2020

• Some basic supervisor.

  OStevan

  committed
  89a41fe

Commits on Jun 27, 2020

• Introduce factories for verification instances.

  Show description for 4fda301
  OStevan

  authored
  4fda301

Commits on Jun 26, 2020

• Add scalafmt configuration.

  OStevan

  authored
  d800529

• Enable verification checks on CI

  OStevan

  authored
  df15489

Commits on Jun 25, 2020

• Communication with real tendermint nodes.

  OStevan

  authored
  2cb64af

• Run tests via GitHub Actions (#49)

  Show description for a46bcfb
  romac

  authored
  a46bcfb

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

• Signature verification.

  Show description for f043446
  OStevan

  authored
  f043446

• 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

• Introduce sequential stepping capability and add more conformance tests.

  OStevan

  authored
  489a2a9

Commits on May 26, 2020

• Introduce TrustLevel parametrization of commit verification.

  OStevan

  authored
  53eeda3

Pagination

PreviousNext