Merge pull request #5 from hugotvn/master

V1.1.4
tamarin-prover · Aug 21, 2024 · 2639bc5 · 2639bc5
2 parents b150d9a + 949cbad
commit 2639bc5
Show file tree

Hide file tree

Showing 14 changed files with 2,827 additions and 3,894 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Change Log
 
+## V1.1.4
+Small fixes about "fst", "snd", and "pair" functions.
+New logo.
+Comments in the code.
+
 ## V1.1.0
 New welformedness checks and fixes.
 

diff --git a/CONTRIBUTE.md b/CONTRIBUTE.md
@@ -0,0 +1,22 @@
+#  Contribute
+
+Contributions welcome !
+
+How to start using the git repository:
+
+- Run `npm install` in this folder. This installs all necessary npm modules in both the client and server folder.
+- Open VS Code on this folder.
+- Press Ctrl+Shift+B and select `tsc watch`to start testing your code.
+- Then in the test window open a Tamarin document (.spthy) to see if it works.
+
+## General architecture 
+
+This section is detailed in the `Contribute/readme_dev.md` file .
+
+## How to use tree-sitter with the extension
+
+This section is detailed in the `Contribute/README_TREE_SITTER.md` file .
+
+## How to publish a new release
+
+This section is detailed in the `Contribute/Readme_release.md` file .
diff --git a/images/icon.png b/images/icon.png