We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6f8ac1b commit 99aee62Copy full SHA for 99aee62
README.md
@@ -8,9 +8,6 @@ The repository is the artifact for the paper "Verified Programs Can Party: Optim
8
* Step2: Follow the instructions in the directory `experiment_docs/instructions/` to run experiments E1 to E5.
9
* Step3: Check the results with the expected results in the directory `experiment_docs/expected_result`.
10
11
-# Paper
12
-* (TODO): Link
13
-
14
# Demo Video
15
https://user-images.githubusercontent.com/20109646/150867835-eaa54bc6-4566-47dc-b523-4e44ba550492.mp4
16
0 commit comments