Issue189

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title Refactor invariant synthesis
Priority feature Status resolved
Superseder Nosy List gabi, malte
Assigned To gabi Keywords
Optional summary 


















Created on 2011-01-05.19:24:11 by gabi, last changed  by malte.






 
Files

 

  File name
  Uploaded
  Type
  Edit
  Remove
 

 

  
   preprocessed-tasks-d-abs.html
  
  
   gabi,
   2011-01-10.20:18:25
  
  text/html
  
  
  
   
  
 






 
Messages

 
  

   msg1184 (view)
   Author: malte
   Date: 2011-01-16.19:15:25
   
    
   
  

  

   
    
Merged.

   		
  

 
 
  

   msg1137 (view)
   Author: malte
   Date: 2011-01-10.20:36:13
   
    
   
  

  

   
    
> I am not sure. Is there still a chance to get improvements to the invariant
> synthesis (issue187) into the IPC version?

Yes.

> In this case I would prefer to build on the re-factored code.

OK, then I'll merge once the improvements are ready. Or are they ready already?

   		
  

 
 
  

   msg1136 (view)
   Author: gabi
   Date: 2011-01-10.20:32:06
   
    
   
  

  

   
    
I am not sure. Is there still a chance to get improvements to the invariant
synthesis (issue187) into the IPC version? In this case I would prefer to build
on the re-factored code.

   		
  

 
 
  

   msg1134 (view)
   Author: malte
   Date: 2011-01-10.20:22:12
   
    
   
  

  

   
    
Thanks! My original suggestion was to merge this after the IPC.
Do you still agree on that? If yes, I'll review it in two weeks time.

   		
  

 
 
  

   msg1133 (view)
   Author: gabi
   Date: 2011-01-10.20:18:25
   
    
   
  

  

   
    
I added experiment results for the re-factored code. The performance is
qualitatively the same.

   		
  

 
 
  

   msg1052 (view)
   Author: gabi
   Date: 2011-01-05.19:24:11
   
    
   
  

  

   
    
The implementation of the invariant synthesis became pretty large and some parts
should be moved to their own file. In addition, there are a few small things
that can be re-factored when doing this.

   		
  

 





History


Date
User
Action
Args



2011-01-16 19:15:26maltesetstatus: reviewing -> resolved
messages:
  + msg1184


2011-01-10 20:36:14maltesetmessages:
  + msg1137


2011-01-10 20:32:06gabisetmessages:
  + msg1136


2011-01-10 20:31:47gabisetmessages:
  - msg1135


2011-01-10 20:30:58gabisetmessages:
  + msg1135


2011-01-10 20:22:13maltesetmessages:
  + msg1134


2011-01-10 20:20:21gabisetstatus: testing -> reviewing


2011-01-10 20:18:25gabisetfiles:
  + preprocessed-tasks-d-abs.html
messages:
  + msg1133


2011-01-10 13:46:27gabisetstatus: chatting -> testing


2011-01-05 19:24:11gabicreate