wheerd / matchpy / 117

Builds Branch Commit Type Ran Committer Via Coverage
117 master Fixed failing tests, added more tests for constraints.py push wheerd travis-ci pending completion   set done
115 master Added some pruning to speed up matching in commutative operations. Also improved the bipartite matching iterator to generate less graphs. push wheerd travis-ci pending completion   set done
114 master Fixed performance issues with the BipartiteGraph and typing infos in cast(). push wheerd travis-ci pending completion   set done
113 master Cleaned up code (using YAPF) a bit. push wheerd travis-ci pending completion   set done
112 master Started refactoring automaton.py Made more tests not xfail. push wheerd travis-ci pending completion   set done
111 master Accidentally checked in debug code. push wheerd travis-ci pending completion   set done
110 master Added commutative matching support to the Automaton. Added a new CommutativeMatcher for that. Added a with_renamed_vars() method to expressions. Fixed some bugs in the existing CommutativeMatcher with symbol wildcards. push wheerd travis-ci pending completion   set done
109 master Cleaned up the syntactic.py code a bit. push wheerd travis-ci pending completion   set done
108 master Changed the Automaton to use namedtuples as data structures instead of classes. push wheerd travis-ci pending completion   set done
107 master Fixed some issues that happen because Multiset is no longer a Set. Made use of the unification methods of Substitution to properly handle mixed commutative and non-commutative variables. Now using Substitution everywhere in matching. push wheerd travis-ci pending completion   set done
106 master Added __all__ to all modules. Made __init__.py import all submodules. push wheerd travis-ci pending completion   set done
105 master Changed the data structure for the automaton a bit to be more efficient. Also, non-linear patterns in a many-to-one scenario should work better now. push wheerd travis-ci pending completion   set done
104 master Added basic implementation for the many-to-one matching automaton. Added with_renamed_vars() method to constraints. Fixed some FrozenOperation issues related to without_constraints(). Some tests are xfailing because the new automaton does not hand... push wheerd travis-ci pending completion   set done
103 master Updated the README.rst with some examples. Fixed operand count validation with Arity for sequence variables. push wheerd travis-ci pending completion   set done
102 master Improved __repr__ of Operation types. push wheerd travis-ci pending completion   set done