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

#5883 - Bump chai from 4.3.10 to 5.0.0 in /js/ccf-app

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago - 1 comment
Labels: dependencies, javascript

#5882 - CCF Crashing without logs

Issue - State: closed - Opened by kristupaslozoraitis 6 months ago - 5 comments
Labels: bug

#5880 - Minor refactorings

Pull Request - State: closed - Opened by lemmy 7 months ago - 1 comment
Labels: tla

#5878 - Update snp.rst with link to documentation

Pull Request - State: closed - Opened by achamayou 7 months ago

#5877 - Minor update to `ledger_viz.py` with `--write-view`

Pull Request - State: closed - Opened by heidihoward 7 months ago
Labels: python

#5876 - Allow driver to name the first node

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5875 - Generate scenario from trace

Pull Request - State: closed - Opened by achamayou 7 months ago - 12 comments
Labels: tla

#5874 - Remove get_rpc_handler declaration

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5873 - Remove ccf::historical::adapter_v2

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5872 - Remove deprecated EnclaveAttestationProvider

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5871 - Grow memory usage quicker in destruction test

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5870 - Do not fail on slow SIGHUP shutdown with ASAN

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5869 - Minimal fix to fix type checking for latest pycose

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5868 - Remove now-unused security_context_directory

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5867 - Pin UVM roots of trust and add snp_uvm_endorsements_file to configuration

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5864 - QuickJS upgrade to 2023-12-09

Issue - State: closed - Opened by achamayou 7 months ago
Labels: TODO

#5855 - Close connection on session consistency loss by default

Issue - State: closed - Opened by achamayou 7 months ago - 1 comment
Labels: enhancement

#5854 - Add support for THIM as a source of collateral

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5853 - channels_test is flaky in SNP builds

Issue - State: closed - Opened by achamayou 7 months ago - 2 comments
Labels: bug

#5852 - Test THIM on ACI

Pull Request - State: closed - Opened by achamayou 7 months ago - 2 comments

#5851 - Refresh base image

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5850 - Update CHANGELOG.md

Pull Request - State: closed - Opened by achamayou 7 months ago

#5849 - Update sandbox.sh

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5848 - Add support for SEV attestion in 6.x kernels

Pull Request - State: closed - Opened by achamayou 7 months ago - 1 comment

#5847 - Enable x25519 in automated modules test once fix lands upstream

Issue - State: closed - Opened by achamayou 7 months ago
Labels: testing

#5846 - Allow creating x25519 key pairs from JS

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5845 - Switch default AMD collateral fetching method to THIM

Issue - State: closed - Opened by achamayou 8 months ago - 1 comment
Labels: enhancement

#5844 - Add THIM as a source of SEV-SNP collateral

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5843 - Fix incorrect inheritDoc

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5842 - Refactor JoinedState and StartState into one.

Pull Request - State: closed - Opened by lemmy 8 months ago - 1 comment
Labels: tla

#5841 - More compact trace viz, signatures

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5840 - Fewer StartTerm instances

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5839 - TV for startup followed by join

Pull Request - State: closed - Opened by achamayou 8 months ago - 3 comments
Labels: tla

#5838 - Add append scenario to CI

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5837 - CI failure in limits test on ASAN

Issue - State: open - Opened by achamayou 8 months ago
Labels: bug

#5836 - Trace viz script

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5835 - Log sandbox creation progress and do not upgrade existing venv

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5834 - Clarify casing change in documentation

Pull Request - State: closed - Opened by achamayou 8 months ago

#5833 - Correct state digest key for classic version of the API

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5832 - Authenticate recovery share submission

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5831 - Minor reformatting caused by prettier 3.1

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment
Labels: auto-backport, 4.x-todo

#5830 - Correct typo in isValidX509CertBundle compatibility fix

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5829 - Add a longer simulation run to the daily build

Issue - State: closed - Opened by achamayou 8 months ago - 3 comments
Labels: tla

#5828 - Align initial spec state with implementation

Pull Request - State: closed - Opened by achamayou 8 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 8 months ago - 6 comments
Labels: tla

#5826 - Remove NotifyCommit to bring spec closer to implementation

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment
Labels: tla

#5825 - Add pre-processing for realistic scenarios

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5823 - Align leadership state naming with implementation

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5822 - CCF consensus verification roadmap

Issue - State: closed - Opened by achamayou 8 months ago - 1 comment
Labels: TODO, tla

#5820 - Add realistic reconfiguration commands for driver

Pull Request - State: closed - Opened by achamayou 8 months ago - 3 comments

#5819 - Switching to TLC cimetrics to using `cimetrics_env.sh`

Pull Request - State: closed - Opened by heidihoward 8 months ago - 2 comments
Labels: tla

#5818 - Add an easy way to create traces and run validation

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5817 - Add other MC stats

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5815 - [release/4.x] Cherry pick: Fix incorrect key scrubbing (#5814)

Pull Request - State: closed - Opened by achamayou 8 months ago
Labels: 4.x-backport

#5814 - Fix incorrect key scrubbing

Pull Request - State: closed - Opened by achamayou 8 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 8 months ago
Labels: bug

#5811 - Ignoring states dump from TLC

Pull Request - State: closed - Opened by heidihoward 8 months ago - 1 comment
Labels: tla

#5810 - Move model checking to main CI pipeline

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5809 - JwtAuthnPolicy could validate the key_issuer against iss

Issue - State: open - Opened by achamayou 8 months ago - 9 comments
Labels: enhancement

#5808 - Update CHANGELOG.md before 5.0.0-dev6

Pull Request - State: closed - Opened by achamayou 8 months ago

#5807 - Adding TLC stats to cimetrics

Pull Request - State: closed - Opened by heidihoward 8 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 8 months ago - 1 comment
Labels: 4.x-backport

#5805 - Moving `requestlimit` to cfg files

Pull Request - State: closed - Opened by heidihoward 8 months ago - 1 comment
Labels: tla

#5804 - Remove implicit cast from `JSWrappedValue` to `JSValue`

Pull Request - State: closed - Opened by eddyashton 8 months ago - 1 comment

#5803 - Do not enforce default parsing limits on forwarded traffic

Pull Request - State: closed - Opened by achamayou 8 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 8 months ago - 1 comment
Labels: tla

#5801 - Bringing back the option to model check without reconfiguration

Pull Request - State: closed - Opened by heidihoward 8 months ago - 1 comment
Labels: tla

#5800 - Refactor hardcoded set of all Servers out of ccfraft.

Pull Request - State: closed - Opened by lemmy 8 months ago - 3 comments
Labels: tla

#5799 - IsRcvProposeVoteRequest does not define the successor state(s).

Pull Request - State: closed - Opened by lemmy 8 months ago - 1 comment
Labels: tla

#5798 - Minimal repro triggering the issue in ccfraft.tla AdvanceCommitIndex

Pull Request - State: closed - Opened by achamayou 8 months ago - 6 comments
Labels: bug, tla

#5797 - Validate the successor state *after* defining it

Pull Request - State: closed - Opened by lemmy 8 months ago - 1 comment
Labels: tla

#5796 - Trace state and configuration after action

Pull Request - State: closed - Opened by achamayou 8 months ago - 2 comments

#5795 - Move committable indices to state, to facilitate tracing

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment
Labels: tla

#5794 - Towards trace validation of real CCF nodes

Issue - State: closed - Opened by achamayou 8 months ago - 6 comments
Labels: tla

#5793 - Add a GET /node/primary

Pull Request - State: closed - Opened by achamayou 8 months ago - 1 comment

#5792 - Add unwrapKey to typescript interface

Pull Request - State: closed - Opened by beejones 8 months ago - 14 comments

#5791 - CI failure observed

Issue - State: closed - Opened by heidihoward 8 months ago - 4 comments

#5790 - Adding record domain checks to TLA+ specification

Pull Request - State: closed - Opened by heidihoward 9 months ago - 4 comments
Labels: tla

#5789 - Add GET /node/primary

Issue - State: closed - Opened by achamayou 9 months ago
Labels: enhancement

#5788 - Check that nodes are not talking to themselves

Pull Request - State: closed - Opened by heidihoward 9 months ago - 1 comment
Labels: tla

#5787 - TLA+ tidy up

Pull Request - State: closed - Opened by heidihoward 9 months ago - 1 comment
Labels: tla

#5786 - Remove ungated js exception logging

Pull Request - State: closed - Opened by achamayou 9 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 9 months ago - 1 comment
Labels: 4.x-backport

#5784 - Update CI images to 26-10-2023

Pull Request - State: closed - Opened by achamayou 9 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 9 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 9 months ago - 2 comments
Labels: tla

#5781 - [DO NOT MERGE] Investigate where the trailing quotes come from

Pull Request - State: closed - Opened by eddyashton 9 months ago - 2 comments

#5780 - Restore running full CI on main, take 4

Pull Request - State: closed - Opened by eddyashton 9 months ago

#5779 - Changing index into `Configurations` in `MCccfraft.tla`

Pull Request - State: closed - Opened by heidihoward 9 months ago - 5 comments
Labels: tla

#5778 - Restrict initial configuration in ccfraft.tla to a single node

Pull Request - State: closed - Opened by heidihoward 9 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 9 months ago - 1 comment
Labels: 4.x-backport

#5776 - Restore running full CI on main, take 3

Pull Request - State: closed - Opened by eddyashton 9 months ago

#5775 - Adding `CommittableIndicesAreKnownSignaturesInv` to exhaustive model checking

Pull Request - State: closed - Opened by heidihoward 9 months ago
Labels: tla

#5774 - Restore running full CI on main, take 2

Pull Request - State: closed - Opened by eddyashton 9 months ago

#5773 - Restore running full CI on `main`

Pull Request - State: closed - Opened by eddyashton 9 months ago - 1 comment