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

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

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

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

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

#5954 - Split release pipeline and add signing

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

#5953 - Add swap_node to driver to enable new scenarios

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

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

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

#5951 - [WIP] Liveness issue investigation

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

#5950 - Unexpected error when running sandbox script

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

#5949 - Add explicit permissions blocks to all GHA workflows

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

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

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

#5947 - Do not run CI on older branches

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

#5946 - Run simulation longer in Daily

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

#5945 - Minor refactorings

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

#5944 - Update minimum required version for jsrasign to 11.0.0

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

#5942 - Derive committable indices from log

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

#5941 - Do not drop stale NACKs in spec

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

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

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

#5939 - Attempt to fix the simulation

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

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

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

#5937 - Drop 4806 scenario

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

#5936 - Remove 4582.2 scenario

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

#5935 - Add `candidate_viability` scenario

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

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

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

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

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

#5932 - Running prettier over JSON files

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

#5931 - New debug invariant for TLA+ spec

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

#5930 - SIM Trace viz

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

#5929 - Add election_while_reconfiguration scenario

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

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

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

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

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

#5926 - Add contains_globally_committed on KV Set

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

#5925 - Add fancy election 2 scenario

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

#5924 - More trace validation scenarios

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

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

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

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

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

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

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

#5919 - Adding retirement phases to specification

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

#5918 - Add reconfiguration scenario

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

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

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

#5916 - Add h_ts in trace viz script

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

#5915 - Add multi election scenario

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

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

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

#5913 - Review committableIndices use in the Trace validation spec

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

#5912 - Add node backup endpoint

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

#5911 - Check quorum scenario

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

#5910 - Reconnect scenario for trace validation

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

#5909 - Election scenario for trace validation

Pull Request - State: closed - Opened by achamayou 9 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 9 months ago - 1 comment
Labels: 4.x-backport

#5907 - Add basic replicate trace scenario

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

#5906 - Complete 2-node startup trace validation

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

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

Pull Request - State: closed - Opened by eddyashton 9 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 9 months ago - 2 comments
Labels: tla

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

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

#5902 - Refactoring consensus leadership states in specification

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

#5901 - Follow up to #5895

Pull Request - State: closed - Opened by heidihoward 9 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 9 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 9 months ago - 1 comment

#5898 - ACME failed

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

#5897 - Swapping nextIndex for sentIndex

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

#5896 - Only send AEs to known servers

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

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

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

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

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

#5893 - Turn off LTO when using ThreadSanitizer

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

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

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

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

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

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

Pull Request - State: closed - Opened by eddyashton 9 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 9 months ago - 1 comment

#5887 - Docs typo

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

#5886 - Removing unused serialization function

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

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

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

#5883 - Bump chai from 4.3.10 to 5.0.0 in /js/ccf-app

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

#5882 - CCF Crashing without logs

Issue - State: closed - Opened by kristupaslozoraitis 9 months ago - 5 comments
Labels: bug

#5880 - Minor refactorings

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

#5878 - Update snp.rst with link to documentation

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

#5877 - Minor update to `ledger_viz.py` with `--write-view`

Pull Request - State: closed - Opened by heidihoward 10 months ago
Labels: python

#5876 - Allow driver to name the first node

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

#5875 - Generate scenario from trace

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

#5874 - Remove get_rpc_handler declaration

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

#5873 - Remove ccf::historical::adapter_v2

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

#5872 - Remove deprecated EnclaveAttestationProvider

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

#5871 - Grow memory usage quicker in destruction test

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

#5870 - Do not fail on slow SIGHUP shutdown with ASAN

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

#5869 - Minimal fix to fix type checking for latest pycose

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

#5868 - Remove now-unused security_context_directory

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

#5867 - Pin UVM roots of trust and add snp_uvm_endorsements_file to configuration

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

#5864 - QuickJS upgrade to 2023-12-09

Issue - State: closed - Opened by achamayou 10 months ago
Labels: TODO

#5855 - Close connection on session consistency loss by default

Issue - State: closed - Opened by achamayou 10 months ago - 1 comment
Labels: enhancement

#5854 - Add support for THIM as a source of collateral

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

#5853 - channels_test is flaky in SNP builds

Issue - State: closed - Opened by achamayou 10 months ago - 2 comments
Labels: bug

#5852 - Test THIM on ACI

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

#5851 - Refresh base image

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

#5850 - Update CHANGELOG.md

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

#5849 - Update sandbox.sh

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

#5848 - Add support for SEV attestion in 6.x kernels

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

#5847 - Enable x25519 in automated modules test once fix lands upstream

Issue - State: closed - Opened by achamayou 10 months ago
Labels: testing

#5846 - Allow creating x25519 key pairs from JS

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

#5845 - Switch default AMD collateral fetching method to THIM

Issue - State: closed - Opened by achamayou 11 months ago - 1 comment
Labels: enhancement