Issue643

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title CEGAR: Fix domain abstraction
Priority urgent Status resolved
Superseder Nosy List florian, jendrik, malte, thomas
Assigned To jendrik Keywords
Optional summary 


















Created on 2016-04-04.13:49:38 by jendrik, last changed  by jendrik.








 
Messages

 
  

   msg5252 (view)
   Author: jendrik
   Date: 2016-04-21.13:13:56
   
    
   
  

  

   
    
Merged and pushed. Thanks for the review, Florian!

   		
  

 
 
  

   msg5218 (view)
   Author: florian
   Date: 2016-04-07.19:32:51
   
    
   
  

  

   
    
Looks good to me.

   		
  

 
 
  

   msg5211 (view)
   Author: jendrik
   Date: 2016-04-04.17:34:28
   
    
   
  

  

   
    
I have made a pull request at https://bitbucket.org/jendrikseipp/downward/pull-requests/46. 
Florian agreed to have a look.

I also ran an experiment. The results look good: 
http://ai.cs.unibas.ch/_tmp_files/seipp/issue643-v1-issue643-base-issue643-v1-compare.html

   		
  

 
 
  

   msg5210 (view)
   Author: jendrik
   Date: 2016-04-04.13:49:38
   
    
   
  

  

   
    
Thomas noticed a bug in the domain abstraction code. This issue is concerned with 
applying his fix to the main repo. Thanks, Thomas!

   		
  

 





History


Date
User
Action
Args



2016-04-21 13:13:56jendriksetstatus: reviewing -> resolved
messages:
  + msg5252


2016-04-07 19:32:51floriansetmessages:
  + msg5218


2016-04-04 17:34:28jendriksetstatus: in-progress -> reviewing
messages:
  + msg5211


2016-04-04 13:49:38jendrikcreate