Walther Neuper <neuper@ist.tugraz.at> [Tue, 11 Feb 2014 09:02:33 +0100] rev 55389
Variant (e): Make abstract algorithms executable
concerns mails Re: Allgemeinen Fragen zum Szenario Feb.3-11.
Walther Neuper <neuper@ist.tugraz.at> [Tue, 11 Feb 2014 07:04:08 +0100] rev 55388
cleanup
Walther Neuper <neuper@ist.tugraz.at> [Mon, 10 Feb 2014 11:14:37 +0100] rev 55387
tuned
overlooked renaming in favour of analogies
Walther Neuper <neuper@ist.tugraz.at> [Mon, 10 Feb 2014 11:07:35 +0100] rev 55386
merged
Walther Neuper <neuper@ist.tugraz.at> [Mon, 10 Feb 2014 10:49:25 +0100] rev 55385
Poly: handling of representations II
a muddled changeset in favour of next fetch from Andreas
Andreas Lochbihler [Mon, 10 Feb 2014 08:31:10 +0100] rev 55384
clarify possibilities of data refinement in the code generator
Walther Neuper <neuper@ist.tugraz.at> [Tue, 04 Feb 2014 12:43:13 +0100] rev 55383
Poly: handling of representations I
forgot "Poly:", see previous c4a1da97c628
Walther Neuper <neuper@ist.tugraz.at> [Tue, 04 Feb 2014 12:41:14 +0100] rev 55382
handling of representations I
show by examples driven by dummy conversion functions
Walther Neuper <neuper@ist.tugraz.at> [Mon, 03 Feb 2014 16:04:26 +0100] rev 55381
checked ad 967c8a1eb6b1 for mets
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Sun, 02 Feb 2014 03:09:40 +0100] rev 55380
ad 967c8a1eb6b1 (7): remove all code concerned with 'mets = Unsynchronized.ref'