Add CI that executes all specs (#5)

* Full formal specifications for the entire library

Co-authored-by: Andrei Stefanescu <[email protected]>

* Added Sui-Prover CI (#1)

* feat: added test ci

* Update  git actions

* Update prover.yml

* light report

* .

* .

* Update prover.yml

* Update prover.yml

* .

* .

* Update README.md

---------

Co-authored-by: Andrei Stefanescu <[email protected]>
Co-authored-by: andrii-a8c <[email protected]>

Author: 3 people

.github/workflows/prover.yml

@@ -0,0 +1,44 @@
+name: Sui-Prover Test Action
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  build-and-run:
+    runs-on: macos-latest
+    env: 
+      BRANCH_NAME: ${{ github.head_ref || github.ref_name }}
+
+    concurrency:
+      group: ${{ github.head_ref || github.ref_name }}
+      cancel-in-progress: true
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Cache Homebrew
+        uses: actions/cache@v4
+        with:
+          path: |
+            ~/Library/Caches/Homebrew
+            /usr/local/Homebrew
+            /opt/homebrew
+          key: brew-macos-dotnet8-z3-rust
+
+      - name: Install prover by formula
+        run: brew install asymptotic-code/sui-prover/sui-prover
+
+      - name: Run Tests
+        run: |
+          cd specs
+          sui-prover
+          cd ..
+          cd specs-bv
+          sui-prover --no-bv-int-encoding
+          echo "All tests passed!"