Changes between Version 162 and Version 163 of GSoC/2015


Ignore:
Timestamp:
Jun 23, 2015, 3:14:44 PM (4 years ago)
Author:
Saurabh Gadia
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GSoC/2015

    v162 v163  
    110110* June 16: 1. Complete the JPF coding for discussed lock-model which emulates RTEMS behavior. 2. Complete the unfinished task of confusion regarding the spsem02 test case. Get code reviewed by Cyrille for JPF and then discuss further required improvements or test scenarios.
    111111
     112* June 23: 1.Test the code for corrected model. 2. Implement the review changes suggested by guides. 3. Try adding properties to JPF. 4. Prepare the mid-term evaluation materials.
     113
    112114== Rohini Kulkarni ==
    113115