issues
search
microsoft
/
CCF
Confidential Consortium Framework
https://microsoft.github.io/CCF/
Apache License 2.0
756
stars
204
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use typed model values to prevent comparing things that shouldn't be compared.
#6166
lemmy
opened
9 hours ago
0
`InvalidNotObservedInv` vacuously true, `InvalidNotObservedInv` and `CommittedRwSerializableInv` slow to evaluated by TLC due to combinatorial explosion.
#6164
lemmy
closed
9 hours ago
0
[WIP] Cleanup `js::core::Context`, move to an extension model
#6163
eddyashton
opened
1 day ago
0
[release/4.x] Cherry pick: Pin `sphinx-mdinclude` to 0.5.4 (#6145)
#6162
ccf-bot
closed
2 days ago
0
Fix jwt_test
#6161
achamayou
closed
2 days ago
0
[release/4.x] Cherry-pick: Remove/disable cimetrics
#6160
eddyashton
closed
2 days ago
0
[DRAFT] Investigate `jwt_test` break
#6158
eddyashton
closed
2 days ago
1
Only log lower and upper bounds of `committable_indices` to correct claim that we only log variables values constant in space.
#6157
lemmy
opened
4 days ago
0
Remove TLAi
#6156
achamayou
closed
4 days ago
0
Towards a reusable public-header JS interpreter
#6155
eddyashton
closed
3 days ago
0
Fix off by one in consistency tv
#6154
lemmy
closed
4 days ago
1
Fix read backfill off-by-one
#6153
achamayou
closed
6 days ago
5
A trivial TLA+ loc counter
#6152
achamayou
closed
4 days ago
0
Upgrade CI image from 2024-04-03 to 2024-04-25
#6151
achamayou
closed
1 week ago
2
Add a 4.x to 5.0 migration guide, detail redirect migration
#6150
eddyashton
closed
1 week ago
0
Fix consistency trace test on SNP
#6149
achamayou
closed
1 week ago
0
Upgrade logging to investigate endorsement fetch failure
#6148
eddyashton
closed
1 week ago
0
Remove references to ccf.dev
#6147
achamayou
closed
1 week ago
0
Expose JS runtime creation and execution in public header
#6146
achamayou
opened
1 week ago
0
Pin `sphinx-mdinclude` to 0.5.4
#6145
eddyashton
closed
1 week ago
0
Do not run TLAi on forks
#6144
achamayou
closed
1 week ago
0
Consistency Trace Validation: match transaction ids, take 2
#6143
achamayou
closed
1 week ago
0
Enable both Invalid and Commit on the future of the head branch
#6142
achamayou
closed
1 week ago
0
Demand storage in Cleanup job
#6141
eddyashton
closed
1 week ago
0
Parameterise consistency spec on FirstView
#6140
achamayou
closed
1 week ago
0
Use CI images in ACI deploy/cleanup stages
#6139
achamayou
closed
1 week ago
0
Model ledgerBranches sparsely.
#6138
lemmy
opened
2 weeks ago
5
[TLC Repro] Stack overflow likely caused by large state variable
#6137
achamayou
closed
2 weeks ago
2
Consistency Trace Validation: match transaction ids
#6136
achamayou
closed
1 week ago
0
Fix comments in TMNR
#6135
achamayou
closed
2 weeks ago
0
Tlai experiment
#6134
achamayou
closed
2 weeks ago
8
[DRAFT] What if we always emitted optional fields?
#6133
eddyashton
opened
2 weeks ago
0
Can TLAi catch copy pasted comments from the wrong spec?
#6132
achamayou
closed
2 weeks ago
0
Correct `builtin_maps` description of endpoints key
#6131
eddyashton
closed
2 weeks ago
0
Remove more `cimetrics`
#6130
eddyashton
closed
2 weeks ago
0
Adding signature txn to consistency spec
#6129
heidihoward
closed
2 weeks ago
1
[DRAFT] Create and upload cchost.dbg, containing host symbols
#6128
eddyashton
opened
2 weeks ago
0
Update support calendar
#6127
eddyashton
closed
2 weeks ago
0
Find a way to restore or replace cimetrics
#6126
eddyashton
opened
2 weeks ago
0
Remove use of `METRICS_MONGO_CONNECTION`, disable cimetrics
#6125
eddyashton
closed
2 weeks ago
0
Consistency Spec Trace Validation
#6124
achamayou
closed
2 weeks ago
1
SNP CI: Login to az cli with VM's user-managed identity
#6123
eddyashton
closed
2 weeks ago
3
Emit consensus traces in separate directory
#6122
achamayou
closed
2 weeks ago
1
Remove scheduled CI triggers for 3.x
#6121
eddyashton
closed
2 weeks ago
0
Misc doc fixes
#6120
achamayou
closed
2 weeks ago
1
[DRAFT] Consistency TV
#6119
achamayou
closed
2 weeks ago
1
Add new `/gov/service/users` endpoints
#6118
eddyashton
closed
3 weeks ago
3
Need modern API equivalent of the classic gov/kv/modules API
#6117
gaurav137
opened
3 weeks ago
0
Basic consistency TV app and client
#6116
achamayou
closed
3 weeks ago
1
Python infra: Set `gov_api_version` from launch
#6115
eddyashton
closed
3 weeks ago
2
Next