Commit a99732a

committed

Fix incorrect data in the benchmark report

1 parent 112136d commit a99732aCopy full SHA for a99732a

2 files changed

+54

-201

lines changed

.gitmodules
etc/docs/benchmark
- benchmarking_report01.md

2 files changed

+54

-201

lines changed

`‎.gitmodules`

-1

-Original file line number
+Diff line change
 [submodule "dataset/imm"]
 	path = dataset/imm
 	url = https://github.com/weakmemory/imm.git
 -	branch = coq819
 	ignore = dirty

Comments

(0)