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
#5250 - Tame state-space explosion
Pull Request -
State: closed - Opened by lemmy over 1 year ago
Labels: tla
#5249 - Update compiling CCF from source instructions
Issue -
State: closed - Opened by heidihoward over 1 year ago
Labels: documentation
#5248 - User cose sign1
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 2 comments
Labels: backported, auto-backport, 4.x-todo
#5247 - Redundant steps in install CCF instructions
Issue -
State: closed - Opened by heidihoward over 1 year ago
Labels: documentation
#5246 - Sandbox slow to start up for the first time
Issue -
State: closed - Opened by heidihoward over 1 year ago
- 2 comments
#5245 - [release/4.x] Cherry pick: JS runtime traces in responses (#5237)
Pull Request -
State: closed - Opened by eddyashton over 1 year ago
Labels: 4.x-backport
#5244 - [release/3.x] Cherry pick: Add `populate_service_endorsements` to public headers (#5242)
Pull Request -
State: closed - Opened by eddyashton over 1 year ago
- 1 comment
Labels: 3.x-backport
#5243 - [release/4.x] Cherry pick: Add `populate_service_endorsements` to public headers (#5242)
Pull Request -
State: closed - Opened by eddyashton over 1 year ago
- 1 comment
Labels: 4.x-backport
#5242 - Add `populate_service_endorsements` to public headers
Pull Request -
State: closed - Opened by eddyashton over 1 year ago
- 2 comments
Labels: backported, auto-backport, 3.x-todo, 4.x-todo
#5241 - Make a `historical::adapter_v4` which allows customisation of the response for every error category
Issue -
State: closed - Opened by eddyashton over 1 year ago
- 1 comment
Labels: enhancement
#5240 - Fix changelog format
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
#5239 - Review usage of js_dump_error() in the codebase
Issue -
State: closed - Opened by achamayou over 1 year ago
Labels: TODO
#5238 - Towards validating tests/raft_scenarios/fancy_election.2
Pull Request -
State: closed - Opened by lemmy over 1 year ago
- 3 comments
Labels: tla
#5237 - JS runtime traces in responses
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 2 comments
Labels: backported, auto-backport, 4.x-todo
#5236 - Failure in `recovery.test_recover_service_aborted` end-to-end test
Issue -
State: closed - Opened by eddyashton over 1 year ago
- 1 comment
Labels: bug
#5235 - Re-enable LTS compatibility on same release branch
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 1 comment
#5234 - Update release notes for 4.0.0 final
Pull Request -
State: closed - Opened by achamayou over 1 year ago
#5233 - Validating tests/raft_scenarios/fancy_election.2 and tests/raft_scenarios/suffix_collision.2
Pull Request -
State: closed - Opened by lemmy over 1 year ago
- 5 comments
Labels: tla
#5232 - Make consensus type optional in join and ledger types
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
#5231 - LTS test: stop testing compatibility with release candidates
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 1 comment
#5230 - Document idempotence behaviour of COSE signed request
Issue -
State: open - Opened by eddyashton over 1 year ago
Labels: TODO
#5229 - Fix occasional failure in `external_indexer_test`
Pull Request -
State: closed - Opened by eddyashton over 1 year ago
- 1 comment
#5228 - Corrupt signatures more reliably in test
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
#5227 - Ensure that latest version of OpenSSL is installed
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 1 comment
#5226 - Re-enable LTS compatibility with previous release on same branch
Issue -
State: closed - Opened by jumaffre over 1 year ago
Labels: TODO
#5225 - Pin version of OpenSSL in SNP/virtual images
Issue -
State: closed - Opened by jumaffre over 1 year ago
- 1 comment
Labels: enhancement
#5224 - Support `:` as a separator in our templated path matching
Issue -
State: closed - Opened by eddyashton over 1 year ago
Labels: enhancement
#5223 - Validate tests/raft_scenarios/bad_network, fancy_election.1, and suffix_collision.1
Pull Request -
State: closed - Opened by lemmy over 1 year ago
- 7 comments
Labels: tla
#5222 - Fix TraceStateSpace that has been vacuously true since https://github…
Pull Request -
State: closed - Opened by lemmy over 1 year ago
Labels: tla
#5221 - Attestation container: Support for reading security context from directory
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 1 comment
#5220 - Handling of initial configuration in TLA+ spec does not match implementation
Issue -
State: closed - Opened by heidihoward over 1 year ago
- 3 comments
Labels: tla
#5219 - Initial commit of new gov API spec
Pull Request -
State: closed - Opened by eddyashton over 1 year ago
- 1 comment
#5218 - Enable storage account
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 4 comments
#5217 - SEV-SNP: Remove ability to read policy and endorsements from distinct environment variables
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 1 comment
#5216 - Remove more unused code paths
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
#5215 - Update to Open Enclave `0.19.0`
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 2 comments
#5214 - Align SNP job triggers
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
#5213 - Rename remaining occurences of term in the code
Issue -
State: open - Opened by achamayou over 1 year ago
#5212 - Is contains_new_view still useful?
Issue -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
#5211 - New governance service endpoints
Issue -
State: closed - Opened by jumaffre over 1 year ago
Labels: enhancement
#5210 - Re-enable NPM modules test on SNP
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 2 comments
#5209 - Fix for `MoreUpToDateCorrectInv`
Pull Request -
State: closed - Opened by heidihoward over 1 year ago
Labels: tla
#5208 - PR feedback on 5202
Issue -
State: closed - Opened by achamayou over 1 year ago
- 2 comments
#5207 - Remove unused membership states
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 2 comments
#5206 - Update `LogInv` in the TLA+ spec
Pull Request -
State: closed - Opened by heidihoward over 1 year ago
- 1 comment
Labels: tla
#5205 - Format codebase with `clang-format-11`
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 3 comments
#5204 - Format codebase with `clang-format-11`
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
#5203 - Consolidate raft state
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 4 comments
#5202 - Remove unused code and fields
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 2 comments
#5201 - Raft tracing
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 11 comments
#5200 - Move all trace validation logging into raft.h
Pull Request -
State: closed - Opened by lemmy over 1 year ago
- 1 comment
Labels: tla
#5199 - Make kid more clearly mandatory in COSE headers
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
#5198 - ASAN: Alloc dealloc mismatch
Issue -
State: open - Opened by achamayou over 1 year ago
Labels: bug, ci
#5197 - Spring clean of `ccfraft.tla`
Pull Request -
State: closed - Opened by heidihoward over 1 year ago
Labels: tla
#5196 - Expanding TLA+ CI
Pull Request -
State: closed - Opened by heidihoward over 1 year ago
- 1 comment
Labels: tla
#5195 - Document data durability
Pull Request -
State: closed - Opened by achamayou over 1 year ago
#5194 - Fix container image generation for `4.0.0-rc2`
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 1 comment
#5193 - Regenerate *.ndjson files to logically rebase with latest code changes.
Pull Request -
State: closed - Opened by lemmy over 1 year ago
Labels: tla
#5192 - Fix proposal in TypeSpec
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
#5191 - Fix field formats that are incompatible with OpenAPI
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 2 comments
#5190 - Cadl to typespec rename
Pull Request -
State: closed - Opened by achamayou over 1 year ago
#5189 - Replace cadl with typespec
Pull Request -
State: closed - Opened by MahatiC over 1 year ago
- 2 comments
#5188 - Draft: Swap usage of snmalloc `DLList` with `std::list`
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 2 comments
#5187 - Validate several happy-path scenarios in `tests/raft_scenarios/`.
Pull Request -
State: closed - Opened by lemmy over 1 year ago
- 1 comment
Labels: tla
#5186 - Update snmalloc to `0.6.0`
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 1 comment
#5185 - External indexer test failure
Issue -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
Labels: bug
#5184 - GET /node/network/nodes/self redirects may be inaccessible from the public Internet
Issue -
State: closed - Opened by lynshi over 1 year ago
- 2 comments
Labels: bug
#5183 - Quick tidy up of the consensus doc page
Pull Request -
State: closed - Opened by heidihoward over 1 year ago
#5182 - Trying some bonus properties
Pull Request -
State: closed - Opened by heidihoward over 1 year ago
- 6 comments
Labels: tla
#5181 - Change codebase format to `clang-format-11`
Issue -
State: closed - Opened by jumaffre over 1 year ago
#5180 - Do not merge: `add_lvi_mitigations` for all enclave libraries
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 1 comment
#5179 - Remove experimental 2tx support from consensus
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
#5178 - SNP: Always use `az confcom` to generate security policy
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 3 comments
#5177 - Duplicate JWK kids across issuers are not handled correctly
Issue -
State: open - Opened by achamayou over 1 year ago
- 1 comment
Labels: bug
#5175 - SNP: add support to read UVM security context from files rather than environment
Pull Request -
State: closed - Opened by jumaffre over 1 year ago
- 4 comments
#5173 - Update reconfiguration logic in TLA+ specification
Pull Request -
State: closed - Opened by heidihoward over 1 year ago
- 10 comments
Labels: tla
#5167 - Bump golang.org/x/sys from 0.6.0 to 0.7.0 in /attestation-container
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, go
#5165 - Upgrade to OE 0.19.0-rc1
Pull Request -
State: closed - Opened by eddyashton over 1 year ago
- 5 comments
#5164 - Update ACI SEV-SNP configuration from files
Issue -
State: closed - Opened by jumaffre over 1 year ago
- 2 comments
#5160 - Scope lifetime of `host::Enclave` to ensure `ThreadMessaging` is safely destroyed
Pull Request -
State: closed - Opened by eddyashton over 1 year ago
- 1 comment
#5157 - Switch remaining virtual clang10 jobs to clang15
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
#5154 - Batching of entries in AppendEntries messages
Pull Request -
State: closed - Opened by lemmy over 1 year ago
- 4 comments
Labels: tla
#5153 - Tidy up constitution JS
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 1 comment
#5150 - Allow sending empty AppendEntries message.
Pull Request -
State: closed - Opened by lemmy over 1 year ago
- 1 comment
Labels: tla
#5148 - OE_JSON_INFO_PARSE_ERROR when joining Azure Node to On-Prem SGX node
Issue -
State: closed - Opened by RokasAidukas-Centric over 1 year ago
- 6 comments
Labels: bug
#5141 - deserialise_snapshot() assumes that it runs single-threaded, but frontends are already open
Issue -
State: open - Opened by achamayou over 1 year ago
Labels: bug
#5137 - Remove signed HTTP request support
Pull Request -
State: closed - Opened by achamayou over 1 year ago
- 5 comments
#5132 - Validate constitutions on the server
Issue -
State: open - Opened by eddyashton over 1 year ago
- 2 comments
Labels: enhancement
#5117 - Test hangs with TSAN
Issue -
State: closed - Opened by takuro-sato over 1 year ago
- 2 comments
Labels: bug
#5104 - Support the same endpoints for the JS and C++ logging app samples
Issue -
State: closed - Opened by heidihoward over 1 year ago
- 1 comment
Labels: enhancement, testing
#5103 - Definition of Merkle tree and leaves
Issue -
State: closed - Opened by letmaik over 1 year ago
- 1 comment
Labels: documentation
#5098 - AddressSanitizer: heap-use-after-free in ring_buffer.h
Issue -
State: closed - Opened by takuro-sato over 1 year ago
- 1 comment
Labels: bug
#5084 - Standardise governance API - remove use of member certs
Issue -
State: closed - Opened by eddyashton over 1 year ago
- 1 comment
Labels: TODO
#5078 - Investigate `partitions_test` failure: "Adjacent signatures at T.X and T.X+1"
Issue -
State: closed - Opened by eddyashton over 1 year ago
- 3 comments
Labels: bug
#5074 - Fix TSAN errors
Issue -
State: closed - Opened by takuro-sato over 1 year ago
- 1 comment
Labels: bug
#5071 - Add end-to-end test of multi-bucket indexing
Issue -
State: open - Opened by eddyashton over 1 year ago
- 1 comment
Labels: bug, testing
#5064 - GET /nodes/self returns 500 when the node is Pending
Issue -
State: closed - Opened by achamayou over 1 year ago
- 3 comments
Labels: bug
#5057 - Consensus trace validation
Issue -
State: closed - Opened by achamayou over 1 year ago
- 22 comments
Labels: enhancement, tla
#5048 - Support K-Value store operations like [.values() - .keys()]
Issue -
State: open - Opened by Aymalla over 1 year ago
- 2 comments
Labels: enhancement, js
#5047 - Support Azure Active directory token validation by default
Issue -
State: open - Opened by Aymalla over 1 year ago
- 2 comments
Labels: enhancement