120 commits

Author	SHA1	Message	Date
windy	37b436a584	x86 Test OK	2021-08-08 23:16:28 +08:00
windy	1004668b55	Add build docs for Visual Studio	2021-08-02 23:41:48 +08:00
Can Bölük	4f9abc25c0	Removing some redundancies.	2020-08-28 07:11:08 +02: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	a25ce864fe	Routine uses unordered_map now, other minor changes.	2020-08-24 04:38:15 +02:00
Can Bölük	18271c817e	Moving transform_parallel to utility.	2020-08-24 04:28:40 +02:00
Can Bölük	0b316c6cfd	Implemented basic std::fs support, reworked time/iterator helpers.	2020-08-24 04:00:44 +02:00
Can Bölük	3c3687636e	Fixing typo in the fix.	2020-08-23 10:49:49 +02:00
Can Bölük	222b6d4390	Fixing out-of-constraint access in is_used.	2020-08-23 10:31:41 +02:00
Can Bölük	0a1d015eba	Minimal pass re-ordering.	2020-08-23 06:54:36 +02:00
Can Bölük	6cbead72cc	Minor logic fixes.	2020-08-23 06:40:55 +02:00
Can Bölük	eb82631fd6	Implementing parallel-df DCE.	2020-08-23 05:44:25 +02:00
Can Bölük	0bbc82b8f8	Implemented optimizer::execution_order.	2020-08-23 05:44:11 +02:00
Can Bölük	c0e26276ab	Moved is_semantic_nop and remove_nops to auxiliaries.	2020-08-23 02:07:16 +02:00
Can Bölük	fac4c68236	Removed vector allocating ::recurse, replacing with ::enum_paths.	2020-08-22 03:47:49 +02:00
Can Bölük	086233747c	Revert a whoopsie.	2020-08-21 07:53:57 +02:00
Can Bölük	7d106c56e8	Making use of function_view.	2020-08-21 00:55:43 +02:00
Can Bölük	fe1b7fc7e1	Implemented auto-scope ref and exception-less stack cleanup.	2020-08-01 21:21:16 +02:00
Can Bölük	ff009c96a7	Worker threads preserve symcache per block.	2020-08-01 21:19:56 +02:00
Can Bölük	1ed9aa410d	Fixed a race condition caused by off by one restriction.	2020-07-29 20:33:29 +02:00
Can Bölük	ccd1969997	Added CustomHashable concept overload for std::hash.	2020-07-29 06:47:21 +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	6b647f8db6	Fixing minor redundancies.	2020-07-28 21:44:53 +02:00
Can Bölük	d82966849c	Fixed an issue where compiler would generate atomic<void>.	2020-07-28 21:42:06 +02:00
Can Bölük	14a55c4a2c	transform_parallel now accepts functors with any atomic type / void.	2020-07-27 23:19:09 +02:00
Can Bölük	091973723a	Removing redundant code.	2020-07-27 20:28:05 +02:00
Can Bölük	cc8ca77f7d	Minor configuration changes.	2020-07-27 07:27:23 +02:00
Can Bölük	0ac7649f15	Minor fixes, adjusted pool config.	2020-07-27 01:04:23 +02:00
Can Bölük	2938d31782	Fixed sym-rewrite not purging sym cache after destroying a basic block.	2020-07-25 15:29:04 +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	ace235b13c	symbolic_vm now uses symbolic::context.	2020-07-24 07:10:46 +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	d661711c8d	Fully switched to the new CTX[] and MEMORY[] syntax.	2020-07-17 10:18:20 +02:00
Can Bölük	bedf29168d	Minor deferred value changes.	2020-07-15 03:20:48 +02:00
Can Bölük	d6f6b5a8be	Fixing recursive pointer tracing with a hack for now.	2020-07-14 15:28:37 +02:00
Can Bölük	2a15400d94	Fixed a bug on SHR resizing, implemented lambda filters.	2020-07-14 07:23:33 +02:00
Can Bölük	af37f9d80f	Implemented an _alright_ stack propagation for now.	2020-07-13 01:03:47 +02:00
Can Bölük	bc6dc89429	Prefer slow stack propagation for now, will be reworked soon.	2020-07-13 00:52:03 +02:00
Can Bölük	02e2271822	Fixed a concurrency issue with stack_propagation.	2020-07-13 00:42:21 +02:00
Can Bölük	e8078d25d2	Improve resizing logic and pass ordering.	2020-07-13 00:06:04 +02:00
Can Bölük	d9a1d06087	Implement weak_ptr, 75% speedup in sym rewrite.	2020-07-12 22:00:58 +02:00
Can Bölük	715735b5ac	Further reference usage, added [[nodiscard]] attributes.	2020-07-12 15:34:30 +02:00
Can Bölük	00d5c2c6cb	Further pushing use of expression references.	2020-07-12 14:17:46 +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	caf1133aaf	Implement simple filtering to mov prop. to improve speed.	2020-07-11 17:31:02 +02:00
Can Bölük	3ae0571c96	Change map to unordered_map.	2020-07-11 17:21:18 +02:00
Can Bölük	6304c98989	Fixing minor stack prop issues.	2020-07-11 17:20:37 +02:00
Can Bölük	6bc8fe6f85	Apply symex rewrite once more after propagation, ignore dup in apply_each.	2020-07-11 13:07:00 +02:00