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
Just fixed a bug in eliminate_common - one of many graph transformation subroutines that are deadly hard to debug. To discover issues with such utils we can add self-consistency checks. The simplest one is to evaluate graph before and after transformation and test if some invariants hold. The price for it is a prolonged derivative compilation and so should only be done if a debug option/global var is set.
The text was updated successfully, but these errors were encountered:
Just fixed a bug in
eliminate_common
- one of many graph transformation subroutines that are deadly hard to debug. To discover issues with such utils we can add self-consistency checks. The simplest one is to evaluate graph before and after transformation and test if some invariants hold. The price for it is a prolonged derivative compilation and so should only be done if adebug
option/global var is set.The text was updated successfully, but these errors were encountered: