Commits

History for

Commits on Mar 26, 2024

Use associated types for the exec Reconciler trait (#463)
marshtompsxd
authored
40c6fd8

Commits on Mar 22, 2024

Fix typo in the tla rule comments (#462)
marshtompsxd
authored
c2cfdf9

Commits on Mar 12, 2024

Bump Verus version (#461)
marshtompsxd
authored
4d12d81

Commits on Feb 26, 2024

Implement executable handler for Delete requests (#460)
marshtompsxd
authored
47d4dfe

Commits on Feb 23, 2024

Implement executable handlers for Update(Status) requests (#459)
marshtompsxd
authored
2108d87

Commits on Feb 2, 2024

Add conformance test framework (#458)
marshtompsxd
authored
a9da260

Commits on Jan 28, 2024

Add verified filter for Vec (#457)
marshtompsxd
authored
8406ed7
Implement and verify `valid_object` (#456)
marshtompsxd
authored
ceb229a

Commits on Jan 27, 2024

Commits on Jan 25, 2024

Delete ClusterRole and ClusterRoleBinding (#452)
marshtompsxd
authored
f774118

Commits on Jan 24, 2024

Implement the exec handler for get and creation (#451)
marshtompsxd
authored
bd290dd

Commits on Jan 23, 2024

Rename KubernetesAPI to APIServer (#450)
marshtompsxd
authored
aabd8fe

Commits on Jan 22, 2024

Rename kubernetes_api to api_server (#449)
marshtompsxd
authored
4aac471

Commits on Jan 21, 2024

Add data types for implementing executable model (#448)
marshtompsxd
authored
b196b8f

Commits on Jan 15, 2024

Implement list operation of the k8s model (#446)
marshtompsxd
authored
271f8d1

Commits on Dec 19, 2023

Counting scripts, unit tests and cargo updates from uiuc repo (#443)

marshtompsxd
and
ZichengMa
authored
79aafe7

Commits on Nov 29, 2023

Revert some format changes (#438)
marshtompsxd
authored
88998b4
Add service selector to fluentbit spec (#437)
euclidgame
authored
f077082

Commits on Nov 28, 2023

Commits on Nov 25, 2023

Bump rust_zookeeper version (#433)
marshtompsxd
authored
df7021d
Close ZK client after each use (#432)
marshtompsxd
authored
77b041d
Add more fields to fluentbit spec (#431)
euclidgame
authored
7f3799b

Commits on Nov 23, 2023

Add fields to fluentbit spec (#430)
euclidgame
authored
8e5d61f
Add fields to k8s api objects (#429)
euclidgame
authored
d411e57

Commits on Nov 22, 2023

Make the format of proofs and specs consistent (#427)
euclidgame
authored
08d3bb0

Commits on Nov 21, 2023

Set `termination_grace_period_seconds` for RabbitMQ controller (#426)
marshtompsxd
authored
18adbe1

Commits on Nov 19, 2023

Count unit tests (#422)

ZichengMa
and
euclidgame
authored
55f6e0d

Commits on Nov 18, 2023

Commits on Nov 17, 2023

Bump dependency versions (#419)
marshtompsxd
authored
7859362

Commits on Nov 16, 2023

Use well_formed() inside RabbitMQ's conformance proof (#420)
marshtompsxd
authored
4db22f1

Commits on Nov 15, 2023

Compact spec and proof code (#418)
marshtompsxd
authored
b3ead03