Kimaya Bedarkar (c22fe68e) at 28 Mar 11:36
wrap value of errorno in a definition
Jonas Kastberg (d4b1567a) at 27 Mar 18:49
Added adequacy proof for ring leader election
Jonas Kastberg (3bbe98e4) at 27 Mar 18:47
Added adequacy proof for ring leader election
Jonas Kastberg (2177ce6f) at 27 Mar 18:06
Merge branch 'multiparty_synchronous_matrix' into 'multiparty_synch...
... and 2 more commits
Jonas Kastberg (528c968c) at 27 Mar 18:05
Removed redundant _pers specs, and added missing matrix file
Jonas Kastberg (5b3b1042) at 27 Mar 15:40
Simplified choice specs
Johannes Hostert (24c2a011) at 27 Mar 01:16
Refine notion of children: there are now immediate and non-immediat...
Jonas Kastberg (108f2153) at 26 Mar 17:27
Added definitions and rules for choice with dependent binders
... and 3 more commits
Ralf Jung (14c692e3) at 26 Mar 16:59
Automatic publication of dev.2024-03-26.0.119a9fa1 for coq-diaframe...
Ike Mulder (119a9fa1) at 26 Mar 15:51
Update dependencies
Ike Mulder (ae297eea) at 26 Mar 15:29
More linear logic tests, actually building the fast path constrs di...
I made a pass over the MR. There was one place where I did not understand where the 80 comes from. Otherwise the MR looks good to me.
Where does this 80
come from / what does it stand for? Please wrap it into a definition. (If it breaks the automation, you can also use a parsing only notation.)
Michael Sammler (b185660f) at 26 Mar 14:29
pass over MR