14 Commits

Author	SHA1	Message	Date
Matt Brown	8b44459c7c	Fix overeager inference	2021-01-29 11:45:02 +01:00
Matt Brown	d4846b14e6	Reorganise things a little	2021-01-29 11:45:02 +01:00
Matt Brown	e440baf671	Improve algebra handling a little better	2021-01-29 11:44:33 +01:00
Matt Brown	a57d62b71b	Add logic to weed out unnecessary clauses	2021-01-29 11:44:30 +01:00
orklah	e3e5a55907	unused use statements (#4228)	2021-01-29 11:39:42 +01:00
orklah	db45ff1ba4	More return types (#4173) ... * add native return types * redundant phpdoc	2021-01-29 11:38:57 +01:00
Brown	6d43a6696c	Make clause fully immutable	2021-01-29 11:38:46 +01:00
Brown	e585955c96	Use immutable data structures for clause calculations	2021-01-29 11:38:45 +01:00
Matthew Brown	73321339a3	Bump nikic/php-parser	2020-08-09 16:23:43 -04:00
Matthew Brown	717d588683	Fix a test thing	2020-03-29 19:51:13 -04:00
Matthew Brown	1b88316c51	Convert method from recursive to inline	2020-03-29 19:42:22 -04:00
Matthew Brown	02fbf12337	Only warn about clauses in the currently-scanned conditional	2019-12-08 16:35:56 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Brown	28fbafa207	Break out tests for algebra	2019-07-15 16:08:38 -04:00