From f928351834ab0225f809460877ccf5c6180df885 Mon Sep 17 00:00:00 2001 From: Shilpi Goel Date: Wed, 14 Feb 2024 16:08:10 +0530 Subject: [PATCH] Add reference to license and contributing guidelines in the README --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index ce63140b..74078cf0 100644 --- a/README.md +++ b/README.md @@ -3,6 +3,10 @@ LNSym is a symbolic simulator for Armv8 machine-code programs. +Please see the [LICENSE](./LICENSE) file for LNSym's licensing and +[CONTRIBUTING.md](./CONTRIBUTING.md) for external contribution +guidelines. + ## Prerequisites 1. Install Z3, recommended version