Search results

Consider if it makes sense to use FAA instead of a CAS-loop in the authoritative RA counter example.

Status: Open.

#12 In logsem/iris-lecture-notes;

· jihgfee opened on Nov 21, 2022

Lack of consistency between notations of equality/assignment

Status: Open.

#11 In logsem/iris-lecture-notes;

· jihgfee opened on Nov 17, 2022

Identify and fix discrepancies between different notation

Status: Open.

#10 In logsem/iris-lecture-notes;

· jihgfee opened on Nov 8, 2022

Modular Concurrent Counter Module: The RA of the ILN does not match the one in Coq

Status: Open.

#7 In logsem/iris-lecture-notes;

· jihgfee opened on Nov 1, 2022

The fancy view shift is defined with a regular implication => but used wands in the Iris technical documentation -*

Status: Open.

#5 In logsem/iris-lecture-notes;

· jihgfee opened on Oct 26, 2022

One of the bupd rules in Exercise 8.24 is not named, and not in the appendix

Status: Open.

#4 In logsem/iris-lecture-notes;

· jihgfee opened on Oct 26, 2022

<code>S is persistent</code> is not formally defined

Status: Open.

#2 In logsem/iris-lecture-notes;

· jihgfee opened on Oct 14, 2022

Improve the section on authoritative resource algebras

Status: Open.

#1 In logsem/iris-lecture-notes;

· jihgfee opened on Oct 14, 2022