Fixing package-lock.json bug & updated docs (#65)

ArjunM98 · Apr 10, 2021 · 64c1c86 · 64c1c86
1 parent 0f685fa
commit 64c1c86
Show file tree

Hide file tree

Showing 3 changed files with 702 additions and 637 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,9 @@
 # move-smart-contracts
 Tool for the synthesis and verification of Move smart contracts
 
+For more information on the background and development of the following project please see [here](docs/ECE496-Final-Report.pdf)
+
+
 ## Install Dependencies
 
 Install the following: 

diff --git a/docs/ECE496-Final-Report.pdf b/docs/ECE496-Final-Report.pdf