From 76b2e873040e4ecc152deb92d88f162c10ce7c52 Mon Sep 17 00:00:00 2001 From: Chirantan <100031002+Chiru-013@users.noreply.github.com> Date: Thu, 4 May 2023 11:49:51 +0530 Subject: [PATCH] created README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..848a191 --- /dev/null +++ b/README.md @@ -0,0 +1,2 @@ +# MTL_Monitor +A runtime verification processer based on MTL logic