Leonardo 32ca1a5e26 Merge pull request #8311 from ethereum/smt_split_2 ... [SMTChecker] Change CHC encoding from explicit CFG to function forests		2020-03-03 13:16:14 +01:00
..
analysis	Allow access to `_slot` for local storage pointer variables.	2020-02-25 14:28:04 +01:00
ast	Don't use identifiers starting with an underscore followed by an uppercase letter	2020-02-17 12:44:39 -05:00
codegen	Allow access to `_slot` for local storage pointer variables.	2020-02-25 14:28:04 +01:00
formal	Merge pull request #8311 from ethereum/smt_split_2	2020-03-03 13:16:14 +01:00
interface	Merge pull request #8378 from mijovic/yulSourceLocations	2020-02-25 22:34:57 +01:00
parsing	Replaced ParserBase::position() and ParserBase::endPosition() with ParserBase::currentLocation().	2020-02-06 03:34:49 +01:00
CMakeLists.txt	Use IRVariable's in IR code generation and implement tuples.	2020-02-12 12:36:14 +01:00