Clean up

makerdao · Jun 1, 2024 · 42e61b7 · 42e61b7
1 parent 9eabafa
commit 42e61b7
Show file tree

Hide file tree

Showing 23 changed files with 12 additions and 654 deletions.
diff --git a/certora/LockstakeEngineMulticall.spec b/certora/LockstakeEngineMulticall.spec
@@ -11,18 +11,18 @@ methods {
     function mkr.balanceOf(address) external returns (uint256) envfree;
     function mkr.totalSupply() external returns (uint256) envfree;
     //
-    function _.init() external => DISPATCHER(true);
-    function _.lock(uint256) external => DISPATCHER(true);
-    function _.free(uint256) external => DISPATCHER(true);
-    function _.stake(address,uint256,uint16) external => DISPATCHER(true);
-    function _.withdraw(address,uint256) external => DISPATCHER(true);
-    function _.stake(uint256,uint16) external => DISPATCHER(true);
-    function _.withdraw(uint256) external => DISPATCHER(true);
-    function _.getReward(address,address) external => DISPATCHER(true);
-    function _.getReward() external => DISPATCHER(true);
-    function _.rewardsToken() external => DISPATCHER(true);
-    function _.balanceOf(address) external => DISPATCHER(true);
-    function _.transfer(address,uint256) external => DISPATCHER(true);
+    // function _.init() external => DISPATCHER(true);
+    // function _.lock(uint256) external => DISPATCHER(true);
+    // function _.free(uint256) external => DISPATCHER(true);
+    // function _.stake(address,uint256,uint16) external => DISPATCHER(true);
+    // function _.withdraw(address,uint256) external => DISPATCHER(true);
+    // function _.stake(uint256,uint16) external => DISPATCHER(true);
+    // function _.withdraw(uint256) external => DISPATCHER(true);
+    // function _.getReward(address,address) external => DISPATCHER(true);
+    // function _.getReward() external => DISPATCHER(true);
+    // function _.rewardsToken() external => DISPATCHER(true);
+    // function _.balanceOf(address) external => DISPATCHER(true);
+    // function _.transfer(address,uint256) external => DISPATCHER(true);
     // The Prover will attempt to dispatch to the following functions any unresolved
     // call, if the signature fits. Otherwise it will use the summary defined by the
     // `default` keyword.

diff --git a/certora/confs/clipper/example.conf b/certora/confs/clipper/example.conf
diff --git a/certora/confs/clipper/generic.conf b/certora/confs/clipper/generic.conf
diff --git a/certora/confs/engine/example.conf b/certora/confs/engine/example.conf
diff --git a/certora/confs/engine/generic.conf b/certora/confs/engine/generic.conf
diff --git a/certora/confs/engine/multicall_basic.conf b/certora/confs/engine/multicall_basic.conf
diff --git a/certora/confs/urn/example_dispatcher.conf b/certora/confs/urn/example_dispatcher.conf
diff --git a/certora/confs/urn/generic.conf b/certora/confs/urn/generic.conf
diff --git a/certora/harness/farms/Farm1.sol b/certora/harness/farms/Farm1.sol