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

295 Коммитов

Автор SHA1 Сообщение Дата
Amaury Chamayou 3dd2de96c0
Switch to a backup pool (#5512) 2023-08-08 11:13:38 +01:00
Amaury Chamayou 3c0b1e9373
Quote parameters (#5487) 2023-07-31 17:13:36 +01:00
Amaury Chamayou c1274f32e4
Try to fix ACI cleanup (#5486) 2023-07-31 14:39:49 +01:00
Julien Maffre abb05f7c78
Remove GHA SNP CI container builder (#5471) 2023-07-31 14:39:09 +01:00
Eddy Ashton 63ec9b67b0
Remove QUICTLS build pipeline (#5440) 2023-07-12 13:15:14 +00:00
Amaury Chamayou a34c34ec0a
Move TSAN build to Daily (#5434) 2023-07-11 13:09:57 +01:00
Amaury Chamayou cb54264085
Run multiple piccolo and multi-threaded builds in CI (#5309) 2023-06-21 19:28:19 +00:00
Markus Alexander Kuppe 976aa693cc TraceStateSpace is vacuously true. 
* The new TraceMatched gives us a counterexample compared to the old
  TraceMatched based on POSTCONDITION
* The new TraceMatched is a hack because we have to force TLC to
  check the property as a liveness prop by adding the nested [],
  which in turn necessitates the disjunct
* Removing the conditionals based on scenarios names makes trace
  validation more robust, at the price of weakening the property by
  accepting one or two successor states at every step

https://github.com/microsoft/CCF/issues/5057
 2023-06-16 15:05:35 -07:00
Amaury Chamayou b0ef570d23 Enable multi election trace validation 2023-06-16 10:39:22 -07:00
Markus Alexander Kuppe f4bb4d742f
Add matching of match_idx and sent_idx to trace validation (Traceccfraft.tla). (#5363) 2023-06-16 12:10:39 +00:00
Amaury Chamayou 9e0e46c41a
Validate all traces, and improve output somewhat (#5355) 2023-06-16 09:17:09 +01:00
Amaury Chamayou f8c3166452 Migrate to new RG 2023-06-12 11:54:13 +01:00
Amaury Chamayou c020a23dc4 Update SGX pools to new subscription 2023-06-09 18:28:37 +01:00
Amaury Chamayou d8343b1f08 Update ADO virtual pools 2023-06-09 15:27:02 +00:00
Julien Maffre ed3bba9c3d
Remove non-clang15 SNP/Virtual containers (#5316) 2023-06-01 10:02:30 +00:00
Amaury Chamayou 13eac37a95
Trigger the CI on TLA+ changes (#5283) 2023-05-19 12:38:53 +00:00
Eddy Ashton 7d0e7277c8
TLA CI validation fix: Call `apt update` (#5277) 2023-05-18 13:24:23 +01:00
Markus Alexander Kuppe 5301f6739f
Validate tests/raft_scenarios/bad_network, fancy_election.1, and suffix_collision.1 (#5223) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2023-05-02 16:26:41 +00:00
Amaury Chamayou 4c6ebeebc4
Raft tracing (#5201) 2023-04-26 13:04:04 +01:00
Julien Maffre 18c50d862f
Re-enable NPM modules test on SNP (#5210) 2023-04-25 16:57:21 +01:00
Julien Maffre 482fd30919
SNP: add support to read UVM security context from files rather than environment (#5175) 2023-04-21 15:53:26 +01:00
Amaury Chamayou 0cf54ba2be
Switch remaining virtual clang10 jobs to clang15 (#5157) 2023-04-21 14:14:55 +01:00
Amaury Chamayou 64c2df38fa
Remove experimental 2tx support from consensus (#5179) 2023-04-17 18:27:40 +01:00
Julien Maffre e941bd42b6
Misc ACI deployment cleanup (#5143) 2023-03-31 12:40:54 +01:00
Julien Maffre e79764b589
SNP: deploy containers in North Europe (#5130) 2023-03-23 10:18:02 +00:00
Amaury Chamayou dda2a43078
Switch Virtual to Clang 15 (#5133) 2023-03-22 15:08:51 +00:00
Takuro Sato 647a180973
Run only passing tests (#5112) 
Co-authored-by: Amaury Chamayou <amchamay@microsoft.com>
 2023-03-22 10:07:55 +00:00
Amaury Chamayou 42d9f25a6b
Use clang 15 in virtual builds (#5111) 2023-03-16 13:12:55 +00:00
Amaury Chamayou 7a60db59cf
Clang 15 for Virtual and SNP (#5102) 2023-03-14 13:09:34 +00:00
Julien Maffre b6b35db718
External executor: use attestation container in end-to-end test (#5082) 2023-03-10 17:55:33 +00:00
Amaury Chamayou 1c795306d6
Switch back to EastUS2EUAP and try local storage again (#5028) 2023-02-20 17:12:03 +00:00
Takuro Sato 3252612bc3
Make Attestation Container return UVM_REFERENCE_INFO (#4942) 
Co-authored-by: Julien Maffre <42961061+jumaffre@users.noreply.github.com>
Co-authored-by: Dominic Ayre <dominicayre@microsoft.com>
Co-authored-by: Mahati Chamarthy <mahati.chamarthy@gmail.com>
 2023-02-20 11:57:32 +00:00
Takuro Sato 96eb3ab0f7
Upgrade confcom to 0.2.10 (#5009) 2023-02-16 09:45:53 +00:00
Julien Maffre c2410ecbc3
SEV-SNP ACI: simplify primary container command (#4999) 2023-02-14 14:42:01 +00:00
Takuro Sato 8fb8bc7802
Downgrade confcom to 0.2.6 (#5005) 2023-02-14 10:56:54 +00:00
Takuro Sato a09aab86b2
Upgrade confcom az cli extention to 0.2.8 (#4932) 
Co-authored-by: Takuro Sato <takurosato@microsoft.com--username>
Co-authored-by: Ubuntu <takurosato@takurosato-sgx.taez5sojqghejlh3t0iq3iwtjd.cx.internal.cloudapp.net>
Co-authored-by: Mahati Chamarthy <mahati.chamarthy@gmail.com>
Co-authored-by: Julien Maffre <42961061+jumaffre@users.noreply.github.com>
 2023-02-13 18:36:46 +00:00
Julien Maffre eb1445ea5b
Improve test coverage for historical range queries (#4964) 2023-02-10 13:30:44 +00:00
Dominic Ayre d528609f4d
Use out argument for IP information (#4985) 2023-02-10 12:12:33 +00:00
Julien Maffre fc7f85799f
Update SEV-SNP ACI file share to North Europe (#4988) 2023-02-10 11:37:31 +00:00
Julien Maffre 3067f8673f
Attestation container: reduce size of container image (#4955) 2023-02-10 09:50:22 +00:00
Dominic Ayre 9957798f24
Change ACI region to North Europe (#4977) 2023-02-09 15:53:11 +00:00
Dominic Ayre 82f9bc9d05
Make secondary ACI cleanup independent of primary (#4970) 2023-02-07 13:52:10 +00:00
Dominic Ayre 90f566abd0
Cleanup ACI even when workspace cleanup failed (#4969) 2023-02-07 11:26:55 +00:00
Takuro Sato 30468ed25d
Run 'SNPCC Release' and 'Virtual Release' in the daily CI (#4962) 2023-02-07 10:12:30 +00:00
Dominic Ayre a471de8615
Increase ACI deployment timeout (#4960) 2023-02-06 15:01:59 +00:00
Takuro Sato 150616ca8e
Increase ssh timeout (#4956) 
Co-authored-by: Julien Maffre <42961061+jumaffre@users.noreply.github.com>
 2023-02-06 09:22:24 +00:00
Takuro Sato 12656055a5
Use `az confcom acipolicygen` to generate security policy (#4898) 
Co-authored-by: Julien Maffre <42961061+jumaffre@users.noreply.github.com>
 2023-01-31 16:25:52 +00:00
Takuro Sato ab14201fcd
Tidy up attestation container pipeline (#4883) 2023-01-26 09:24:29 +00:00
Takuro Sato b23beabf37
Use Unix domain socket (#4858) 
Co-authored-by: Takuro Sato <takurosato@microsoft.com--username>
 2023-01-24 16:20:40 +00:00
Takuro Sato c8ab33411b
Fix io error of attestation container pipeline (#4860) 2023-01-23 11:10:48 +00:00