70b4e314f6
From the release notes: Added: * Ethereum: --txnocoverage cli argument to suppress coverage based analysis halting criteria * Ethereum: Support added for more Solidity features (imports, uint/int types, function types) Fixed: * Numerous Ethereum ABI fixes * Linux and x86/64 emulation fixes * Solver performance issue |
||
|---|---|---|
| .. | ||
| DESCR | ||
| distinfo | ||
| Makefile | ||
| PLIST | ||