Ben/use solang parser parse tree

.github/workflows/gambit.yml

@@ -33,7 +33,7 @@ jobs:
                 sudo mv solc /usr/bin/solc
               fi
       - name: Build and Test
-        run: make all_linux
+        run: SOLC=solc make all_linux
 
       - name: Rename gambit binary
         if: startsWith(github.event.ref, 'refs/tags/v') # only on new tag creation
@@ -71,7 +71,7 @@ jobs:
                 sudo mv solc-macos /usr/local/bin/solc
               fi
       - name: Build and Test
-        run: make all_macos
+        run:  SOLC=solc make all_macos
 
       - name: Darwin link as Universal
         run: lipo -create -output gambit-macos target/aarch64-apple-darwin/release/gambit target/x86_64-apple-darwin/release/gambit
@@ -130,4 +130,24 @@ jobs:
           else
             gh release upload $TAG gambit-linux-$TAG/gambit-linux-$TAG
             gh release upload $TAG gambit-macos-$TAG/gambit-macos-$TAG
-          fi
+          fi
+
+  check-docs:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+
+      - name: PIP install
+        run: pip install ansi
+
+      - name: Check that RTD Docs are Up To Date
+        run: python3 scripts/check_rtd_docs_up_to_date.py
+
+      - name: Check Exit Code
+        run: |
+          if [[ $? -ne 0 ]]; then
+            echo "Error: documentation is not synced"
+            exit 1
+          fi
+

.gitignore

@@ -18,3 +18,6 @@ Cargo.lock
 
 # vscode
 .vscode/
+
+# python
+**/__pycache__/

Cargo.toml

@@ -1,22 +1,26 @@
 [package]
 name = "gambit"
-version = "0.2.1"
+version = "1.0.0"
 edition = "2021"
 authors = [
     "Chandrakana Nandi <[email protected]>",
     "Samwise Parkinson <[email protected]>",
-    "Ben Kushigian <ben.kushigian@certora.com>",
+    "Ben Kushigian <bkushigian@gmail.com>",
 ]
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+solang = { git = "https://github.com/hyperledger/solang.git", rev = "70af554c42748009e414e6263dd4607fb380e5dc", default-features = false }
 ansi_term = "0.12"
 clap = { version = "4.0.29", features = ["derive"] }
 clap_complete = "4.0.6"
 csv = "1.2.1"
 env_logger = { version = "0.10.0", default-features = false }
 log = "0.4"
+num-bigint = "0.4"
+num-rational = "0.4"
+num-traits = "0.2"
 project-root = "0.2"
 rand_pcg = "0.3.0"
 rand = { version = "0.8.5", features = ["std"] }
@@ -26,6 +30,7 @@ scanner-rust = "2.0.16"
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
 similar = "2"
+solang-parser = { git = "https://github.com/hyperledger/solang.git", rev = "70af554c42748009e414e6263dd4607fb380e5dc" }
 strum = "0.24.1"
 strum_macros = "0.24.3"
 tempfile = "3"