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


Ignore:
Timestamp:
Jul 13, 2015, 3:26:12 PM (4 years ago)
Author:
Saurabh Gadia
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GSoC/2015/NestedMutex

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