chriseth 3f613a44ec Merge pull request #5557 from ethereum/fixInterfaceImplementedByPublicStateVariable ... Public state variables are implementing external functions.		2018-12-03 10:46:44 +01:00
..
analysis	Merge pull request #5557 from ethereum/fixInterfaceImplementedByPublicStateVariable	2018-12-03 10:46:44 +01:00
ast	Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring	2018-11-30 23:45:31 +01:00
codegen	Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring	2018-11-30 23:45:31 +01:00
formal	[SMTChecker] Make smt::Sort::operator== virtual	2018-11-30 10:41:15 +01:00
interface	Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring	2018-11-30 23:45:31 +01:00
parsing	liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream source, eliminating sourceName	2018-11-30 17:07:12 +01:00
CMakeLists.txt	Add skeleton for contract level checker.	2018-11-30 16:30:19 +01:00