Commits

Branch selector

 08919c8

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 14, 2020

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

  Show description for 08919c8
  OStevan

  authored
  08919c8

• ExecutorService shared between handles. (#88)

  Show description for 2eaec94
  OStevan

  authored
  2eaec94

• Safe termination of thread pool. (#87)

  OStevan

  authored
  20ebe88

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

• 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

Pagination

PreviousNext