Gonzalo Balabasquer issues

Results 10 issues of


                                            Gonzalo Balabasquer

Add check for invalid target. Closes #24

Add Certora specs for Vat and Dai contracts

Copyright

Hey @rainbreak this repo has been forked and worked from yours. That one didn't have any license nor copyright which led the team to set the standard for this one....

No need to drip when a collateral was just onboarded

In `DssAction`, `DssExecLib.setIlkStabilityFee(co.ilk, co.ilkStabilityFee, true);` could be changed to `DssExecLib.setIlkStabilityFee(co.ilk, co.ilkStabilityFee, false);` as the collateral was just initialized.

Upgrade to solc 0.6.12 and several improvements

Standardize with regular osm and add void

Using hevm test harness

I know unit testing is complicated for this case, but I'd still prefer to keep it without any tests and add this hevm mainnet tests in some other place. If...

I would include a function to update the flip of an ilk

RemoveAuth

What is the main purpose of it? https://github.com/makerdao/ilk-registry/blob/a97c8e0805462358a1916f951f6ac303c813c519/src/IlkRegistry.sol#L150 I mean if admin can remove without actually accomplishing any check, then anone can add it back if still valid.