chriseth 6c44c5f0c9 Apply the optimize commandline parameter to assembly mode.		2018-11-30 23:39:05 +01:00
..
analysis	Move library related checks.	2018-11-30 16:30:20 +01:00
ast	Merge pull request #5538 from hydai/static_uint256	2018-11-29 11:17:33 +01:00
codegen	Fix bug related to state variables of function type accessed via base contract.	2018-11-29 19:30:27 +01:00
formal	[SMTChecker] Make smt::Sort::operator== virtual	2018-11-30 10:41:15 +01:00
interface	Apply the optimize commandline parameter to assembly mode.	2018-11-30 23:39:05 +01:00
parsing	Change scanner error diagnostics to be non-intrusive to the token API.	2018-11-24 12:40:51 +01:00
CMakeLists.txt	Add skeleton for contract level checker.	2018-11-30 16:30:19 +01:00