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

#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

#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