This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |
projects [2016/10/30 17:58] – sbs | projects [2016/10/30 18:55] (current) – sbs |
---|
<panel type="default" title="An Eclipse plug-in for SaC"> | <panel type="default" title="An Eclipse plug-in for SaC"> |
{{page>projects:eclipse&inline}} | {{page>projects:eclipse&inline}} |
| </panel> |
| |
| <panel type="default" title="MT CUDA Integration"> |
| {{page>projects:mtcuda&inline}} |
</panel> | </panel> |
| |
<panel type="default" title="Introducing Controlled Forms of Non-Determinism -- Side-Effects within With-Loops"> | <panel type="default" title="Introducing Controlled Forms of Non-Determinism -- Side-Effects within With-Loops"> |
{{page>projects:nondeterminism&inline}} | {{page>projects:nondeterminism&inline}} |
</panel> | |
| |
<panel type="default" title="MT CUDA Integration"> | |
{{page>projects:mtcuda&inline}} | |
</panel> | </panel> |
| |