Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / microsoft/CCF issues and pull requests

#5985 - Fix recv_propose_request_vote in trace validation

Pull Request - State: closed - Opened by achamayou 5 months ago - 1 comment

#5984 - In trace, log commit pre-state

Pull Request - State: closed - Opened by achamayou 5 months ago - 1 comment

#5983 - Clean up nodes in reconfiguration test

Pull Request - State: closed - Opened by achamayou 5 months ago - 1 comment

#5982 - Ignoring AE messages before commit index

Pull Request - State: closed - Opened by heidihoward 5 months ago - 1 comment
Labels: tla

#5981 - Documentation and misc updates

Issue - State: open - Opened by achamayou 5 months ago
Labels: bug

#5980 - Improve doxygen in sharing.h

Pull Request - State: closed - Opened by achamayou 5 months ago - 1 comment

#5979 - TLA+ simulation failure observed on main

Issue - State: closed - Opened by heidihoward 5 months ago - 1 comment
Labels: tla

#5978 - Adding RetiredCommitted transaction to consensus spec

Pull Request - State: closed - Opened by heidihoward 5 months ago - 1 comment
Labels: tla

#5977 - Add retirement phase to state and retirement state to viz

Pull Request - State: closed - Opened by achamayou 5 months ago - 1 comment

#5976 - Update backport action

Pull Request - State: closed - Opened by sorenlouv 5 months ago - 5 comments

#5975 - Empty cmd is now "" rather than null

Pull Request - State: closed - Opened by achamayou 5 months ago - 1 comment

#5974 - Add fuzz test of node-to-node connection

Pull Request - State: closed - Opened by eddyashton 5 months ago - 1 comment

#5973 - Raft: Nodes stay active later during reconfiguration to ensure liveness

Pull Request - State: closed - Opened by achamayou 5 months ago - 11 comments
Labels: tla

#5972 - Add reelection scenario, and minimal change to Network.tla to trace validate

Pull Request - State: closed - Opened by lemmy 5 months ago - 5 comments
Labels: tla

#5971 - Adding `is_new_follower` to consensus spec

Pull Request - State: closed - Opened by heidihoward 5 months ago - 4 comments
Labels: tla

#5970 - Just a few extra comments to document the consensus spec

Pull Request - State: closed - Opened by heidihoward 5 months ago - 1 comment
Labels: tla

#5969 - Removing some unused code from consensus spec

Pull Request - State: closed - Opened by heidihoward 5 months ago - 1 comment
Labels: tla

#5968 - Add regression unit test confirming behaviour of enum-keyed map JSON conversion

Pull Request - State: closed - Opened by eddyashton 5 months ago - 1 comment

#5967 - Update 5979 and rename to retire_one

Pull Request - State: closed - Opened by achamayou 5 months ago - 1 comment

#5966 - Update cryptography requirement from ==41.* to ==42.* in /python

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago - 1 comment
Labels: dependencies, python

#5965 - Update codeql-analysis.yml

Pull Request - State: closed - Opened by achamayou 5 months ago

#5962 - Add RetiredCommitted state to consensus

Pull Request - State: closed - Opened by achamayou 5 months ago - 1 comment

#5961 - Disable pr builds

Pull Request - State: closed - Opened by achamayou 5 months ago

#5960 - Add the driver command at the end of the trace viz

Pull Request - State: closed - Opened by achamayou 5 months ago - 1 comment

#5959 - Using max in remove from configurations

Pull Request - State: closed - Opened by heidihoward 5 months ago - 1 comment
Labels: tla

#5958 - Black reformat python files

Pull Request - State: closed - Opened by heidihoward 5 months ago - 1 comment

#5957 - Restrict triggers for signed release pipeline

Pull Request - State: closed - Opened by achamayou 5 months ago

#5956 - Update CI image to 25-01-2024 on release/4.x

Pull Request - State: closed - Opened by achamayou 5 months ago - 1 comment

#5955 - Update CI image from 07-12-2023 to 25-01-2024

Pull Request - State: closed - Opened by achamayou 5 months ago - 2 comments

#5954 - Split release pipeline and add signing

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5953 - Add swap_node to driver to enable new scenarios

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5952 - GHA permissions: Add security-events write permission for CodeQL

Pull Request - State: closed - Opened by eddyashton 6 months ago - 1 comment

#5951 - [WIP] Liveness issue investigation

Pull Request - State: closed - Opened by achamayou 6 months ago - 2 comments

#5950 - Unexpected error when running sandbox script

Issue - State: closed - Opened by aamar-shahzad 6 months ago - 2 comments
Labels: bug

#5949 - Add explicit permissions blocks to all GHA workflows

Pull Request - State: closed - Opened by eddyashton 6 months ago - 5 comments

#5948 - Add reelection scenario, and minimal change to `Network.tla` to trace validate

Pull Request - State: closed - Opened by eddyashton 6 months ago - 4 comments
Labels: tla

#5947 - Do not run CI on older branches

Pull Request - State: closed - Opened by achamayou 6 months ago - 2 comments

#5946 - Run simulation longer in Daily

Pull Request - State: closed - Opened by achamayou 6 months ago - 2 comments

#5945 - Minor refactorings

Pull Request - State: closed - Opened by lemmy 6 months ago - 1 comment
Labels: tla

#5944 - Update minimum required version for jsrasign to 11.0.0

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5942 - Derive committable indices from log

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5941 - Do not drop stale NACKs in spec

Pull Request - State: closed - Opened by achamayou 6 months ago - 2 comments
Labels: tla

#5940 - Model point-to-point message channels in TLA

Pull Request - State: closed - Opened by eddyashton 6 months ago - 6 comments
Labels: tla

#5939 - Attempt to fix the simulation

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment
Labels: tla

#5938 - [WIP] Add a `reelection` scenario

Pull Request - State: closed - Opened by eddyashton 6 months ago - 2 comments

#5937 - Drop 4806 scenario

Pull Request - State: closed - Opened by achamayou 6 months ago

#5936 - Remove 4582.2 scenario

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5935 - Add `candidate_viability` scenario

Pull Request - State: closed - Opened by eddyashton 6 months ago - 1 comment

#5934 - MoreUpToDateCorrectInv is not an invariant, move to Debug

Pull Request - State: closed - Opened by achamayou 6 months ago - 3 comments

#5933 - [Draft] Test some invariants during trace checking

Pull Request - State: closed - Opened by eddyashton 6 months ago - 4 comments

#5932 - Running prettier over JSON files

Pull Request - State: closed - Opened by heidihoward 6 months ago - 2 comments

#5931 - New debug invariant for TLA+ spec

Pull Request - State: closed - Opened by heidihoward 6 months ago
Labels: tla

#5930 - SIM Trace viz

Pull Request - State: closed - Opened by achamayou 6 months ago - 5 comments

#5929 - Add election_while_reconfiguration scenario

Pull Request - State: closed - Opened by achamayou 6 months ago - 6 comments

#5928 - Add `contains_globally_committed` to `kv::Set`

Pull Request - State: closed - Opened by eddyashton 6 months ago - 1 comment

#5927 - CCF Raft behaviour when setting the term on NACKs differs from Raft

Issue - State: closed - Opened by achamayou 6 months ago - 3 comments
Labels: TODO, tla

#5926 - Add contains_globally_committed on KV Set

Issue - State: closed - Opened by achamayou 6 months ago
Labels: enhancement

#5925 - Add fancy election 2 scenario

Pull Request - State: closed - Opened by achamayou 6 months ago - 4 comments

#5924 - More trace validation scenarios

Pull Request - State: closed - Opened by achamayou 6 months ago - 6 comments
Labels: tla

#5923 - The 'Activating a New Member' documentation needs updating

Issue - State: closed - Opened by darracott 6 months ago
Labels: bug

#5922 - Bias simulation towards to behaviors where followers are more often in sync.

Pull Request - State: closed - Opened by lemmy 6 months ago - 4 comments
Labels: tla

#5921 - Enforce read-only restrictions for JS endpoints marked as `readonly`

Pull Request - State: closed - Opened by eddyashton 6 months ago - 1 comment

#5919 - Adding retirement phases to specification

Pull Request - State: closed - Opened by heidihoward 6 months ago - 6 comments
Labels: tla

#5918 - Add reconfiguration scenario

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5917 - Removing `reconfigurationCount` from `ccfraft.tla`

Pull Request - State: closed - Opened by heidihoward 6 months ago - 1 comment
Labels: tla

#5916 - Add h_ts in trace viz script

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5915 - Add multi election scenario

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5914 - Run TV on all non-deprecated scenarios in CI

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5913 - Review committableIndices use in the Trace validation spec

Issue - State: closed - Opened by achamayou 6 months ago - 1 comment

#5912 - Add node backup endpoint

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5911 - Check quorum scenario

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5910 - Reconnect scenario for trace validation

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5909 - Election scenario for trace validation

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5908 - [release/4.x] Cherry pick: Follow up to #5889 - avoid misaligned peeks (#5905)

Pull Request - State: closed - Opened by ccf-bot 6 months ago - 1 comment
Labels: 4.x-backport

#5907 - Add basic replicate trace scenario

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5906 - Complete 2-node startup trace validation

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5905 - Follow up to #5889 - avoid misaligned peeks

Pull Request - State: closed - Opened by eddyashton 6 months ago - 1 comment
Labels: backported, auto-backport, 4.x-todo

#5904 - Add aggregate trace expressions to aid debugging of counterexamples.

Pull Request - State: closed - Opened by lemmy 6 months ago - 2 comments
Labels: tla

#5903 - Ask `ruff` to autofix Python lint errors, where possible

Pull Request - State: closed - Opened by eddyashton 6 months ago - 2 comments

#5902 - Refactoring consensus leadership states in specification

Pull Request - State: closed - Opened by heidihoward 6 months ago - 2 comments
Labels: tla

#5901 - Follow up to #5895

Pull Request - State: closed - Opened by heidihoward 6 months ago - 1 comment
Labels: tla

#5900 - [release/4.x] Cherry pick: Discard malformed traffic sent to node-to-node ports (#5889)

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment
Labels: 4.x-backport

#5899 - Enable x25519 JWT testing and pin JWCrypto>=1.5.1

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5898 - ACME failed

Issue - State: closed - Opened by kristupaslozoraitis 6 months ago - 2 comments

#5897 - Swapping nextIndex for sentIndex

Pull Request - State: closed - Opened by heidihoward 6 months ago - 3 comments
Labels: tla

#5896 - Only send AEs to known servers

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment
Labels: tla

#5895 - `NextIndex` is not updated on successful AE response

Pull Request - State: closed - Opened by heidihoward 6 months ago - 4 comments
Labels: tla

#5894 - Opportunities to tidy up `raft.h`

Issue - State: closed - Opened by heidihoward 6 months ago - 2 comments
Labels: consensus

#5893 - Turn off LTO when using ThreadSanitizer

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5891 - [Minor] Former candidate can vote twice in one term

Issue - State: open - Opened by heidihoward 6 months ago
Labels: consensus

#5890 - Remove method support check in js batched stress test

Pull Request - State: closed - Opened by achamayou 6 months ago - 1 comment

#5889 - Discard malformed traffic sent to node-to-node ports

Pull Request - State: closed - Opened by eddyashton 6 months ago - 2 comments
Labels: backported, auto-backport, 4.x-todo

#5888 - Restore didx509 time validation, update test's sample SNP report

Pull Request - State: closed - Opened by eddyashton 6 months ago - 1 comment

#5887 - Docs typo

Pull Request - State: closed - Opened by heidihoward 6 months ago

#5886 - Removing unused serialization function

Pull Request - State: closed - Opened by eddyashton 6 months ago - 1 comment

#5885 - Ignore time validation in UVM endorsements when resolving `didx509`

Pull Request - State: closed - Opened by eddyashton 6 months ago - 1 comment