Commits

Commits on Apr 29, 2024

Explicily show other profile options in AE doc (#479)
marshtompsxd
authored
8d27a89

Commits on Apr 24, 2024

Highlight key results in readme (#478)
marshtompsxd
authored
1801e39

Commits on Apr 23, 2024

Use the AE doc as the README (#477)
marshtompsxd
authored
53656b5
Fix typos in the AE doc (#476)
marshtompsxd
authored
dcc4fb1
Update AE doc after fixing the script (#475)
marshtompsxd
authored
d160d0a

Commits on Apr 21, 2024

Update perf evaluation instructions (#474)
marshtompsxd
authored
29b8f82

Commits on Apr 19, 2024

Add instructions for AE table 3 (#473)
tylergu
authored
63fba63

Commits on Apr 17, 2024

Leave to-do for reproducing performance results (#472)
marshtompsxd
authored
2878b0d

Commits on Apr 14, 2024

Update AE.md with instructions to reproduce Table 1 (#471)
marshtompsxd
authored
31ea95c

Commits on Apr 12, 2024

Add the document for AE (#470)
marshtompsxd
authored
6f1c62c
Print the LoC and time results as tables (#469)
marshtompsxd
authored
d3d80f9
Install Python3 in the AE image (#468)
marshtompsxd
authored
f09c88b

Commits on Apr 11, 2024

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 Jan 3, 2024

Update Verus version (#445)
marshtompsxd
authored
0053675

Commits on Dec 19, 2023

Bump Verus version (#444)
marshtompsxd
authored
b10e8d1