From daf9d766c6d7d0b0e1ddb6b99e63d7719381235a Mon Sep 17 00:00:00 2001 From: Vincent Hamp Date: Mon, 18 Sep 2023 11:45:33 +0200 Subject: [PATCH] Add ZIMO-Elektronik to "Built with CPM.cmake" (#490) --- README.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 9950a8ce..dc2d7b80 100644 --- a/README.md +++ b/README.md @@ -332,7 +332,14 @@ If you know others, feel free to add them here through a PR.

AALTITOAD - verifier and simulator for Tick Tock Automata

- + + +

+ ZIMO-Elektronik +

+

ZIMO-Elektronik

+
+