microsoft
/
CCF
зеркало из https://github.com/microsoft/CCF.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность
4 242 коммитов 9 Ветки 293 Теги 982 MiB
Граф коммитов

4242 Коммитов

Автор SHA1 Сообщение Дата
Amaury Chamayou ff514cef0d
Fix gem install (#6523) 2024-10-04 14:01:54 +01:00
Amaury Chamayou 62499b2105
Install gem in dev image (#6522) 2024-10-04 13:47:17 +01:00
Amaury Chamayou 6c380e2c50
Install cddl gem in dev image (#6521) 2024-10-04 11:47:28 +00:00
Heidi Howard c71b7ced76
Remove `StatsFile.tla` (#6519) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-10-03 09:31:22 +00:00
Amaury Chamayou fa850a637f
End to end test for CBOR proof (#6499) 2024-10-02 20:14:08 +00:00
Markus Alexander Kuppe e0a9ea3757
Remove writing state-space statistics after the demise of cimetrics. (#6518) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
 2024-10-02 16:59:53 +00:00
Markus Alexander Kuppe 76b2dcfacc
Check refinement of high-level spec abs with all models (#6509) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-10-02 15:25:08 +00:00
Markus Alexander Kuppe 0ab6408da1
Assert (postcondition) that all "debug invariants" equal true in at least one state. (#6517) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-10-02 13:28:42 +00:00
Amaury Chamayou 50ffc62685
Iteration on TLC wrapper script (#6513) 
Co-authored-by: Heidi Howard <1835251+heidihoward@users.noreply.github.com>
 2024-10-02 11:15:32 +00:00
Max e6f00b765d
Fix historical TX requests for previous epochs during recovery (#6507) 
Co-authored-by: Amaury Chamayou <amaury@xargs.fr>
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-10-02 08:57:00 +00:00
Amaury Chamayou df6d0043cf
Format Python under tla/ (#6515) 2024-10-01 15:39:22 +01:00
dependabot[bot] 0182242774
Bump @types/chai from 4.3.20 to 5.0.0 in /js/ccf-app (#6514) 
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2024-10-01 07:31:13 +00:00
Amaury Chamayou a032ae0f50
Split Verification Jobs (#6512) 2024-09-30 11:34:23 +00:00
Markus Alexander Kuppe 2069c68c8a
Minimize number of TLC configuration files. (#6511) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
 2024-09-30 09:35:32 +01:00
Max 728a5bdef7
Nuke obsolete QUIC doc page (#6506) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-09-27 13:51:34 +00:00
Markus Alexander Kuppe 6fb0b5f0b9
Refactor abstract consensus specification (#6475) 
* Refactor (simplify) TypeOK to use (more concise) Sequences!Seq operator.
* Define InitialLogs less explicitly.
* Add assumptions about abs.tla's constants (TLAPS will likely need those assumptions should we attempt writing a proof).
* Mitigate state-space explosion during explicit-state model checking by declaring constant Servers to be symmetric.

Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
 2024-09-26 17:50:50 -07:00
Amaury Chamayou f798800ae9
Add 2-Node consensus MC (#6504) 2024-09-26 21:47:12 +01:00
Markus Alexander Kuppe 5e615a9c97
Revert https://github.com/microsoft/CCF/pull/5939 (#6501) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
 2024-09-26 13:00:39 +01:00
Amaury Chamayou e213df0e5c
Add long LTS to long tests (#6497) 2024-09-24 12:01:43 +01:00
Amaury Chamayou 4b167078d3
Only the KV-defined set of UVM roots of trust should be used to accept joining nodes (#6489) 2024-09-23 19:07:21 +00:00
Markus Alexander Kuppe 3fb252bef8
`upload-artifact` Github action fails because of non-unique artifact names. (#6494) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
 2024-09-23 07:21:15 +00:00
Amaury Chamayou 1fb9dc4f97
Remove SGX target from release job(s) (#6492) 2024-09-20 15:50:24 +01:00
Amaury Chamayou b39fa24528
Update CONTRIBUTING.md with current workflows (#6488) 2024-09-20 13:41:56 +00:00
Amaury Chamayou 3cf06afea5
Enable 6.x releases (#6491) 2024-09-20 14:36:09 +01:00
Max 187d469175
COSE receipts: CPP API (#6480) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-09-19 15:51:13 +00:00
Max ece75e4703
Add Missing changelog entries for #6462 and #6449 (#6487) 
Co-authored-by: Amaury Chamayou <amaury@xargs.fr>
 2024-09-19 14:41:33 +00:00
Amaury Chamayou 5661eefc12
Make collateral fetching retries configurable, and shut down when they are exhausted (#6478) 2024-09-17 12:30:18 +00:00
dependabot[bot] 36f11f9365
Update setuptools requirement from ==74.* to >=74,<76 in /python (#6483) 
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2024-09-17 09:15:40 +00:00
Max 7d43a7bba6
Remove backup signature stuff (#6476) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-09-16 11:15:50 +00:00
Max 069aba102c
Long tests on PRs (#6481) 2024-09-16 11:43:31 +01:00
ptalekar-intel 4b98ee01dd
Update kv_how_to.rst (#6479) 2024-09-16 08:47:20 +00:00
Max b08724a000
COSE signatures over merkle root in the ledger (#6453) 2024-09-11 17:18:49 +00:00
Amaury Chamayou 4093777df7
Shut down on join 400 (#6473) 2024-09-11 13:29:45 +00:00
Amaury Chamayou 8baf2e5ed4
Remove Action that published CI images to ACR (#6474) 2024-09-11 13:15:21 +00:00
Amaury Chamayou 47e6853e6e
Test and fix recovery with snapshot without ledger (#6472) 2024-09-11 08:24:57 +00:00
Heidi Howard c66cbb89b5
Adding an abstract consensus spec (#6438) 
Co-authored-by: Markus Alexander Kuppe <github.com@lemmster.de>
 2024-09-09 11:16:57 +00:00
Amaury Chamayou 50132aa569
Update pyproject.toml, setuptools 73->74 (#6468) 2024-09-06 10:41:21 +00:00
Heidi Howard 01af78db24
Update TLA+ dev container to include new TLA+ vscode extension (#6460) 2024-09-04 14:18:38 +00:00
Shaikh Yaser fbc3cb2796
Typo Update in README.md (#6459) 2024-09-04 10:39:02 +00:00
Amaury Chamayou 4e8bc62816
Update setuptools requirement (#6456) 2024-08-29 08:45:09 +00:00
Markus Alexander Kuppe 7540df4282
Ensure raft traces are always uploaded as workflow artifacts. (#6451) 
Signed-off-by: Markus Alexander Kuppe <github.com@lemmster.de>
 2024-08-28 07:52:22 +00:00
Max c0178a7a4e
Fixup verify quote script for load balancer (#6454) 2024-08-27 14:29:56 +00:00
Amaury Chamayou 0d6b1cc351
Remove SGX JWT key filter and policy support (#6450) 2024-08-23 15:49:36 +00:00
Max 1b30b2472f
COSE signing API for raw payload (#6444) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
Co-authored-by: Amaury Chamayou <amaury@xargs.fr>
 2024-08-22 15:55:29 +00:00
Amaury Chamayou 56fd6b79f3
Remove SGX-specific dependencies from release playbooks (#6447) 2024-08-22 11:06:49 +00:00
Max 542bba87c7
Initial removal of SGX targets (#6426) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2024-08-16 10:43:28 +00:00
Amaury Chamayou 4bb3c1e0ac
Address issue with embedded certificates in JWT x5c (#6440) 
Co-authored-by: Max <maxtropets@gmail.com>
 2024-08-15 14:10:24 +00:00
Max 457511806c
Improve JWT auth error msg (#6435) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
Co-authored-by: Amaury Chamayou <amaury@xargs.fr>
 2024-08-13 16:23:13 +00:00
Amaury Chamayou 4089c9193c
Return schema correctly in gov/service/javascript-app endpoint (#6432) 2024-08-12 13:04:11 +00:00
Max 4cbc7eb4b5
Change raw issuer to digest before passing to x509 (#6431) 2024-08-12 11:36:38 +00:00