<div dir="ltr">Here's another one: the definition of except-0 on p21 mentions "Prop"; shouldn't that be something involving "P"?</div><br><div class="gmail_quote"><div dir="ltr">Em sex, 2 de dez de 2016 às 14:44, Arthur Azevedo de Amorim <<a href="mailto:aarthur@seas.upenn.edu">aarthur@seas.upenn.edu</a>> escreveu:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg"><div class="gmail_quote gmail_msg"><div dir="ltr" class="gmail_msg">Em sex, 2 de dez de 2016 às 14:27, Derek Dreyer <<a href="mailto:dreyer@mpi-sws.org" class="gmail_msg" target="_blank">dreyer@mpi-sws.org</a>> escreveu:<br class="gmail_msg"></div><blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It's the best place there is.<br class="gmail_msg"></blockquote><div class="gmail_msg"><br class="gmail_msg"></div></div></div><div dir="ltr" class="gmail_msg"><div class="gmail_quote gmail_msg"><div class="gmail_msg">Great! Here's a couple of things that I've noticed:</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">p26.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">- "Furthermore, we assume that instances named \gamma_State, ... we will later discuss how  this assumption is discharged." I don't think this is being discussed elsewhere.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">p27.</div><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">- "There are no rules related to invariants here. Those rules will be discussed later, in §8.2." This sentence appears at the end of 8.2, but there's nothing about invariants in there.</div></div></div><div dir="ltr" class="gmail_msg"><div class="gmail_quote gmail_msg"><div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg">Arthur</div></div></div><div dir="ltr" class="gmail_msg"><div class="gmail_quote gmail_msg"><div class="gmail_msg"> </div><blockquote class="gmail_quote gmail_msg" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br class="gmail_msg">
Derek<br class="gmail_msg">
<br class="gmail_msg">
<br class="gmail_msg">
On Fri, Dec 2, 2016 at 8:19 PM, Arthur Azevedo de Amorim<br class="gmail_msg">
<<a href="mailto:aarthur@seas.upenn.edu" class="gmail_msg" target="_blank">aarthur@seas.upenn.edu</a>> wrote:<br class="gmail_msg">
> Greetings everyone,<br class="gmail_msg">
><br class="gmail_msg">
> What is the best channel to report inconsistencies on the Iris<br class="gmail_msg">
> documentation? Is this mailing list a good place?<br class="gmail_msg">
><br class="gmail_msg">
> Cheers,<br class="gmail_msg">
><br class="gmail_msg">
> Arthur<br class="gmail_msg">
><br class="gmail_msg">
> --<br class="gmail_msg">
> <a href="mailto:iris-club@lists.mpi-sws.org" class="gmail_msg" target="_blank">iris-club@lists.mpi-sws.org</a> - Mailing List for the Iris Logic<br class="gmail_msg">
> Management: <a href="https://lists.mpi-sws.org/listinfo/iris-club" rel="noreferrer" class="gmail_msg" target="_blank">https://lists.mpi-sws.org/listinfo/iris-club</a><br class="gmail_msg">
> Unsubscribe: <a href="mailto:iris-club-unsubscribe@lists.mpi-sws.org" class="gmail_msg" target="_blank">iris-club-unsubscribe@lists.mpi-sws.org</a><br class="gmail_msg">
><br class="gmail_msg">
<br class="gmail_msg">
--<br class="gmail_msg">
<a href="mailto:iris-club@lists.mpi-sws.org" class="gmail_msg" target="_blank">iris-club@lists.mpi-sws.org</a> - Mailing List for the Iris Logic<br class="gmail_msg">
Management: <a href="https://lists.mpi-sws.org/listinfo/iris-club" rel="noreferrer" class="gmail_msg" target="_blank">https://lists.mpi-sws.org/listinfo/iris-club</a><br class="gmail_msg">
Unsubscribe: <a href="mailto:iris-club-unsubscribe@lists.mpi-sws.org" class="gmail_msg" target="_blank">iris-club-unsubscribe@lists.mpi-sws.org</a><br class="gmail_msg">
</blockquote></div></div></blockquote></div>