29 Commits

Author	SHA1	Message	Date
Matthew Brown	7532e32b9d	Fixed spacing and use statement formatting	2017-05-19 00:48:26 -04:00
Matt Brown	14bb967c7d	Warn when doing === comparisons on incompatible types	2017-04-06 14:53:45 -04:00
Matthew Brown	dcedd65215	Add check for paradoxical statements	2017-04-02 15:26:10 -04:00
Matthew Brown	b1b7b0ae35	Only include vars asserted in where	2017-03-18 16:34:44 -04:00
Matthew Brown	c33e66813a	Move type algebra functionality to separate checker	2017-03-18 13:37:00 -04:00
Matthew Brown	9b41bc9b37	Add slower (but more accurate) loop checks	2017-03-14 20:14:25 -04:00
Matt Brown	3d2be3410e	Infer loop types without @var comments	2017-03-13 18:06:56 -04:00
Matthew Brown	cd5f727d2e	Collect explicit references to classes/methods	2017-02-26 23:09:18 -05:00
Matthew Brown	48335b6fee	Fix potential invalid arg	2017-02-22 00:42:50 -05:00
Matt Brown	a56456a719	Add merging of vars_possibly_in_scope back	2017-02-21 17:41:54 -05:00
Matt Brown	fa35c0efa9	Remove changed vars from clauses in while loop to prevent re-application of logic	2017-02-21 17:19:15 -05:00
Matt Brown	2c7ffb6f4c	Add support for negating some while assertions	2017-02-21 16:52:27 -05:00
Matthew Brown	7cd1b27ff1	Add more support for logical and/or	2017-02-16 21:00:45 -05:00
Matthew Brown	a4323359d3	Fix ternary/which/for conditionals	2017-02-12 18:47:02 -05:00
Matt Brown	32d85e20da	Remove unused vars	2017-02-10 19:10:13 -05:00
Matthew Brown	d3abc0011d	Fix #80 - add dead code checks via command line	2017-01-31 23:24:33 -05:00
Matthew Brown	7f8a3d798e	Improve clause resolution in while loops	2017-01-31 01:30:11 -05:00
Matthew Brown	17329015dc	Discriminate between checking, visiting and analyzing in method names	2017-01-07 15:09:47 -05:00
Matthew Brown	694da2cabd	Simplify a lot of APIs	2017-01-07 14:35:07 -05:00
Matthew Brown	7609ca02c0	Fix #32 by evaluating all class references in files lazily	2017-01-04 23:42:58 -05:00
Matthew Brown	ea30af8a5a	Move assertion checks into separate file	2016-12-28 15:52:44 -05:00
Matthew Brown	6972c45c14	Remove vars from parent clauses when they are reconciled with vars	2016-12-28 14:20:16 -05:00
Matthew Brown	1e8f986d8c	Narrow down error lines for reconcileKeyedTypes	2016-12-11 13:59:36 -05:00
Matthew Brown	a1acbfec07	Show code snippets when reporting errors ... This also introduces a new method of identifying specific code locations when creating issues	2016-12-03 19:11:30 -05:00
Matthew Brown	264e77addd	Change a few more words	2016-11-07 19:16:51 -05:00
Matthew Brown	36fc49965b	Correct speling	2016-11-07 17:31:02 -05:00
Matthew Brown	622a0794c3	Swap in Fully-Qualified for Absolute terms	2016-11-07 17:29:51 -05:00
Jon Ursenbach	27c2db1d1d	PSR-2	2016-11-02 17:50:54 -04:00
Matthew Brown	f3f1ba1caa	Break out block checkers	2016-10-22 17:35:59 -04:00