You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In CTPX::reduce(), we calculate the delta between the consequent and target value at the beginning of the function. This lets us create a binding_map of this delta value and match patterns against this. For this, we are currently still relying on simple minus calculation of Atom::Float() values. This should be updated to the same operator usage as in the find_guard_builder() function.
In
CTPX::reduce()
, we calculate the delta between the consequent and target value at the beginning of the function. This lets us create abinding_map
of this delta value and match patterns against this. For this, we are currently still relying on simple minus calculation ofAtom::Float()
values. This should be updated to the same operator usage as in thefind_guard_builder()
function.See
AERA/r_exec/pattern_extractor.cpp
Lines 975 to 987 in f774c52
The text was updated successfully, but these errors were encountered: