You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -1659,8 +1672,8 @@ documentation, for further details.
1659
1672
1660
1673
*Aug 31, 2020*
1661
1674
1662
-
This release is the first release of the [testgen][testgen-dir] utility,
1663
-
a generator for Tendermint types for unit and integration tests and for model-based testing.
1675
+
This release is the first release of the [testgen][testgen-dir] utility,
1676
+
a generator for Tendermint types for unit and integration tests and for model-based testing.
1664
1677
It is a utility for producing tendermint datastructures from minimal input, targeted for testing.
1665
1678
1666
1679
The release also contains various Rust API-breaking changes. It remains compatible with v0.33 of Tendermint Core.
@@ -1718,7 +1731,7 @@ Together they provide a complete Tendermint light client implementation that per
1718
1731
and attempts to detect forks across its peers. Complete TLA+ specifications for light client verification are included,
1719
1732
along with work-in-progress specs for fork detection. The implementation is compatible with v0.33 of Tendermint Core.
1720
1733
1721
-
Note that both the [light-client][light-client-dir] and [light-node][light-node-dir] crates are to be considered experimental software that will still undergo a
1734
+
Note that both the [light-client][light-client-dir] and [light-node][light-node-dir] crates are to be considered experimental software that will still undergo a
1722
1735
lot of improvements and iterations. The goal of releasing an early version of our Light Client is to make it accessible, to get people use it, and to receive feedback.
1723
1736
1724
1737
An overview of the current design of the light client is provided in [ADR-006]
@@ -1734,9 +1747,9 @@ and [ADR-007].
1734
1747
### FEATURES:
1735
1748
1736
1749
-[light-client] Rewrite and expansion of `lite`, the prior light client
1737
-
verification module, into a new fully-featured `light-client` crate. The crate provides a db,
1750
+
verification module, into a new fully-featured `light-client` crate. The crate provides a db,
1738
1751
functions for complete light client verification, peer management, fork detection, and evidence reporting,
1739
-
along with extensive testing. Components are composed via a `Supervisor`, which is run in its own thread,
1752
+
along with extensive testing. Components are composed via a `Supervisor`, which is run in its own thread,
1740
1753
and exposes a Handle trait to broker access to underlying state and
1741
1754
functionality. See the [light-client][light-client-dir] crate for details.
1742
1755
-[light-node] New binary crate with CLI for running the light client as a daemon,
0 commit comments