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
#5943 - Update documentation to reflect the need to provide signed input to POST state-digests
Pull Request -
State: closed - Opened by achamayou 9 months ago
#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
#5920 - The restriction on member encryption keys (RSA only) should be checked as early as possible and made clear in the doc
Issue -
State: open - Opened by achamayou 9 months ago
Labels: enhancement, usability
#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
#5884 - Daily build failure in `modules_test`: Expired certificate in "Test verifySnpAttestation with a static attestation report"
Issue -
State: closed - Opened by eddyashton 9 months ago
- 1 comment
Labels: bug
#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
#5879 - ccfraft!AdvanceCommitIndex advance to the smalles possible index, whereas raft.h advances to the largest possible one.
Pull Request -
State: closed - Opened by lemmy 10 months ago
- 6 comments
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