| commit | b8b18c90f4fe78ab09d5fdd2cf119bd74e13c18c | [log] [tgz] |
|---|---|---|
| author | Trevor Hansen <trev_abroad@yahoo.com> | Fri May 13 14:08:26 2022 |
| committer | Trevor Hansen <trev_abroad@yahoo.com> | Fri May 13 14:08:26 2022 |
| tree | 8d828a50789490effdc2b3eb2c300a2789b535f0 | |
| parent | 6072dc2fc758fb0df58ff914f9cf18af6baf6d34 [diff] |
check for unimplemented rules in propagate equalities.