12 Commits

Author	SHA1	Message	Date
Daniel Kirchner	b7abd9bba4	Deterministically choose memory slots for variables independently of names that may depend on AST IDs.	2023-06-12 17:28:01 +02:00
Daniel Kirchner	7fe03cbab0	Implement cxx20 polyfill and replace InvertibleMap entirely.	2021-01-12 21:40:40 +01:00
Sachin Grover	b7adb2aa42	Add SPDX license identifier if not present already in source file ... Fixes: #9220	2020-07-17 20:24:12 +05:30
Daniel Kirchner	99d831d7d1	Extract recursive function detection from Semantics into the CallGraph.	2020-07-15 20:30:52 +02:00
Christian Parpart	345f9928ab	Library libdevcore renamed to libsolutil.	2020-01-07 15:51:50 +01:00
Christian Parpart	6b23412fae	C++ namespace cleanup (except tests).	2020-01-07 15:51:50 +01:00
chriseth	42d9a8e962	Merge remote-tracking branch 'origin/develop' into develop_060	2019-12-04 17:01:44 +01:00
chriseth	bbeb093abf	Detect loops in call graph generator.	2019-12-03 21:38:20 +01:00
Christian Parpart	f15d47f165	Yul: Remove obsoleted FunctionalInstruction.	2019-11-11 16:04:39 +01:00
Christian Parpart	df729b3084	Make use of C++17 std::optional<> instead of boost::optional<>.	2019-10-28 11:39:30 +01:00
chriseth	a2a06d0318	Side effects propagator.	2019-08-15 16:30:05 +02:00
mingchuan	53af4e082e	Callgraph generator.	2019-08-13 12:49:32 +02:00