On Mon, May 18, 2009 at 12:21 PM, Matthew Hammer wrote:
> I was wondering if anyone had any information about the working status
> of the SSA extension (i.e., the following module: src/ext/ssa.ml).
>
> Does it work? Are there any bugs/caveats and/or unsupported CIL features?
>
> The documentation
On Mon, May 18, 2009 at 12:21 PM, Matthew Hammer wrote:
> I was wondering if anyone had any information about the working status
> of the SSA extension (i.e., the following module: src/ext/ssa.ml).
>
> Does it work? Are there any bugs/caveats and/or unsupported CIL features?
>
> The documentation
Hello fellow CIL users,
I was wondering if anyone had any information about the working status
of the SSA extension (i.e., the following module: src/ext/ssa.ml).
Does it work? Are there any bugs/caveats and/or unsupported CIL features?
The documentation for this extension seems all but missing.
