Changes between Version 136 and Version 137 of GSoC/2015

Timestamp:

06/05/15 22:13:21 (9 years ago)

Author:

Saurabh Gadia

Comment:

--

GSoC/2015

@@ -96 +96 @@
 * May 26: Tasks accomplished last week: 1. Finalizing the design for "nested mutex" problem. 2. Creating formal documentation for the proposed solution. 3. modelling the test cases 4. Setting up the configuration environment. - Task for this week: 1. evaluate which test case is failing in testsuite(sptest) 2. Code the solution for sparc platform. 3. Validate whether the algorithm solves the problem. 4 Then move on to formal validation process as time permits. 5. Documentation on rtems wiki.  
 
-* June 2: Accomplishments: Proposed solution with ppt which can be found in wiki section. working on the revised changes made to thread priority related code by sebastian. Next Task: Fix the master branch for compiling strict_order mutex configuration. Discuss the scope of JPF relating to this project. Setting up the JPF environment as means for validating the design and proposed solution.
+* June 2: [''Accomplishments'']: Proposed solution with ppt which can be found in wiki section. working on the revised changes made to thread priority related code by sebastian. [''Next Task'']: Fix the master branch for compiling strict_order mutex configuration. Discuss the scope of JPF relating to this project. Setting up the JPF environment as means for validating the design and proposed solution.
 
 == Rohini Kulkarni ==