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
#5844 - Add THIM as a source of SEV-SNP collateral
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5843 - Fix incorrect inheritDoc
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5842 - Refactor JoinedState and StartState into one.
Pull Request -
State: closed - Opened by lemmy 11 months ago
- 1 comment
Labels: tla
#5841 - More compact trace viz, signatures
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5840 - Fewer StartTerm instances
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5839 - TV for startup followed by join
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 3 comments
Labels: tla
#5838 - Add append scenario to CI
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5837 - CI failure in limits test on ASAN
Issue -
State: open - Opened by achamayou 11 months ago
Labels: bug
#5836 - Trace viz script
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5835 - Log sandbox creation progress and do not upgrade existing venv
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5834 - Clarify casing change in documentation
Pull Request -
State: closed - Opened by achamayou 11 months ago
#5833 - Correct state digest key for classic version of the API
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5832 - Authenticate recovery share submission
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5831 - Minor reformatting caused by prettier 3.1
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
Labels: auto-backport, 4.x-todo
#5830 - Correct typo in isValidX509CertBundle compatibility fix
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5829 - Add a longer simulation run to the daily build
Issue -
State: closed - Opened by achamayou 11 months ago
- 3 comments
Labels: tla
#5828 - Align initial spec state with implementation
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 3 comments
Labels: tla
#5827 - Move simulation to ADO too, and shorten the length of its run to not delay PRs
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 6 comments
Labels: tla
#5826 - Remove NotifyCommit to bring spec closer to implementation
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
Labels: tla
#5825 - Add pre-processing for realistic scenarios
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5824 - Alias ccf.digest and ccf.isValidX509CertBundle to faciliate constitution migration from 3.x
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5823 - Align leadership state naming with implementation
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5822 - CCF consensus verification roadmap
Issue -
State: closed - Opened by achamayou 11 months ago
- 1 comment
Labels: TODO, tla
#5821 - The /recovery/members/{memberId}:recover endpoint in the 2023-06-01-preview API is unauthenticated
Issue -
State: closed - Opened by achamayou 11 months ago
- 1 comment
Labels: bug
#5820 - Add realistic reconfiguration commands for driver
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 3 comments
#5819 - Switching to TLC cimetrics to using `cimetrics_env.sh`
Pull Request -
State: closed - Opened by heidihoward 11 months ago
- 2 comments
Labels: tla
#5818 - Add an easy way to create traces and run validation
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5817 - Add other MC stats
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5816 - Acks submitted with old tooling don't work because they send "state_digest" rather than "stateDigest"
Issue -
State: closed - Opened by achamayou 11 months ago
- 3 comments
Labels: bug
#5815 - [release/4.x] Cherry pick: Fix incorrect key scrubbing (#5814)
Pull Request -
State: closed - Opened by achamayou 11 months ago
Labels: 4.x-backport
#5814 - Fix incorrect key scrubbing
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 2 comments
Labels: backported, auto-backport, 4.x-todo
#5813 - ASAN report of memory leak in wrap and unwrapKey
Issue -
State: closed - Opened by achamayou 11 months ago
Labels: bug
#5812 - Align the _logline in a TLA+ counterexample with its corresponding entry in the JSON log, from which the TLA+ state has been constructed.
Pull Request -
State: closed - Opened by lemmy 11 months ago
- 1 comment
Labels: tla
#5811 - Ignoring states dump from TLC
Pull Request -
State: closed - Opened by heidihoward 11 months ago
- 1 comment
Labels: tla
#5810 - Move model checking to main CI pipeline
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5809 - JwtAuthnPolicy could validate the key_issuer against iss
Issue -
State: open - Opened by achamayou 11 months ago
- 9 comments
Labels: enhancement
#5808 - Update CHANGELOG.md before 5.0.0-dev6
Pull Request -
State: closed - Opened by achamayou 11 months ago
#5807 - Adding TLC stats to cimetrics
Pull Request -
State: closed - Opened by heidihoward 11 months ago
- 7 comments
Labels: tla
#5806 - [release/4.x] Cherry pick: Do not enforce default parsing limits on forwarded traffic (#5803)
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
Labels: 4.x-backport
#5805 - Moving `requestlimit` to cfg files
Pull Request -
State: closed - Opened by heidihoward 11 months ago
- 1 comment
Labels: tla
#5804 - Remove implicit cast from `JSWrappedValue` to `JSValue`
Pull Request -
State: closed - Opened by eddyashton 11 months ago
- 1 comment
#5803 - Do not enforce default parsing limits on forwarded traffic
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 3 comments
Labels: backported, auto-backport, 4.x-todo
#5802 - Adding a new configuration to the model checking CI
Pull Request -
State: closed - Opened by heidihoward 11 months ago
- 1 comment
Labels: tla
#5801 - Bringing back the option to model check without reconfiguration
Pull Request -
State: closed - Opened by heidihoward 11 months ago
- 1 comment
Labels: tla
#5800 - Refactor hardcoded set of all Servers out of ccfraft.
Pull Request -
State: closed - Opened by lemmy 11 months ago
- 3 comments
Labels: tla
#5799 - IsRcvProposeVoteRequest does not define the successor state(s).
Pull Request -
State: closed - Opened by lemmy 11 months ago
- 1 comment
Labels: tla
#5798 - Minimal repro triggering the issue in ccfraft.tla AdvanceCommitIndex
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 6 comments
Labels: bug, tla
#5797 - Validate the successor state *after* defining it
Pull Request -
State: closed - Opened by lemmy 11 months ago
- 1 comment
Labels: tla
#5796 - Trace state and configuration after action
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 2 comments
#5795 - Move committable indices to state, to facilitate tracing
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
Labels: tla
#5794 - Towards trace validation of real CCF nodes
Issue -
State: closed - Opened by achamayou 11 months ago
- 6 comments
Labels: tla
#5793 - Add a GET /node/primary
Pull Request -
State: closed - Opened by achamayou 11 months ago
- 1 comment
#5792 - Add unwrapKey to typescript interface
Pull Request -
State: closed - Opened by beejones 11 months ago
- 14 comments
#5791 - CI failure observed
Issue -
State: closed - Opened by heidihoward 12 months ago
- 4 comments
#5790 - Adding record domain checks to TLA+ specification
Pull Request -
State: closed - Opened by heidihoward 12 months ago
- 4 comments
Labels: tla
#5789 - Add GET /node/primary
Issue -
State: closed - Opened by achamayou 12 months ago
Labels: enhancement
#5788 - Check that nodes are not talking to themselves
Pull Request -
State: closed - Opened by heidihoward 12 months ago
- 1 comment
Labels: tla
#5787 - TLA+ tidy up
Pull Request -
State: closed - Opened by heidihoward 12 months ago
- 1 comment
Labels: tla
#5786 - Remove ungated js exception logging
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 1 comment
#5785 - [release/4.x] Cherry pick: Update CI images to 26-10-2023 (#5784)
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 1 comment
Labels: 4.x-backport
#5784 - Update CI images to 26-10-2023
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 2 comments
Labels: backported, auto-backport, 4.x-todo
#5783 - [release/4.x] Cherry pick: JS FFI exception safety update (#5747)
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 1 comment
Labels: 4.x-backport
#5782 - Meaningful warning when the ndjson input file has no content.
Pull Request -
State: closed - Opened by lemmy 12 months ago
- 2 comments
Labels: tla
#5781 - [DO NOT MERGE] Investigate where the trailing quotes come from
Pull Request -
State: closed - Opened by eddyashton 12 months ago
- 2 comments
#5780 - Restore running full CI on main, take 4
Pull Request -
State: closed - Opened by eddyashton 12 months ago
#5779 - Changing index into `Configurations` in `MCccfraft.tla`
Pull Request -
State: closed - Opened by heidihoward 12 months ago
- 5 comments
Labels: tla
#5778 - Restrict initial configuration in ccfraft.tla to a single node
Pull Request -
State: closed - Opened by heidihoward 12 months ago
- 7 comments
Labels: tla
#5777 - [release/4.x] Cherry pick: Retain old JWT paths for LTS tests (#5711)
Pull Request -
State: closed - Opened by ccf-bot 12 months ago
- 1 comment
Labels: 4.x-backport
#5776 - Restore running full CI on main, take 3
Pull Request -
State: closed - Opened by eddyashton 12 months ago
#5775 - Adding `CommittableIndicesAreKnownSignaturesInv` to exhaustive model checking
Pull Request -
State: closed - Opened by heidihoward 12 months ago
Labels: tla
#5774 - Restore running full CI on main, take 2
Pull Request -
State: closed - Opened by eddyashton 12 months ago
#5773 - Restore running full CI on `main`
Pull Request -
State: closed - Opened by eddyashton 12 months ago
- 1 comment
#5772 - [release/4.x] Cherry pick: Only enable JS runtime limits during execution (#5730)
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 1 comment
Labels: 4.x-backport
#5771 - [release/4.x] Cherry pick: LTS compat fix - avoid passing new arg to old script (#5694)
Pull Request -
State: closed - Opened by ccf-bot 12 months ago
- 2 comments
Labels: 4.x-backport
#5770 - [release/4.x] Cherry pick: Extend testing of JS runtime limits, take 2 (#5668)
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 1 comment
#5769 - Add driver commands to start networks and reconfigure more realistically
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 2 comments
#5768 - The unwrap function is not available in typescript/javascript
Issue -
State: closed - Opened by beejones 12 months ago
- 4 comments
Labels: enhancement
#5767 - Modify `bad_network` scenario to be deterministic
Pull Request -
State: closed - Opened by eddyashton 12 months ago
- 1 comment
#5766 - [release/4.x] Cherry pick: Extend testing of JS runtime limits (#5594)
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 1 comment
#5765 - [release/4.x] Cherry pick: Only enable JS runtime limits during execution (#5730)
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 3 comments
Labels: 4.x-backport
#5764 - Add and enforce specification invariant `CommittableIndicesAreKnownSignaturesInv`
Pull Request -
State: closed - Opened by eddyashton 12 months ago
- 3 comments
Labels: tla
#5763 - Move sample SEV-SNP config file to the right location
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 1 comment
#5762 - [release/4.x] Cherry pick: Use new governance API throughout our infra (#5698)
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 1 comment
Labels: 4.x-backport
#5761 - Recreating longer counterexamples such as those coming out of the simulator is significantly faster when deserialized from TLC's binary format as opposed to the textual record in TTrace.tla.
Pull Request -
State: closed - Opened by lemmy 12 months ago
- 1 comment
Labels: tla
#5760 - Exception type cleanup in crypto code
Issue -
State: closed - Opened by achamayou 12 months ago
Labels: TODO
#5759 - Update CCF paper
Pull Request -
State: closed - Opened by heidihoward 12 months ago
- 1 comment
#5758 - Do not assert committableIndices of the next state in "replicate", which can cause an error if the log ends on this "replicate".
Pull Request -
State: closed - Opened by lemmy 12 months ago
- 1 comment
Labels: tla
#5757 - Allow consecutive signatures.
Pull Request -
State: closed - Opened by lemmy 12 months ago
- 3 comments
Labels: tla
#5755 - Broken link in docs
Issue -
State: closed - Opened by heidihoward 12 months ago
Labels: documentation
#5754 - Fixing link to CCF paper
Pull Request -
State: closed - Opened by heidihoward 12 months ago
Labels: documentation
#5753 - Update TLA+ docs page
Pull Request -
State: closed - Opened by heidihoward 12 months ago
Labels: documentation, tla
#5752 - Updating TLA+ README.md
Pull Request -
State: closed - Opened by heidihoward 12 months ago
Labels: tla
#5751 - Moving the TLA+ spec for consensus
Pull Request -
State: closed - Opened by heidihoward 12 months ago
- 5 comments
Labels: tla
#5750 - Tidy up the research docs page
Pull Request -
State: closed - Opened by heidihoward 12 months ago
- 2 comments
#5749 - Retain all signatures during a soft rollback
Pull Request -
State: closed - Opened by eddyashton 12 months ago
- 7 comments
Labels: tla
#5748 - Raft Paper section 5.4.2: "[A leader] never commits log entries from previous terms...".
Pull Request -
State: closed - Opened by lemmy 12 months ago
- 2 comments
Labels: tla
#5747 - JS FFI exception safety update
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 2 comments
Labels: backported, auto-backport, 4.x-todo
#5746 - Compute node count from a single pass over the JSON log file, eliminating the need for separate 'nodes' file.
Pull Request -
State: closed - Opened by lemmy 12 months ago
- 2 comments
Labels: tla
#5745 - [release/4.x] Cherry pick: Add basic backpressure mechanism if primary has too many in-flight transactions (#5692)
Pull Request -
State: closed - Opened by achamayou 12 months ago
- 1 comment
Labels: 4.x-backport
#5744 - Adding ccf paper
Pull Request -
State: closed - Opened by heidihoward 12 months ago
- 1 comment