7 Commits

Author	SHA1	Message	Date
Araq	2de99653d0	Promises are now refs	2014-06-05 08:46:29 +02: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