Substitute now takes a std::function to customize more replacing behaviors. Co-authored-by: Siyuan Feng <hzfengsy@sjtu.edu.cn> Co-authored-by: Siyuan Feng <hzfengsy@sjtu.edu.cn>
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
analyzer.cc | Loading commit data... | |
bound_deducer.cc | Loading commit data... | |
canonical_simplify.cc | Loading commit data... | |
compute_expr.h | Loading commit data... | |
const_fold.h | Loading commit data... | |
const_int_bound.cc | Loading commit data... | |
detect_linear_equation.cc | Loading commit data... | |
domain_touched.cc | Loading commit data... | |
int_constraints.cc | Loading commit data... | |
int_operator.h | Loading commit data... | |
int_set.cc | Loading commit data... | |
interval_set.h | Loading commit data... | |
ir_mutator_with_analyzer.cc | Loading commit data... | |
ir_mutator_with_analyzer.h | Loading commit data... | |
ir_visitor_with_analyzer.h | Loading commit data... | |
modular_set.cc | Loading commit data... | |
pattern_match.h | Loading commit data... | |
rewrite_simplify.cc | Loading commit data... | |
rewrite_simplify.h | Loading commit data... | |
solve_linear_equation.cc | Loading commit data... | |
util.cc | Loading commit data... |