29 Commits

Author	SHA1	Message	Date
Araq	ee99771afa	fixes #2359	2015-03-16 23:24:33 +01:00
Araq	ea5217c9fc	disjoint checker is somewhat smarter	2015-03-16 23:02:18 +01:00
Araq	5a21892da0	fixes #2287	2015-03-12 01:45:14 +01:00
Araq	a4b2762249	fixes #325	2015-01-28 19:31:36 +01:00
Guillaume Gelin	3119fe087d	Happy new year!	2015-01-06 15:26:33 +01:00
Araq	7916b1f9aa	implemented 'guard' annotation	2014-09-21 18:39:00 +02:00
Araq	2781fea9e2	Nimrod renamed to Nim	2014-08-28 09:38:14 +02:00
Araq	b1c8461a3b	fixes tinavlid_array_bounds test	2014-08-10 13:46:42 +02:00
Simon Hafner	be534279da	Merge pull request #1279 from Varriount/fix-1216 ... Fix issue #1216	2014-06-18 18:47:45 -05:00
Clay Sweetser	ec23f5ec0a	Fix issue #1216	2014-06-15 20:13:44 -04:00
Araq	9953e0bbca	tdisjoint_slice2 works	2014-05-31 01:16:16 +02:00
Araq	6470bd8f87	'parallel' proves array bounds	2014-05-29 13:27:45 +02:00
Araq	417b9f5a1d	'parallel' statement almost working	2014-05-22 08:41:50 +02:00
Araq	31b8fd66b1	'parallel' statement: next steps	2014-05-14 23:36:28 +02:00
Araq	c43e8df90c	progress for the 'parallel' statement	2014-05-14 01:51:44 +02:00
Araq	6195dbe491	initial non-compiling version of 'parallel'	2014-05-12 11:12:37 +02:00
Zahary Karadjov	45a345e93d	fix #866; generic static params	2014-03-09 23:38:17 +02:00
Araq	2b9311e9f1	fixes #584	2014-02-14 23:47:06 +01:00
Araq	73c6efdf66	'nil' as a statement is deprecated, use an empty 'discard' instead	2014-01-19 16:54:59 +01:00
Araq	438703f59e	case consistency: next steps	2013-12-29 01:13:51 +01:00
Araq	92b8fac94a	case consistency part 4	2013-12-27 23:10:36 +01:00
Araq	84534ce4b8	Merge branch 'master' of github.com:Araq/Nimrod	2013-07-20 20:18:21 +02:00
Araq	bfbdb1f028	refactorings for the eval engine; bugfix: clean templates as accessors	2013-07-19 22:22:20 +02:00
Grzegorz Adam Hankiewicz	172945de31	Avoids usefulFact recursion with nil parameter. Fixes #518.	2013-07-09 23:31:13 +02:00
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