This is stars and forks stats for /leonardoalt/yools repository. As of 25 Apr, 2024 this repository has 133 stars and 4 forks.
yools - tools for Yul Yools is [so far] an experimental symbolic execution engine for Yul. It translates Yul programs into sets of SMT constraints and queries an SMT solver to detect reachability of a certain program state. Currently the only user facing approach is to detect whether a program may revert or not. What's supported NOT THAT MUCH PLEASE BE PATIENT Yul's entire syntax is supported, but not all EVM builtin functions are. The SMT encoding follows the usual BMC-style unrolling of loops up...
yools - tools for Yul Yools is [so far] an experimental symbolic execution engine for Yul. It translates Yul programs into sets of SMT constraints and queries an SMT solver to detect reachability of a certain program state. Currently the only user facing approach is to detect whether a program may revert or not. What's supported NOT THAT MUCH PLEASE BE PATIENT Yul's entire syntax is supported, but not all EVM builtin functions are. The SMT encoding follows the usual BMC-style unrolling of loops up...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
whitenois3/mvrgda | Solidity | 36 | 0 | 0 | 0 |
jmshrv/finamp | DartOther | 1.1k | 0 | 73 | 0 |
arl/statsviz | Go | 3k | 0 | 109 | 0 |
tensorchord/envd | GoPythonShell | 1.8k | +2 | 144 | +1 |
41north/ethereum.nix | NixShell | 62 | 0 | 17 | 0 |
NobbZ/nixos-config | NixShell | 153 | 0 | 7 | 0 |
ManasHarsh/Cobra | ShellDockerfile | 184 | 0 | 43 | 0 |
kassio/neoterm | Vim ScriptShell | 1.3k | 0 | 118 | 0 |
MakeContributions/ideahub | VueJavaScriptHTML | 154 | 0 | 122 | +2 |
getsentry/sentry-dart | DartSwiftC++ | 674 | 0 | 209 | 0 |