Add references in README

kth-step · Jul 31, 2024 · 2b6c3ab · 2b6c3ab
1 parent 25bc08a
commit 2b6c3ab
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/examples/riscv/README.md b/examples/riscv/README.md
@@ -217,6 +217,8 @@ QED
 
 - built on a [general theory of symbolic execution](https://arxiv.org/abs/2304.08848) instantiated for BIR
 - **automatic** inside HOL4 if parameters have the right shape
+- a summarizing collection of performance evaluations for the benchmark programs can be found in [experiment_data.log](experiment_data.log)
+- at the end of an execution, a set of profiling measurements are printed into the respective HOL4 build log, e.g. `aes/.hollogs/aes_symb_execTheory`
 
 Example: