<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">Em sex, 2 de dez de 2016 às 14:27, Derek Dreyer <<a href="mailto:dreyer@mpi-sws.org">dreyer@mpi-sws.org</a>> escreveu:<br></div><blockquote class="gmail_quote" 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><br></div><div>Great! Here's a couple of things that I've noticed:</div><div><br></div><div>p26.</div><div><br></div><div>- "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><br></div><div>p27.</div><div><br></div><div>- "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><br></div><div>Arthur</div><div> </div><blockquote class="gmail_quote" 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>