Recent changes to code-generationhttps://sourceforge.net/p/rodin-b-sharp/code-generation/2014-06-25T08:07:25.513000ZRecent changes to code-generation#2 Interface Machine Concept. (Providing Java Interfaces)2014-06-25T08:07:25.513000Z2014-06-25T08:07:25.513000ZAndy Edmundshttps://sourceforge.net/u/aedmunds/https://sourceforge.net38feac64a88209a212b61a5f8d960c4d58e59136<div class="markdown_content"><ul>
<li><strong>status</strong>: open --> closed</li>
</ul></div>#12 Use of Templates2014-06-25T08:06:30.528000Z2014-06-25T08:06:30.528000ZAndy Edmundshttps://sourceforge.net/u/aedmunds/https://sourceforge.net71f8551121efdc5b67f71b69740157f179208367<div class="markdown_content"><ul>
<li><strong>status</strong>: open --> closed</li>
</ul></div>#1 Flattening of the Tasking Machine2013-07-31T10:48:07.947000Z2013-07-31T10:48:07.947000ZAndy Edmundshttps://sourceforge.net/u/aedmunds/https://sourceforge.net1e3c4158ba03315d6efb73275fb6f696d33cc518<div class="markdown_content"><ul>
<li><strong>status</strong>: open --> closed</li>
</ul></div>#13 JML-Java Specification Generator.2013-06-21T08:45:27.461000Z2013-06-21T08:45:27.461000ZAndy Edmundshttps://sourceforge.net/u/aedmunds/https://sourceforge.netbea2601f80cb3cb84a5cc5892a29723db314fab7#13 JML-Java Specification Generator.2013-06-21T08:44:21.560000Z2013-06-21T08:44:21.560000ZAndy Edmundshttps://sourceforge.net/u/aedmunds/https://sourceforge.net744521a064845a792238c2205ca9f8c856266ac9#13 JML-Java Specification Generator.2013-06-21T08:29:38.218000Z2013-06-21T08:29:38.218000ZAndy Edmundshttps://sourceforge.net/u/aedmunds/https://sourceforge.net085418acb287914c01e0fe188d78de6fdc336731JML-Java Specification Generator.2013-06-21T08:23:43.078000Z2013-06-21T08:23:43.078000ZAndy Edmundshttps://sourceforge.net/u/aedmunds/https://sourceforge.nete21faff48a01ce64d1711a6da008f7fc37f543f8<div class="markdown_content"><p>Ticket 13 has been modified: JML-Java Specification Generator.<br />
Edited By: Andy Edmunds (aedmunds)</p></div>JML-Java Specification Generator.2013-06-21T08:23:43.078000Z2013-06-21T08:23:43.078000ZAndy Edmundshttps://sourceforge.net/u/aedmunds/https://sourceforge.net724de346bf00d31d99a481065cab0f9728775937<div class="markdown_content"><p>Ticket 13 has been modified: JML-Java Specification Generator.<br />
Edited By: Andy Edmunds (aedmunds)</p></div>JML-Java Specification Generator.2013-06-21T08:23:43.078000Z2013-06-21T08:23:43.078000ZAndy Edmundshttps://sourceforge.net/u/aedmunds/https://sourceforge.net2bd2ab116bc7fcf0ea9e187964c341163a53936e<div class="markdown_content"><p>JML-Java Specification Generator. </p>
<p>Useful for generating skeletons for hand-crafted code, which can be checked with the ESC/Java tool.</p></div>JML-Java Specification Generator.2013-06-21T08:23:43.078000Z2013-06-21T08:23:43.078000ZAndy Edmundshttps://sourceforge.net/u/aedmunds/https://sourceforge.net5adfbaa305fb2523233ffe1c0961f177c39c690d<div class="markdown_content"><p>Ticket 13 has been modified: JML-Java Specification Generator.<br />
Edited By: Andy Edmunds (aedmunds)</p></div>