Logo
Explore Help
Sign In
NoBey/openzeppelin-contracts
1
0
Fork 0
You've already forked openzeppelin-contracts
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
2,619 Commits 61 Branches 143 Tags
bc9bbc2431d2bfbbd617d2c1e43618da2f7240d0
Commit Graph

11 Commits

Author SHA1 Message Date
Aleksander Kryukov
bc9bbc2431 FirstWizardHarness 2021-11-12 16:42:21 +02:00
Michael M
8ed7f965bb added ghost and counter implementation for castWithReason and castBySig 2021-11-12 16:42:21 +02:00
Aleksander Kryukov
2761ec0b66 MoreRulesToTheGodOfRules 2021-11-12 16:42:20 +02:00
Michael M
d5c6520e4d idea for sum of votes 2021-11-12 16:42:20 +02:00
Aleksander Kryukov
77efd53f0c checkingInvariantsWithoutGhosts 2021-11-12 16:42:19 +02:00
Michael M
788d4672d7 slight script changes and ghost fix 2021-11-12 16:42:18 +02:00
Aleksander Kryukov
1c35a7dad0 multiple inheritance is tricky x2 2021-11-12 16:42:18 +02:00
Shelly Grossman
2d33674870 multiple inheritance is tricky 2021-11-12 16:42:18 +02:00
Aleksander Kryukov
e810379262 sanity rule preparations 2021-11-12 16:42:18 +02:00
Shelly Grossman
ea6baf2220 rule drafts 2021-11-12 16:42:17 +02:00
Shelly Grossman
9a194f24b8 start work on governor 2021-11-12 16:42:17 +02:00
Powered by Gitea Version: 1.24.0 Page: 647ms Template: 52ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API