Reverse Dependencies of crytic-compile

The following projects have a declared dependency on crytic-compile:

• crytic-compile — Util to facilitate smart contracts compilation.
• echidna-parade — Meta-tool to test a contract with various configs, using Echidna processes
• manticore — Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
• optik-tools — Symbolic execution toolkit for Ethereum smart-contracts
• slither-analyzer — Slither is a Solidity and Vyper static analysis framework written in Python 3.
• tcheck — Abstract type inference for smart contracts