Brown 40e88095d8 Fix #4093 - prevent redundant condition in presence of positive-int		2020-08-31 10:02:23 -04:00
..
Atomic	Add some backwards-incompatible changes for 4.x	2020-08-30 11:44:14 -04:00
Algebra.php	Simplify simplification	2020-08-26 16:51:55 -04:00
Atomic.php	Support mixed type natively	2020-08-30 13:38:03 -04:00
NodeVisitor.php	Align paramter names	2020-08-09 23:19:59 -04:00
Reconciler.php	Add some backwards-incompatible changes for 4.x	2020-08-30 11:44:14 -04:00
TaintKind.php	Simplify sink mapping for internal calls	2020-05-25 13:10:06 -04:00
TaintKindGroup.php	Simplify sink mapping for internal calls	2020-05-25 13:10:06 -04:00
TypeNode.php	Allow types to be traversed	2020-03-14 23:54:51 -04:00
Union.php	Fix #4093 - prevent redundant condition in presence of positive-int	2020-08-31 10:02:23 -04:00