aboutsummaryrefslogtreecommitdiffstats
path: root/libevmasm/SimplificationRules.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Replace push_back with emplace_back where it makes senseMathias Baumann2018-12-111-1/+1
|
* Introduce namespace `langutil` in liblangutil directory.Christian Parpart2018-11-221-1/+1
| | | | | | | Also: - Use {}-style list initialisation for SourceLocation construction - Introduce new system includes - Changes the API of the Scanner to take source as value (with move) as opposed to as a reference
* Eliminate `byte`-typedef and use `uint8_t` in all their places instead.Christian Parpart2018-11-071-3/+3
| | | | | | | | | | | This change is made to (easily) be forward compatible with future C++ standards, in order to allow compiling the code with newer standards at some point in the future. * Removed the `using byte = uint8_t;` line from Common.h * Mechanically change all uses of `byte` to `uint8_t`. Tested with GCC 7.3 in C++11/14/17 modes :-)
* Split simplification rules into two functions.Daniel Kirchner2018-09-181-6/+15
|
* Code, Changelog, ReleaseChecklist: Fix typos.Cryptomental2018-07-111-1/+1
| | | | Refs: #4442
* Turn simplification rule tuple into struct.chriseth2018-02-071-6/+5
|
* Add flag to indicate whether it can be applied to expressions with side-effects.chriseth2018-02-071-5/+5
|
* Move out the rule list.chriseth2018-02-071-163/+3
|
* Add simplification rule for SDIV(0,X) and SDIV(X,0)Alex Beregszaszi2017-05-201-0/+2
|
* Cleanup simplification rulesAlex Beregszaszi2017-05-201-8/+15
|
* Fix match groups.chriseth2017-01-131-0/+1
|
* Fix debug output.chriseth2017-01-131-2/+8
|
* Optimise simplification rules (sort into bins).chriseth2017-01-131-0/+363