[Iris-Club] Iris documentation

[Arthur Azevedo de Amorim]

Em sex, 2 de dez de 2016 às 14:27, Derek Dreyer <dreyer at mpi-sws.org>
escreveu:

> It's the best place there is.
>

Great! Here's a couple of things that I've noticed:

p26.

- "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.

p27.

- "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.

Arthur


>
> Derek
>
>
> On Fri, Dec 2, 2016 at 8:19 PM, Arthur Azevedo de Amorim
> <aarthur at seas.upenn.edu> wrote:
> > Greetings everyone,
> >
> > What is the best channel to report inconsistencies on the Iris
> > documentation? Is this mailing list a good place?
> >
> > Cheers,
> >
> > Arthur
> >
> > --
> > iris-club at lists.mpi-sws.org - Mailing List for the Iris Logic
> > Management: https://lists.mpi-sws.org/listinfo/iris-club
> > Unsubscribe: iris-club-unsubscribe at lists.mpi-sws.org
> >
>
> --
> iris-club at lists.mpi-sws.org - Mailing List for the Iris Logic
> Management: https://lists.mpi-sws.org/listinfo/iris-club
> Unsubscribe: iris-club-unsubscribe at lists.mpi-sws.org
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20161202/b648398c/attachment.html>