Log - CCF - Confidential Consortium Framework

	CCF Confidential Consortium Framework
	git clone https://git.jeffas.net/CCF.git
	Log \| Files \| Refs \| README \| LICENSE

Time	Commit message	Author	Files	+	-	ID
2023-09-25 10:20:42 +0100	Call `main` function of `read_ledger.py` (#5669)	Eddy Ashton	1	+4	-0	54d7f7acc022cac37009a1fabe5365d02a5ffc4c
2023-09-25 10:15:36 +0100	Fix HTTP handling errors reporting (#5680)	Amaury Chamayou	6	+46	-29	f5fc8a0c97908bc33e21391c69bbc74ae86ad841
2023-09-22 15:52:40 +0100	Fix `lts_compatibility`: Bump version check for `--enclave-file` arg (#5681)	Eddy Ashton	1	+1	-1	d545a6af5617535ee1e9bf79323ca240bf7f40ef
2023-09-20 12:29:19 -0700	Remove LET/IN in ClientRequest.	Markus Alexander Kuppe	1	+2	-8	cac47f2d94ccd2d872283834aa6ffda4ade33550
2023-09-20 12:27:18 -0700	Replace auxiliary clientRequests variable with a variable-free state-space constraint.	Markus Alexander Kuppe	2	+13	-32	d2cc00631759e1c9c0c3cc0dc5a70917800ec803
2023-09-20 12:01:00 -0700	Remove auxiliary variable votesRequested that only marginally mitigates state-space explosion.	Markus Alexander Kuppe	4	+3	-24	889659eb7380230fa9696dd9d481b1faf399f77b
2023-09-22 10:39:57 +0200	Refactor invariants to prevent evaluation error when they appear as conjuncts of the initial predicate. (#5679)	Markus Alexander Kuppe	1	+4	-6	5e5519d765c29b093cd0f45879618498dd39967c
2023-09-21 19:02:32 +0100	Log and throw when oversized writer blows up (#5673)	Eddy Ashton	1	+29	-11	4e08acc2ec937ac11581acacfa29f7795e9239de
2023-09-21 18:15:03 +0100	Extend testing of JS runtime limits, take 2 (#5668)	Amaury Chamayou	4	+133	-12	d6efe6664045968dc4f191b9ae672e686f05279b
2023-09-21 16:30:49 +0100	Replace Secret Sharing implementation (#5655)	Amaury Chamayou	19	+679	-70	d224a32eccd751c1733dbc89d4ca92a10248f176
2023-09-21 14:16:07 +0100	Reduce amount of code suppressing compiler diagnostics (#5667)	Eddy Ashton	9	+116	-130	bb8242469bdb7931ee2902df0277eb5e68fdeb95
2023-09-21 13:22:17 +0100	Pass enclave path as CLI argument rather than in configuration (#5665)	Eddy Ashton	8	+55	-17	a9be7eac1a212fb0711bf71cba1b7934803af902
2023-09-21 13:02:17 +0200	Match fancy_election.2 by modeling rollbacks in become_follower(). (#5643)	Markus Alexander Kuppe	3	+36	-11	6f70738842f88497090894cc742f51d5cca5ac9d
2023-09-21 09:12:33 +0100	Revert "Extend testing of JS runtime limits" (#5671)	Eddy Ashton	4	+78	-114	601aba99e5db2e7d9e618369b06cd3fb9273791e
2023-09-19 17:54:13 +0200	Bug: Why calculate nextIndex based on old state of log?! (#5662)	Markus Alexander Kuppe	1	+7	-10	c7477234b868a2a427d448a2d1492e34237b8f5f
2023-09-19 16:50:21 +0200	Refactor DropResponseWhenNotInState into arity-3 operator. (#5661)	Markus Alexander Kuppe	2	+11	-8	5e9a1d098f5c43a49a25ec3ef82f791d1897fd54
2023-09-19 12:32:15 +0100	Fix `REQUIRE_OPENENCLAVE=OFF` builds (#5659)	Julien Maffre	6	+13	-9	26ddc784dbcca6c8042c965705d45abfcc4b84cc
2023-09-19 11:32:59 +0100	Update CHANGELOG.md (#5664)	Amaury Chamayou	1	+1	-6	94e098513438894f491ad2c84168cc5d3e1c8234
2023-09-19 10:22:21 +0100	Extend testing of JS runtime limits (#5594)	Eddy Ashton	4	+114	-78	d94b3f550a9019f1c3169db449806bea8a39847a
2023-09-15 18:24:01 +0200	Refactor IsRcvAppendEntriesRequest to eliminate conjunct that matches the next logline. (#5658)	Markus Alexander Kuppe	1	+3	-6	93de138399d4f4a9eb1f809e187ff1047c26d839
2023-09-15 12:47:48 +0200	Validate committable indices (#5649)	Markus Alexander Kuppe	6	+57	-18	4f799fa0cf323c6ff8aee715be50220099d4181a
2023-09-15 11:11:14 +0100	Split a Virtual Tracing Build (#5656)	Amaury Chamayou	5	+34	-6	dd8976d3be727586099b4d0f22f477a65052d83c
2023-09-15 10:12:52 +0200	Match next logline iff AE response comes from the same node. (#5657)	Markus Alexander Kuppe	1	+1	-2	5e4f6d348c816898053b3fc48d1020695048e0ca
2023-09-14 10:46:33 +0100	Misc OpenSSL 3.x fixes (#5650)	Julien Maffre	5	+40	-15	4d74c1d314675dbb9356489b670d03c32a7d0f57
2023-09-13 12:07:13 +0200	Move Alias to ccfraft. (#5651)	Markus Alexander Kuppe	2	+23	-16	dbb38e511a2329d624aa871adb27b5c4bbf17318
2023-09-11 10:40:48 +0100	Use optimised OpenSSL SHA256 function for Merkle Tree hashing (#5621)	Julien Maffre	8	+46	-6	d473d75be7dab3a4d0a83e462f9500b7645c0a41
2023-09-11 09:20:57 +0100	Add node and service identity to the glossary (#5641)	Amaury Chamayou	9	+16	-11	2429e355f12a63235ca8b3a494da2e35002b9835
2023-09-08 20:15:13 +0200	Support modeling different network guarantees. (#5634)	Markus Alexander Kuppe	4	+107	-40	408971b57635c3f70c4756fbec82838663210a8d
2023-09-08 17:03:53 +0000	Make explicit the requirement for at least one Service-endorsed RPC interface	Amaury Chamayou	1	+2	-0	b2600da70acbcd0c81446c4d5872b24f9bd2d7c2
2023-09-08 17:23:18 +0100	Add comment about contains_new_view (#5640)	Amaury Chamayou	1	+2	-0	7ae7f7acc16ba870a1f8a52070bef7f5a3c0b021
2023-09-08 16:06:13 +0100	Restore use of `-lvi-cfg` variants of OE libs (#5635)	Eddy Ashton	1	+5	-0	a62f7bfeee6f262f1eaf8f295b7eb8c51bd63425
2023-09-08 08:29:18 +0200	matchIndex lower bound for nextIndex (#5630)	Markus Alexander Kuppe	2	+3	-2	98206da08da3f060b3c39189375bbc78077dc5b9
2023-09-07 23:50:03 +0200	Add two high-level liveness properties and a suitable fairness constraints. (#5633)	Markus Alexander Kuppe	1	+24	-1	a5e5b0a2341593b51565fbd5112a8495936b4a45
2023-09-07 18:45:45 +0100	Remove redirection usage APIs expected to be used through a load balancer (#5619)	Amaury Chamayou	5	+131	-83	15e37de4e6a8bcdfb7a4a659c56526f6293de3d1
2023-09-07 11:13:40 +0200	Syntactic change to show sender and receive in action labels of TLC counterexamples. (#5631)	Markus Alexander Kuppe	3	+64	-47	d37ecd6ca02c8037a0fc6ebc8c14ccafc47a62cd
2023-09-06 19:28:57 +0200	matchIndex lower bound for nextIndex (#5614)	Markus Alexander Kuppe	4	+12	-3	4a7c951168a8adecd51138ea979396783ec0cc9d
2023-09-06 13:49:37 +0100	Add default `443` port to `verify_quote.sh` (#5628)	Julien Maffre	1	+6	-0	51a10895fe1e82b81038a8e7d02a4f2c224c866b
2023-09-06 09:59:43 +0100	Update SGX PSW from 2.18 to 2.20 (#5616)	Amaury Chamayou	13	+24	-18	bef07d8cbf7d04e8fe38feffc84b087fe9e9e070
2023-09-05 19:36:31 +0100	Implement `rb::Map::remove` (#5599)	Andrew Jeffery	4	+423	-42	fb4194fac72a18c419a656d98aaf9bdd7a9532b8
2023-09-05 18:26:01 +0100	SEV-SNP: Make UVM endorsements SVN an arbitrary string (#5620)	Julien Maffre	9	+14	-16	c49ca859c6588335121cfc35a5218f0115e5fe82
2023-09-05 16:27:25 +0100	Improve documentation for SNP deployments (#5602)	Julien Maffre	11	+159	-28	2fbf87840b9e8334c141f4a9c9b25aae979b0540
2023-09-05 15:29:56 +0100	Adding note to TLA+ spec on message ordering assumptions (#5613)	Heidi Howard	1	+2	-0	ff4402c98169ea69efa61d5e838d51ca6295b06d
2023-09-05 13:19:29 +0100	Update away from deprecated polars function names (#5618)	Amaury Chamayou	1	+4	-4	f6e0e344497e3c9d3d71a0766ecb14f3d104d72d
2023-09-05 11:13:14 +0100	Update `tls_report` golden file (#5617)	Eddy Ashton	1	+1	-1	4d4a1a2f4a9fd93bf22bd0c89183ef8af8c2c000
2023-09-05 10:30:46 +0200	Codespaces changed location of its Java installation. (#5615)	Markus Alexander Kuppe	1	+1	-1	0d3b9d610a9367785ad0956f0f620fa2d24c6da6
2023-09-04 15:10:54 +0100	Update CLI11 from `2.2.0` to `2.3.2` (#5606)	Julien Maffre	16	+4913	-7890	c89ca65ef80e13f93da5791c4d987827d57e17de
2023-09-04 13:39:07 +0100	Update `llhttp` from `6.0.9` to `9.0.1` (#5607)	Julien Maffre	7	+3084	-9069	25b6efc252da177492e4b9c8063ced70fe6c8989
2023-09-04 11:41:37 +0100	Update `fmt` library from `9.1.0` to `10.1.1` (#5605)	Julien Maffre	26	+3305	-3095	a9a979813eb965060665606ab6e43ec8b94ab7d6
2023-09-04 10:43:11 +0100	Fix backport pipeline (#5610)	Julien Maffre	1	+2	-2	b6cfbe1d68263e8bcfc16b624de376eaa7b551f4
2023-09-01 14:34:30 +0100	Update `QCBOR` from `1.1` to `1.2` (#5608)	Julien Maffre	21	+1878	-773	3143b306298955705427f513f2c510ad58179a2c
...	3474 more commits remaining, fetch the repository	...	...	...	...	...