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
#6091 - Update Open Enclave from 0.19.3 to 0.19.4
Pull Request -
State: closed - Opened by achamayou 3 months ago
- 1 comment
#6090 - Unblock CI by removing arrow repo from apt source temporarily
Pull Request -
State: closed - Opened by achamayou 3 months ago
- 1 comment
#6089 - [release/4.x] Cherry-pick: Update CI image from 15-03-2024 to 2024-03-21 (#6080)
Pull Request -
State: closed - Opened by eddyashton 3 months ago
- 1 comment
Labels: 4.x-backport
#6088 - Endorsement checks should not be an assert
Pull Request -
State: closed - Opened by achamayou 3 months ago
- 1 comment
#6087 - [Test] Debug and verbose logging in ACI CI
Pull Request -
State: closed - Opened by achamayou 3 months ago
- 1 comment
#6086 - Do not run SNP CI on 4.x
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6085 - Publish SNP test workspace
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6084 - Switch SNP tests to use THIM
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6083 - Update to checkout@v4 pypi.yml on release/4.x
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6082 - Follow-ups for redirection support
Issue -
State: closed - Opened by eddyashton 4 months ago
Labels: enhancement
#6081 - Explore ETAGs support to provide session consistency
Issue -
State: closed - Opened by eddyashton 4 months ago
- 3 comments
Labels: TODO
#6080 - Update CI image from 15-03-2024 to 2024-03-21
Pull Request -
State: closed - Opened by eddyashton 4 months ago
- 5 comments
Labels: auto-backport, 4.x-todo
#6079 - Tried to optimise update term
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6078 - Fix `raft_test`: check size of view histories before accessing
Pull Request -
State: closed - Opened by eddyashton 4 months ago
- 1 comment
#6077 - Update CHANGELOG.md for 4.0.16
Pull Request -
State: closed - Opened by achamayou 4 months ago
#6076 - Lower MaxTermLimit for Atomic Reconfig
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
Labels: tla
#6075 - raft_test failure in Daily
Issue -
State: closed - Opened by achamayou 4 months ago
Labels: bug
#6074 - Add action number plotting script
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 6 comments
Labels: tla
#6073 - Stop retired nodes in tests that resize network
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6072 - [release/4.x] Cherry pick: Update CI image from 12-02-2024 to 15-03-2024 (#6067)
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
Labels: 4.x-backport
#6071 - Add disjoint two-node reconfig scenarios [0, 1] -> [2, 3]
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6070 - Separate venv initialisation in `recovery_benchmark.sh`
Pull Request -
State: closed - Opened by eddyashton 4 months ago
- 1 comment
#6069 - TLA comment update
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6068 - Adopt a consistent 'ing style in TLA+
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
Labels: tla
#6067 - Update CI image from 12-02-2024 to 15-03-2024
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 2 comments
Labels: backported, auto-backport, 4.x-todo
#6066 - Add test of JS converter behaviour, and a `checkedJson` converter which forbids certain types
Pull Request -
State: closed - Opened by eddyashton 4 months ago
- 1 comment
#6065 - Run simulation on MC pool
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6064 - Update documentation
Pull Request -
State: closed - Opened by achamayou 4 months ago
#6063 - Improve sharing test
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6062 - Drop scurl.sh
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6061 - Add get_create_tx_claims_digest to the research API
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6060 - Test mc canary again
Pull Request -
State: closed - Opened by achamayou 4 months ago
#6059 - Test
Pull Request -
State: closed - Opened by achamayou 4 months ago
#6058 - [DO NOT MERGE] Test mc ci job
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6057 - Remove Model Checking dependency in main CI post-split
Pull Request -
State: closed - Opened by achamayou 4 months ago
#6056 - Split out model checking job and pool
Pull Request -
State: closed - Opened by achamayou 4 months ago
#6055 - Research API: application callback to set claims digest on initial transaction
Issue -
State: closed - Opened by achamayou 4 months ago
Labels: enhancement
#6054 - Python infra: Correct implementation of `find_node_by_role`
Pull Request -
State: closed - Opened by eddyashton 4 months ago
- 1 comment
#6053 - Refactor ReplicationInv to reduce its computational complexity.
Pull Request -
State: closed - Opened by lemmy 4 months ago
- 1 comment
Labels: tla
#6052 - Get `kv_bench` running again
Pull Request -
State: closed - Opened by eddyashton 4 months ago
- 2 comments
#6051 - Keep track of retired completed but not committed nodes
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
Labels: tla
#6050 - Redirection support, as alternative to request forwarding
Pull Request -
State: closed - Opened by eddyashton 4 months ago
- 1 comment
#6049 - Update PlausibleSucessorNodes logic and remove the global removedFromConfiguration
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
Labels: tla
#6048 - Reduce number of *generated* states.
Pull Request -
State: closed - Opened by lemmy 4 months ago
- 5 comments
Labels: tla
#6045 - n.type = AppendEntriesRequest missing from disjunct
Issue -
State: closed - Opened by lemmy 4 months ago
Labels: tla
#6044 - Do not use removedFromConfiguration in ChangeConfigurationInt
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
Labels: tla
#6040 - Report TLA+ spec coverage ever 100 minutes and once at the end of model checking
Pull Request -
State: open - Opened by lemmy 4 months ago
- 1 comment
Labels: tla
#6038 - RcvProposeVoteRequest action is never enabled
Issue -
State: open - Opened by lemmy 4 months ago
Labels: tla
#6037 - Trace Viz: Add missing retirement phase and fix commit index display
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6036 - Raft Spec: Fix IsRetiredCommittedLog to use log argument
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
Labels: tla
#6035 - Expose node cert subject name in config correctly to test/sandbox infra
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6034 - Update CHANGELOG.md
Pull Request -
State: closed - Opened by achamayou 4 months ago
#6033 - Update cryptography and pin major releases on all Python dependencies
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6032 - Pin major releases for all Python dependencies
Pull Request -
State: closed - Opened by achamayou 4 months ago
- 1 comment
#6031 - Expose cose sign1 message sign/verify APIs in ccf.crypto
Issue -
State: open - Opened by gaurav137 4 months ago
Labels: enhancement
#6030 - SNP test fix: renamed response field
Pull Request -
State: closed - Opened by eddyashton 4 months ago
- 1 comment
#6029 - Fix flaky scenario on 4.x branch
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
Labels: 4.x-backport
#6028 - ccfraft: Use `m.prevLogTerm` in `RejectAppendEntriesRequest` when finding highest match
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
Labels: tla
#6027 - Spring cleaning TLA+
Pull Request -
State: closed - Opened by heidihoward 5 months ago
- 1 comment
Labels: tla
#6026 - Return full TxID in `/gov/service/info` response
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
#6025 - Update `quickjs` from `2021-03-27` to `2024-01-14`
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
#6024 - Update to Node v20
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
#6023 - Prepare release notes for 5.0.0-dev13
Pull Request -
State: closed - Opened by eddyashton 5 months ago
#6022 - Help TLC to only evaluate JsonServers once.
Pull Request -
State: closed - Opened by lemmy 5 months ago
- 1 comment
Labels: tla
#6021 - RaftDriver: Log whenever messages are dropped, to simplify trace validation
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 2 comments
Labels: tla
#6020 - Revert TV to verbose output
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 2 comments
#6019 - [release/4.x] Cherry pick: Raft fixes: Rollback safety despite NACKs, and only ACK up to incoming AE (#6016)
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
Labels: 4.x-backport
#6018 - Retired committed hook receives whole config
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment
#6017 - Add details of last matching line in TV CI
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 8 comments
#6016 - Raft fixes: Rollback safety despite NACKs, and only ACK up to incoming AE
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 5 comments
Labels: tla, auto-backport, 4.x-todo
#6015 - Only use StateDeque for trace validation
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment
#6014 - [release/4.x] Cherry pick: Update CI image from 25-01-2024 to 12-02-2024 (#6011)
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment
Labels: 4.x-backport
#6013 - Adding retiredcommitted as a node state
Pull Request -
State: closed - Opened by heidihoward 5 months ago
- 3 comments
Labels: tla
#6012 - Tidy up TV cli again
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment
#6011 - Update CI image from 25-01-2024 to 12-02-2024
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 4 comments
Labels: backported, auto-backport, 4.x-todo
#6010 - Strengthen assertions in trace validation
Pull Request -
State: closed - Opened by lemmy 5 months ago
- 10 comments
Labels: tla
#6009 - RaftDriver: Always loop until sync is achieved at the end of a scenario
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 4 comments
Labels: tla
#6008 - Only nudge a successor on retirement completed if primary
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment
#6007 - RaftDriver: Add `assert_detail`
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment
#6006 - RaftDriver: Check `commit_safety` after every step, as invariant
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
#6005 - Improvements to secret sharing following review
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment
#6004 - RaftDriver: Include logical clock timestamps in Mermaid output
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
#6003 - Minor Raft QoL: Make message construction more readable
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 2 comments
#6002 - Adding `ReplicationInv` to consensus spec
Pull Request -
State: closed - Opened by heidihoward 5 months ago
- 9 comments
Labels: tla
#6001 - Raft: Only ACK up to entries described by incoming AppendEntries
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 6 comments
#6000 - [DO_NOT_MERGE] Investigate rollback_safety scenario trace
Pull Request -
State: closed - Opened by heidihoward 5 months ago
- 11 comments
Labels: tla
#5999 - Update status casing in documentation to match REST API
Pull Request -
State: closed - Opened by achamayou 5 months ago
#5998 - Minor Raft QoL cleanup
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
#5997 - Make CI jobs that run important commands with pipes report correctly when they fail
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment
#5996 - Add actions for Raft scenarios
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
#5995 - Pass proposalId to resolve()
Issue -
State: closed - Opened by achamayou 5 months ago
Labels: enhancement
#5994 - Publish TV output on failure
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment
#5993 - Service cert subject name is configurable
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment
#5992 - Comments to document use of `sent_idx` in spec
Pull Request -
State: closed - Opened by heidihoward 5 months ago
- 1 comment
Labels: tla
#5991 - Rollback safety despite stale NACKs
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 2 comments
Labels: tla
#5990 - Update `llhttp` from `9.0.1` to `9.1.3`
Pull Request -
State: closed - Opened by eddyashton 5 months ago
- 1 comment
#5989 - Towards easier debugging of trace validation.
Pull Request -
State: closed - Opened by lemmy 5 months ago
- 6 comments
Labels: tla
#5988 - Checking sentIndex in trace validation
Pull Request -
State: closed - Opened by heidihoward 5 months ago
- 2 comments
Labels: tla
#5987 - Allowing out of order message delivery for exhaustive checking and simulation
Pull Request -
State: closed - Opened by heidihoward 5 months ago
- 1 comment
Labels: tla
#5986 - Add cleanup_nodes action to the driver to set retired_committed in scenarios
Pull Request -
State: closed - Opened by achamayou 5 months ago
- 1 comment