13 commits

Author	SHA1	Message	Date
Can Bölük	ac83ce257b	Fixed buggy xor directive and simplifier prints.	2020-05-27 14:46:24 +02:00
Can Bölük	b9e0d0d19c	Implemented a much more aggressive string conversion during log.	2020-05-25 13:23:31 +02:00
Can Bölük	664d0c36f3	Added automatic comparison sign deduction and unsigned eq/neq.	2020-05-20 12:56:54 +02:00
Can Bölük	c1d785dda7	Added XOR joins, fixed depth problem related to Issue #8, removed setcc.	2020-05-15 16:43:57 +02:00
Can Bölük	40e9fe3ad8	Implemented limited top-level simplifier for joins. Fixes issue #8 and.. ... all infinite recursions.	2020-05-13 18:09:04 +02:00
Can Bölük	173adfd168	Paths are now compatible with UNIX and fixed MSVC extension usage w/ ... ... std::exception.	2020-05-02 23:14:15 +02:00
Can Bölük	a868350e6c	Enforced simplification, improved join directives, fixed certain.... ... resizing rules, renamed subtract, fixed verbose logic.	2020-05-02 02:09:22 +02:00
Can Bölük	f7e9180672	Implemented configurables.	2020-04-28 07:00:38 +02:00
Can Bölük	ceba0ad25a	Fixed a major bug related to commutative property and SUB directives.	2020-04-26 14:51:17 +02:00
Can Bölük	563ba78671	All hash-related routines now use vtil::hash	2020-04-26 01:16:43 +02:00
Can Bölük	857cb054d4	Changed the logic of expression::equals() and implemented is_identical()	2020-04-25 08:23:35 +02:00
Can Bölük	507c0e6f03	Implemented variant UIDs and scope-purging cache guard.	2020-04-25 06:50:46 +02:00
Can Bölük	3d5b1f3394	Fixed project setup.	2020-04-23 02:46:55 +02:00

Renamed from VTIL-SymEx/simplifier/expression_simplifier.cpp (Browse further)