modifications v1.1.1

tamarin-prover · Aug 2, 2024 · cb13e29 · cb13e29
1 parent 93bc433
commit cb13e29
Show file tree

Hide file tree

Showing 12 changed files with 2,852 additions and 3,832 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,10 @@
 # Change Log
 
+## V1.1.1
+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