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
#5879 - ccfraft!AdvanceCommitIndex advance to the smalles possible index, whereas raft.h advances to the largest possible one.
Pull Request -
State: closed - Opened by lemmy 7 months ago
- 6 comments
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
#5824 - Alias ccf.digest and ccf.isValidX509CertBundle to faciliate constitution migration from 3.x
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
#5821 - The /recovery/members/{memberId}:recover endpoint in the 2023-06-01-preview API is unauthenticated
Issue -
State: closed - Opened by achamayou 8 months ago
- 1 comment
Labels: bug
#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
#5816 - Acks submitted with old tooling don't work because they send "state_digest" rather than "stateDigest"
Issue -
State: closed - Opened by achamayou 8 months ago
- 3 comments
Labels: bug
#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
#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 8 months ago
- 1 comment
Labels: tla
#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