5 commits

Author	SHA1	Message	Date
Araq	ff1d68c50b	fixes #481	2013-06-13 15:19:55 +02:00
Araq	d4c91bbd85	improvements for 'not nil' checking	2013-06-13 01:40:11 +02:00
Araq	0097305953	bugfixes for the guarded data flow analysis	2013-06-12 00:41:02 +02:00
Araq	c156f2d493	next steps for guarded data flow analysis	2013-06-11 00:31:40 +02:00
Araq	3f35e2d39e	resolved conflict; added missing files	2013-06-09 23:33:32 +02:00