[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] TCG semantics
|
From: |
Stefan Hajnoczi |
|
Subject: |
Re: [Qemu-devel] TCG semantics |
|
Date: |
Fri, 3 Feb 2017 14:46:15 +0000 |
|
User-agent: |
Mutt/1.7.1 (2016-10-04) |
On Thu, Feb 02, 2017 at 12:09:02PM +0000, E.Robbins wrote:
> I having been looking for prior work on a formalised semantics for the TCG
> language. I have seen passing references, and wondered if anyone can provide
> any pointers?
>
> If this is the wrong list for this question, apologies, please direct me
> elsewhere.
This is the right list. Welcome!
Have you seen tcg/README? It describes the TCG ops.
If it's out of date or missing information, then improving the document
seems worthwhile.
signature.asc
Description: PGP signature