This is stars and forks stats for /crytic/properties repository. As of 01 May, 2024 this repository has 157 stars and 26 forks.
Table of contents Table of contents Properties Testing the properties with fuzzing ERC20 tests ERC721 Tests ERC4626 Tests ABDKMath64x64 tests Additional resources Helper functions Usage examples Logging Assertions Clamping HEVM cheat codes support Usage example Trophies How to contribute to this repo? Properties This repository contains 168 code properties for: ERC20 token: mintable, burnable, pausable and transferable invariants (25 properties). ERC721 token: mintable, burnable, and transferable...
Table of contents Table of contents Properties Testing the properties with fuzzing ERC20 tests ERC721 Tests ERC4626 Tests ABDKMath64x64 tests Additional resources Helper functions Usage examples Logging Assertions Clamping HEVM cheat codes support Usage example Trophies How to contribute to this repo? Properties This repository contains 168 code properties for: ERC20 token: mintable, burnable, pausable and transferable invariants (25 properties). ERC721 token: mintable, burnable, and transferable...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
senpro2023/senpro-github-action | CSSJavaScript | 0 | 0 | 104 | 0 |
mhatta/ja.mhatta.org.octpress | CSSJavaScriptRuby | 0 | 0 | 0 | 0 |
frankdugan3/phlegethon | ElixirCSSJavaScript | 29 | 0 | 5 | 0 |
woutdp/live_svelte | ElixirJavaScriptSvelte | 422 | +5 | 18 | 0 |
PacktPublishing/Learn-Three.js-Fourth-edition | G-codeJavaScriptGLSL | 110 | 0 | 44 | 0 |
Pets-Project/Pawsitively-Pampered | HandlebarsJavaScriptCSS | 1 | 0 | 1 | 0 |
ErickWendel/semana-javascript-expert07 | JavaScriptCSSHTML | 2.4k | 0 | 570 | 0 |
martinkadlec0/hc-tcg | TypeScriptSCSSHTML | 155 | 0 | 61 | 0 |
orenyomtov/openordex | JavaScriptCSSHTML | 182 | 0 | 88 | 0 |
nhn/tui.image-editor | JavaScriptStylusHTML | 6.3k | 0 | 1.2k | 0 |