Re: How to use cached result of domM?

[Mayur Naik]

I don't think so.  The reason why a domain cannot be cached is that each element in a domain can be an arbitrary object (e.g. Quad for domain P, jq_Method for domain M, etc.) that would have to be serialized/de-serialized to/from disk.  There was an old version of Chord where this was supported but it no longer is.  I regret not keeping that version; my thinking at that time was that we will never need complicated domains that cannot be easily re-constructed.  But it turns out that some analyses do need such domains (e.g., domain C in our context-sensitive pointer analyses).

-- Mayur

On Sun, May 5, 2013 at 6:50 PM, <orf...@gmail.com> wrote:

Hi All,

I know that there is a flag to reuse cached relations generated from previous runs.

Is there any way to use cached domain information as well?

Thanks!

--
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.