3984 Commits

Author	SHA1	Message	Date
orklah	012b65de78	try to improve behaviour	2021-09-23 21:24:16 +02:00
orklah	2b56d52760	rename vars for better diff	2021-09-23 21:24:16 +02:00
orklah	efde3f9180	change order for better diff	2021-09-23 21:24:16 +02:00
orklah	5ec9e6543d	try with everything except Variables	2021-09-23 21:24:16 +02:00
orklah	c6949760f8	activate arithmetic operations on properties too	2021-09-23 21:24:16 +02:00
orklah	a70e7032e9	activate arithmetic operations on method calls too	2021-09-23 21:24:16 +02:00
orklah	c4b47d3786	activate arithmetic operations on func calls	2021-09-23 21:24:16 +02:00
orklah	cc6ab8340b	improve type when min = max and add test	2021-09-23 21:24:16 +02:00
orklah	ba7f2a5b3b	allow range int to be positive	2021-09-23 21:24:16 +02:00
orklah	ea80373006	AssertionFinder refactor	2021-09-23 21:24:16 +02:00
orklah	a7fa63547e	add tests, improve count behaviour on keyed arrays using integer range	2021-09-23 21:24:16 +02:00
orklah	7bf9df4360	restore paradox checking	2021-09-23 21:24:16 +02:00
orklah	667eec2ac8	consider count === 0	2021-09-23 21:24:16 +02:00
orklah	9b60c86206	Merge pull request #6508 from thomasbley/master ... fixed Uncaught Error: Call to undefined function shell_exec()	2021-09-21 20:39:15 +02:00
Thomas Bley	6f958fe919	Merge branch 'master' of github.com:thomasbley/psalm	2021-09-20 16:55:58 +02:00
Thomas Bley	e60d9e5ec5	return 1 if shell_exec is not available for getCpuCount()	2021-09-20 16:55:16 +02:00
orklah	d32b1be5a3	Merge pull request #6498 from MorrisJobke/fix/catch-ComplicatedExpressionException-in-ArrayFilterReturnTypeProvider.php ... Catch ComplicatedExpressionException in ArrayFilterReturnTypeProvider	2021-09-20 16:53:48 +02:00
orklah	55fd9c6713	Merge pull request #6478 from whsv26/bugfix/trait-template-invalid-arg ... Fix invalid argument bug in generic trait context	2021-09-20 16:53:12 +02:00
orklah	994c927b6a	Merge pull request #6445 from TysonAndre/negate-in_array-v2 ... Fix false positive ParadoxicalCondition in negation of in_array	2021-09-20 16:49:15 +02:00
Thomas	ecb368ff2b	Merge branch 'vimeo:master' into master	2021-09-20 12:19:43 +02:00
Thomas Bley	449ef0d994	fixed Uncaught Error: Call to undefined function shell_exec()	2021-09-20 12:18:49 +02:00
orklah	90e1662964	Merge pull request #6241 from orklah/range5 ... Range arithmetics and assertions	2021-09-20 07:15:43 +02:00
orklah	0f17a2590c	fix Mod	2021-09-19 19:30:03 +02:00
orklah	25f78b5d54	refine Mod with positives everywhere	2021-09-19 19:30:03 +02:00
orklah	f87bd56105	fix Pow	2021-09-19 19:30:03 +02:00
orklah	5a2df475ca	changes after review	2021-09-19 19:30:03 +02:00
orklah	81e8bf3ff5	allow Literals to be combined with preexisting IntRange	2021-09-19 19:30:03 +02:00
orklah	086d3777eb	fix wrong assertion	2021-09-19 19:30:03 +02:00
orklah	3d7dc740c2	fix UnaryMinus	2021-09-19 19:30:03 +02:00
orklah	e75e390449	refactor big methods away	2021-09-19 19:30:03 +02:00
orklah	6b5e6eeecc	fix wrong type	2021-09-19 19:30:02 +02:00
orklah	a6630c49a2	fix mod calculation with ranges	2021-09-19 19:30:02 +02:00
orklah	c226285a4b	fix Mul and Pow operations	2021-09-19 19:30:02 +02:00
orklah	f789ab0655	add test and allow checking in already inferred types instead of just relying on statements from PHPParser for assertions	2021-09-19 19:30:02 +02:00
orklah	ae0586b0e6	fix shift inference	2021-09-19 19:30:02 +02:00
orklah	bae5b2cf96	remove type when assertion contradicts the current type	2021-09-19 19:30:02 +02:00
orklah	e0e34bec33	allow intersections and add test	2021-09-19 19:30:02 +02:00
orklah	c26f403e7e	fix an old bug with inverting positive int + allow inverting TIntRange	2021-09-19 19:30:02 +02:00
orklah	488c13b7c5	handle bit operations and add test	2021-09-19 19:30:02 +02:00
orklah	9994a91915	help Psalm understand the types	2021-09-19 19:30:02 +02:00
orklah	6f050359ce	refactor int vs int range arithmetic by converting everything to range and add tests	2021-09-19 19:30:02 +02:00
orklah	0227894176	fix code	2021-09-19 19:30:02 +02:00
orklah	d2f73d3adb	fix and test minus case	2021-09-19 19:30:01 +02:00
orklah	d919a53674	rename method too	2021-09-19 19:30:01 +02:00
orklah	9ab46ff3e0	rename class because it handles Div too now	2021-09-19 19:30:01 +02:00
orklah	2dd16f9e22	simplify code	2021-09-19 19:30:01 +02:00
orklah	def7d31566	fix positive-numeric assertion	2021-09-19 19:30:01 +02:00
orklah	6d059b9c8f	fix CS	2021-09-19 19:30:01 +02:00
orklah	b5b2677ee3	allow negating inferiorto/superiorto	2021-09-19 19:30:01 +02:00
orklah	b3a62c76dd	add tests and use getNewHighestBound at one place	2021-09-19 19:30:01 +02:00