Conditional Must-Not Aliasing

[Suvam Mukherjee]

Hi,

I am planning to experiment with, and use, the conditional must-not aliasing tool in my research. I checked the forum, and till 2011 I found that this had not been implemented in Chord.

Is the implementation available at present? It would be of tremendous use to me. 

Thanks.

Suvam.

[Mayur Naik]

Sorry, the conditional must-not aliasing implementation is not available.  I inadvertently lost it before making Chord open-source.

-- Mayur

--
You received this message because you are subscribed to the Google Groups "chord-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to chord-discus...@googlegroups.com.
To post to this group, send email to chord-...@googlegroups.com.
Visit this group at http://groups.google.com/group/chord-discuss.
For more options, visit https://groups.google.com/d/optout.

[Suvam Mukherjee]

Hi Mayur,

Thanks a lot for the reply. 

I'll try to implement the disjoint reachability analysis myself.

Sincerely,

Suvam.