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

#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

#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