Changes between Version 168 and Version 169 of GSoC/2015


Ignore:
Timestamp:
Jun 30, 2015, 5:03:18 AM (4 years ago)
Author:
Saurabh Gadia
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GSoC/2015

    v168 v169  
    114114* 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.
    115115
     116* June 29: 1. Creation and Testing of spsem03 test case suggested by Sebastian. 2. Modify the JPF to remove big lock 3. With big locks try to test under different combination of threads and locks using Verify() 4. Annotating JPF-Code
     117 
     118
    116119== Rohini Kulkarni ==
    117120