14 commits

Author	SHA1	Message	Date
windy	57fda60379	Fix all warning in x86	2021-08-17 23:24:32 +08:00
windy	4c465af036	Fix x86 optimizers, demo-tests: ... ``` :: After: | | Entry point VIP: 0x1337 | | Stack pointer: -0x8 | | Already visited?: N | | ------------------------ | | 0000: [ PSEUDO ] -0x8 movd eax 0x1 | | 0001: [ PSEUDO ] -0x8 strd $sp -0x4 0x0 | | 0002: [ PSEUDO ] -0x8 strd $sp -0x8 0x1 | | 0003: [ PSEUDO ] -0x8 vpinrd eax | | 0004: [ PSEUDO ] -0x8 vexitq 0x0 ```	2021-08-16 02:54:00 +08:00
Can Bölük	9d7b5e4980	Implementing task_local to fix thread_local leaks.	2020-08-25 06:55:17 +02:00
Can Bölük	8a79ca03ba	Fixed everything else to work with the changes.	2020-07-29 02:36:10 +02:00
Can Bölük	34d857c1bf	Removing unnecessary (post self-sig change) cache purging.	2020-07-25 12:29:11 +02:00
Can Bölük	5b4767acf1	vtil::zip and vtil::numeric_range can now be constructed constexpr.	2020-07-24 08:28:48 +02:00
Can Bölük	22a6aca8a7	Fixing interfaces for the new deferred_value.	2020-07-24 07:01:47 +02:00
Can Bölük	7dd19292ff	Reworked VM interface.	2020-07-23 04:46:54 +02:00
Can Bölük	cb395a2b66	Symbolic VM now uses references, implemented special unique ptr for dirs	2020-07-12 08:00:52 +02:00
Can Bölük	c260945be4	Abstracted away access to simplifier cache, getting ready to rework it.	2020-07-10 23:35:58 +02:00
Can Bölük	392e02d973	Fixing license headers yet once again.	2020-07-09 02:43:51 +02:00
Can Bölük	614309aa11	Fixing license.	2020-07-06 21:41:04 +02:00
Can Bölük	41824db750	Purge symex cache after verification.	2020-07-02 13:11:16 +02:00
Can Bölük	4c040a78b6	Implemented unit test interface, created test1, added "optimizer-tests".	2020-07-02 12:38:44 +02:00