Re: [Gems-users] OPAL+SMT

["Daniel Sánchez Pedreño" <sanatox@xxxxxxxxx>]

Thanks. It's good news for me!!!

On 9/21/07, Luke Yen <lyen@xxxxxxxxxxx> wrote:

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
>
_______________________________________________
Gems-users mailing list
Gems-users@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/gems-users
Use Google to search the GEMS Users mailing list by adding "site:https://lists.cs.wisc.edu/archive/gems-users/" to your search.