Daniel Kirchner b10f12a395 Merge pull request #8413 from mijovic/depratateValueCalls ... Deprecated warning for .value() and .gas() on function and constructr…		2020-03-04 14:43:06 +01:00
..
analysis	Deprecated warning for .value() and .gas() on function and constructror calls	2020-03-04 12:51:49 +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	Rename variables and review suggestion.	2020-03-03 15:12:00 +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