Issue905

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title CEGAR: use unique_ptr to store AbstractStates
Priority wish Status resolved
Superseder Nosy List jendrik, malte
Assigned To jendrik Keywords
Optional summary 


















Created on 2019-03-08.12:25:30 by jendrik, last changed  by jendrik.








 
Messages

 
  

   msg8659 (view)
   Author: jendrik
   Date: 2019-03-09.11:47:19
   
    
   
  

  

   
    
Thanks for having a look! I took care of your comment. The experiments didn't
uncover any negative effects
(https://ai.dmi.unibas.ch/_tmp_files/seipp/issue905-v1-issue905-base-issue905-v1-compare.html),
so I merged this.

   		
  

 
 
  

   msg8658 (view)
   Author: malte
   Date: 2019-03-09.01:25:36
   
    
   
  

  

   
    
I had a quick look. If the experiment turns out good, I think this is good to
merge. (I did leave one comment.)

   		
  

 
 
  

   msg8657 (view)
   Author: jendrik
   Date: 2019-03-08.22:20:09
   
    
   
  

  

   
    
I made a pull request at
https://bitbucket.org/jendrikseipp/downward/pull-requests/129 . An experiment is
running.

   		
  

 





History


Date
User
Action
Args



2019-03-09 11:47:19jendriksetstatus: reviewing -> resolved
messages:
  + msg8659


2019-03-09 01:25:36maltesetmessages:
  + msg8658


2019-03-08 22:20:10jendriksetstatus: unread -> reviewing
messages:
  + msg8657
summary: Waiting for issue903 -> 


2019-03-08 12:25:30jendrikcreate