Initial commit

2017-04-11 15:49:55 +02:00
commit 3d8f381bae
106 changed files with 4407 additions and 0 deletions
@@ -0,0 +1,8 @@
+
+name=AtomicActivity2
+entries=2
+entry.0=atomic2.code
+entry.1=atomic2sim.code
+entryname.1=atomic2sim
+entrytype.1=pthreads
+entrymetadata.1={{\"sim-mode\", \"1\"}}