This is stars and forks stats for /EVM-SMT/solver repository. As of 26 Apr, 2024 this repository has 67 stars and 2 forks.
solver This is a shared project from a few groups working on tooling for verification of ethereum smart contracts. The aim is to build out a new SMT solver focused on efficient solving for the kind of queries commonly encountered when modelling smart contracts in smt. Essentially this means we want to optimize for non linear arithmetic over 256 bit bitvectors. We additionally aim to support uninterpreted functions and arrays. Support for other theories is not currently planned. We believe that starting...
solver This is a shared project from a few groups working on tooling for verification of ethereum smart contracts. The aim is to build out a new SMT solver focused on efficient solving for the kind of queries commonly encountered when modelling smart contracts in smt. Essentially this means we want to optimize for non linear arithmetic over 256 bit bitvectors. We additionally aim to support uninterpreted functions and arrays. Support for other theories is not currently planned. We believe that starting...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
nix-community/emacs-overlay | Nix | 419 | 0 | 155 | 0 |
fufexan/dotfiles | NixShellLua | 410 | +6 | 29 | 0 |
mapbox/mapbox-events-ios | Objective-CObjective-C++C++ | 21 | 0 | 43 | 0 |
yourkarma/JWT | Objective-CSwiftRuby | 348 | 0 | 107 | 0 |
IndrajeetPatil/ggstatsplot | RTeXShell | 1.8k | 0 | 178 | 0 |
begood0513/goodnews | PythonRoffShell | 13 | 0 | 8 | 0 |
singularity-data/risingwave | RustJavaPython | 5.2k | 0 | 428 | 0 |
Zaplib/zaplib | RustTypeScriptHTML | 1.2k | 0 | 37 | 0 |
neovide/neovide | RustHandlebarsLua | 10.8k | +14 | 440 | +4 |
radixdlt/radixdlt-scrypto | RustWebAssemblyShell | 377 | 0 | 102 | 0 |