Bring repo up to date (#19)

* bring repo up to date

* add main run-kontrol.sh

* permissions

Author: anvacaru

.gitmodules

@@ -4,3 +4,12 @@
 [submodule "lib/kontrol-cheatcodes"]
 	path = lib/kontrol-cheatcodes
 	url = https://github.com/runtimeverification/kontrol-cheatcodes.git
+[submodule "oz_erc20/lib/forge-std"]
+	path = oz_erc20/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std
+[submodule "oz_erc20/lib/kontrol-cheatcodes"]
+	path = oz_erc20/lib/kontrol-cheatcodes
+	url = https://github.com/runtimeverification/kontrol-cheatcodes
+[submodule "oz_erc20/lib/openzeppelin-contracts"]
+	path = oz_erc20/lib/openzeppelin-contracts
+	url = https://github.com/OpenZeppelin/openzeppelin-contracts

lib/forge-std

@@ -0,0 +1,27 @@
+name: Tests
+on: [push, pull_request]
+
+jobs:
+  check:
+    name: Foundry project
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          submodules: recursive
+
+      - name: Install Foundry
+        uses: onbjerg/foundry-toolchain@v1
+        with:
+          version: nightly
+
+      - name: Install dependencies
+        run: forge install
+      - name: Run tests
+        run: forge test -vvv
+      - name: Build Test with older solc versions
+        run: |
+          forge build --contracts src/Test.sol --use solc:0.8.0
+          forge build --contracts src/Test.sol --use solc:0.7.6
+          forge build --contracts src/Test.sol --use solc:0.7.0
+          forge build --contracts src/Test.sol --use solc:0.6.0

lib/kontrol-cheatcodes

@@ -0,0 +1,4 @@
+cache/
+out/
+.vscode
+.idea