Matthew Brown 6d057669fc

Fix #6683 by improving simplification of CNF (#7631)

2022-02-10 19:37:42 -05:00

..

ArrayKeyExistsTest.php

Support type annotations for class consts (fixes #942).

2022-01-22 17:06:53 -06:00

AssignmentInConditionalTest.php

fix: Tests / minor bug

2022-01-22 00:00:45 +00:00

ConditionalTest.php

Remove mic-drop hack from if analysis (#7484)

2022-01-28 18:30:47 -05:00

EmptyTest.php

Use objects, not strings, for assertions (#7410)

2022-01-20 17:33:06 -05:00

InArrayTest.php

Make error message for truthy/falsy more accurate

2022-02-10 18:46:22 -05:00

IssetTest.php

…

ReconcilerTest.php

refactor description of types in Atomic

2022-01-22 19:34:57 +01:00

RedundantConditionTest.php

Remove mic-drop hack from if analysis (#7484)

2022-01-28 18:30:47 -05:00

ScopeTest.php

…

TypeAlgebraTest.php

Fix #6683 by improving simplification of CNF (#7631)

2022-02-10 19:37:42 -05:00

TypeTest.php

Simplify context references

2022-01-24 16:35:42 -05:00

ValueTest.php

Try to provide literal int types when possible (fixes #6966) (#7071)

2022-01-16 21:33:04 +01:00