Lines Matching refs:this

31 this is not absolutely guaranteed.
34 in this release.  A compatible model will likely be made available in
37 If you absolutely need to run the model in this particular release,
86 The remainder of this section uses the SB+fencembonceonces.litmus test
110 this litmus test's "exists" clause can not be satisfied.
113 tool itself, but please be aware that this documentation is intended for
149 that during two million trials, the state specified in this litmus
153 for more information.  And again, please be aware that this documentation
172 	More formally, this file (1) lists the subtypes of the various
180 	More formally, this file specifies what executions are forbidden
203 	More formally, this file defines a performance-enhanced scheme