Michael Chisholm 3086b7ab5b Fix pattern semantic equivalence bug: comparison expression ... DNF transform could trigger an error from the AST code which does the SCO type checks on comparison expression ANDs. The transform had been ignoring SCO types. Now, it will catch the exception and drop the AND from the pattern. Added a couple new unit tests for this.		2021-12-23 00:59:41 -05:00
..
__init__.py	Graph Equivalence (#449)	2020-10-16 11:35:26 -04:00
comparison.py	Fix pattern semantic equivalence bug: comparison expression	2021-12-23 00:59:41 -05:00
observation.py	Remove "canonical" from a couple more places in docstrings which	2021-02-14 19:25:59 -05:00
specials.py	Rename various symbols and change various comments to refer to	2021-02-11 19:33:57 -05:00