Changes between Version 16 and Version 17 of GSoC/2015/NestedMutex

Timestamp:

07/13/15 15:24:52 (9 years ago)

Author:

Saurabh Gadia

Comment:

--

GSoC/2015/NestedMutex

@@ -59 +59 @@
   * Project Blog [https://rejuvinatewithme.wordpress.com/ link]
   * RTEMS-JPF Model code repository [https://github.com/saurabhgadia4/lock-model link]
+  * Documentation/Annotation of RTEMS-JPF model [https://docs.google.com/document/d/1_okTNAewI6NO6EcR1oCv-BIIgdkaZa3qm9kByv0tLdI/edit?usp=sharing link]
   * Nested Mutex related test cases [https://github.com/RTEMS/rtems/blob/master/testsuites/sptests/spsem02/init.c Test Case]
   * JPF Related Resources:[[BR]]