From e63b038d921de7770a790e3cb7d549c5256e1b7d Mon Sep 17 00:00:00 2001 From: S E R A Y A Date: Tue, 28 Nov 2023 12:34:17 +0100 Subject: [PATCH] update kmir m4 eval --- evaluations/rv-kmir_4_takahser.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/evaluations/rv-kmir_4_takahser.md b/evaluations/rv-kmir_4_takahser.md index d676cca7a..bc1c0468c 100644 --- a/evaluations/rv-kmir_4_takahser.md +++ b/evaluations/rv-kmir_4_takahser.md @@ -22,7 +22,7 @@ ## Documentation Feedback -- [ ] install instructions for the prerequsites are missing (python, pip, poetry) +- [x] install instructions for the prerequsites ~~are missing~~ have been [added](https://github.com/runtimeverification/mir-semantics/issues/271) (python, pip, poetry) ## Docker Feedback