Re: [Gems-users] OPAL+SMT

[Luke Yen <lyen@xxxxxxxxxxx>]

Hi Daniel,

   The next version of GEMS (coming out within the next couple of months) 
will update Opal to have SMT support.
  Luke

On Fri, 21 Sep 2007, Daniel Sánchez Pedreño wrote:

> Dear list,
>
> searching in the mailing list i've found a question (
> https://lists.cs.wisc.edu/archive/gems-users/2005-June/msg00092.shtml)
> related to SMT implementation for OPAL. Any news about this? Do exist a SMT
> implementation for GEMS?
>
> Thank you.
> --
> http://sanatox.es