Initial commit

makerdao · May 3, 2023 · 7f5950e · 7f5950e
commit 7f5950e
Show file tree

Hide file tree

Showing 7 changed files with 680 additions and 0 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1 @@
+*.sol linguist-language=Solidity
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1,11 @@
+/out
+.DS_Store
+cache/
+
+# certora
+.*certora*
+.last_confs/
+*.zip
+resource_errors.json
+.zip-output-url.txt
+certora_debug_log.txt
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "lib/dss-test"]
+	path = lib/dss-test
+	url = https://github.com/makerdao/dss-test.git
diff --git a/LICENSE b/LICENSE
diff --git a/Makefile b/Makefile
@@ -0,0 +1,3 @@
+all         :; forge build --use solc:0.8.16
+clean       :; forge clean
+test        :; forge test -vvv --use solc:0.8.16
diff --git a/README.md b/README.md
diff --git a/lib/dss-test b/lib/dss-test