Issue300

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

Title get rid of dependency of h^cea of DomainTransitionGraph
Priority wish Status resolved
Superseder Nosy List gabi, malte
Assigned To malte Keywords
Optional summary 


















Created on 2011-11-16.00:13:47 by malte, last changed  by malte.








 
Messages

 
  

   msg4811 (view)
   Author: malte
   Date: 2015-11-18.19:04:13
   
    
   
  

  

   
    
Yes, I think we don't need this one as a separate issue. I'm hence marking it as
resolved.

   		
  

 
 
  

   msg4810 (view)
   Author: gabi
   Date: 2015-11-18.18:58:27
   
    
   
  

  

   
    
What exactly is meant here? Get rid of dependency to global domain transition
graphs? This will be done as part of issue549.

   		
  

 
 
  

   msg1962 (view)
   Author: malte
   Date: 2011-11-16.00:13:46
   
    
   
  

  

   
    
The title says it all. This is part of the ongoing effort to reduce the need for
a separate preprocessing step. (As a first step for getting rid of DTGs in the
preprocessor output, we want to reduce the number of users of g_transition_graphs.)

   		
  

 





History


Date
User
Action
Args



2015-11-18 19:04:13maltesetstatus: chatting -> resolved
messages:
  + msg4811


2015-11-18 18:58:27gabisetnosy:
  + gabi
messages:
  + msg4810


2011-11-16 00:13:47maltecreate