Changes between Version 101 and Version 102 of GSoC/2015

Timestamp:

05/26/15 15:08:47 (9 years ago)

Author:

Saurabh Gadia

Comment:

--

GSoC/2015

@@ -85 +85 @@
 * May 19: 1. verify and freeze the proposed solution 2. Set up the essential environment. 3. Set up the blog having design docs. 4. Start working on suggested formal method of validation
 
+* 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.  
+
 == Rohini Kulkarni ==