| .. |
|
symbolic
|
Majorly optimized refs for overwrite, fixed some of the messy parts.
|
2020-09-08 09:07:22 +02:00 |
|
bblock_extension_pass.cpp
|
Do not purge simplifier state.
|
2020-08-26 09:52:27 +02:00 |
|
bblock_extension_pass.hpp
|
Implemented optimizer::execution_order.
|
2020-08-23 05:44:11 +02:00 |
|
branch_correction_pass.cpp
|
Do not purge simplifier state.
|
2020-08-26 09:52:27 +02:00 |
|
branch_correction_pass.hpp
|
Implemented optimizer::execution_order.
|
2020-08-23 05:44:11 +02:00 |
|
dead_code_elimination_pass.cpp
|
Implementing parallel-df DCE.
|
2020-08-23 05:44:25 +02:00 |
|
dead_code_elimination_pass.hpp
|
Implementing parallel-df DCE.
|
2020-08-23 05:44:25 +02:00 |
|
fast_dead_code_elimination_pass.cpp
|
Do not purge simplifier state.
|
2020-08-26 09:52:27 +02:00 |
|
fast_dead_code_elimination_pass.hpp
|
Implemented optimizer::execution_order.
|
2020-08-23 05:44:11 +02:00 |
|
fast_propagation_pass.cpp
|
Fixed everything else to work with the changes.
|
2020-07-29 02:36:10 +02:00 |
|
fast_propagation_pass.hpp
|
Fixing license headers yet once again.
|
2020-07-09 02:43:51 +02:00 |
|
istack_ref_substitution_pass.cpp
|
Fixed everything else to work with the changes.
|
2020-07-29 02:36:10 +02:00 |
|
istack_ref_substitution_pass.hpp
|
Fixing license headers yet once again.
|
2020-07-09 02:43:51 +02:00 |
|
mov_propagation_pass.cpp
|
Fixed everything else to work with the changes.
|
2020-07-29 02:36:10 +02:00 |
|
mov_propagation_pass.hpp
|
Fixing license headers yet once again.
|
2020-07-09 02:43:51 +02:00 |
|
register_renaming_pass.cpp
|
Removing some redundancies.
|
2020-08-28 07:11:08 +02:00 |
|
register_renaming_pass.hpp
|
Implemented optimizer::execution_order.
|
2020-08-23 05:44:11 +02:00 |
|
stack_pinning_pass.cpp
|
Minor logic fixes.
|
2020-08-23 06:40:55 +02:00 |
|
stack_pinning_pass.hpp
|
Implemented optimizer::execution_order.
|
2020-08-23 05:44:11 +02:00 |
|
stack_propagation_pass.cpp
|
Removed vector allocating ::recurse, replacing with ::enum_paths.
|
2020-08-22 03:47:49 +02:00 |
|
stack_propagation_pass.hpp
|
Added CustomHashable concept overload for std::hash.
|
2020-07-29 06:47:21 +02:00 |
|
symbolic_rewrite_pass.cpp
|
Implemented symex auxiliaries for common patterns.
|
2020-09-08 05:31:04 +02:00 |
|
symbolic_rewrite_pass.hpp
|
Fixing license headers yet once again.
|
2020-07-09 02:43:51 +02:00 |
