3104e4d | Alceste Scalas | 04 July 2022, 16:43:22 UTC | Update README.md | 04 July 2022, 16:43:22 UTC |
1732fd9 | Adam Barwell | 07 February 2022, 17:22:31 UTC | Fix safety property. | 07 February 2022, 17:22:31 UTC |
34d4a2e | Adam Barwell | 28 January 2022, 17:32:14 UTC | Updated the liveness+ property to support crash handling. | 28 January 2022, 17:32:14 UTC |
3ce9b89 | Alceste Scalas | 24 January 2022, 16:44:27 UTC | Fix safety rule | 24 January 2022, 16:44:27 UTC |
87286fd | Alceste Scalas | 14 January 2022, 16:32:11 UTC | Add example: DNS with crash and failover server | 14 January 2022, 16:32:11 UTC |
f038492 | Alceste Scalas | 14 January 2022, 16:31:30 UTC | Various fixes + update (most) mCRL2 properties to handle crashes | 14 January 2022, 16:31:30 UTC |
7f9e7c8 | Alceste Scalas | 14 January 2022, 10:32:03 UTC | Restore POPL'19 example | 14 January 2022, 10:32:03 UTC |
37572b6 | Alceste Scalas | 13 January 2022, 18:39:03 UTC | Update labels + generate crash branches in mCRL2 specs | 13 January 2022, 18:39:03 UTC |
82e79ac | Alceste Scalas | 12 January 2022, 17:06:32 UTC | Initial plumbing to support reliable/unreliable typing ctx entries | 12 January 2022, 17:06:32 UTC |
578d9ca | Alceste Scalas | 11 January 2022, 18:24:17 UTC | Fix typo in liveness++ property | 11 January 2022, 18:24:17 UTC |
a2febbe | Alceste Scalas | 11 January 2022, 18:23:45 UTC | Bump to recent versions of Java 11+, Scala 2.12.x, mCRL2 | 11 January 2022, 18:23:45 UTC |
5a056cc | Alceste Scalas | 16 January 2019, 14:06:24 UTC | README.md: typo | 16 January 2019, 14:06:24 UTC |
7a3eb4a | Alceste Scalas | 16 January 2019, 14:04:21 UTC | Add README.md | 16 January 2019, 14:04:21 UTC |
b05ce29 | Alceste Scalas | 15 January 2019, 15:17:58 UTC | Typo in docs | 15 January 2019, 15:17:58 UTC |
18609f9 | Alceste Scalas | 15 January 2019, 15:14:25 UTC | Typo | 15 January 2019, 15:14:25 UTC |
94d7606 | Alceste Scalas | 15 January 2019, 15:12:42 UTC | Update docs | 15 January 2019, 15:12:42 UTC |
cfdfa13 | Alceste Scalas | 11 November 2018, 15:21:13 UTC | Docs: link to POPL'19 preprint | 11 November 2018, 15:21:13 UTC |
f8f24c3 | Alceste Scalas | 19 October 2018, 16:51:28 UTC | Docs: simplify CSS | 19 October 2018, 16:51:28 UTC |
d7cb56c | Alceste Scalas | 19 October 2018, 16:40:39 UTC | Docs: typo: swap roles p and q | 19 October 2018, 16:40:39 UTC |
03c6999 | Alceste Scalas | 16 October 2018, 16:13:14 UTC | Docs: mention Parser.scala | 16 October 2018, 16:13:14 UTC |
d3cb745 | Alceste Scalas | 16 October 2018, 10:46:37 UTC | Docs: describe the new examples | 16 October 2018, 10:46:37 UTC |
9d6b2ed | Alceste Scalas | 16 October 2018, 10:46:20 UTC | Projector: fix format of error message | 16 October 2018, 10:46:20 UTC |
a643c6a | Alceste Scalas | 16 October 2018, 10:26:35 UTC | More examples from session types literature | 16 October 2018, 10:26:35 UTC |
c4872cc | Alceste Scalas | 15 October 2018, 16:11:15 UTC | Documentation: minor typo | 15 October 2018, 16:11:15 UTC |
404f36a | Alceste Scalas | 15 October 2018, 15:59:09 UTC | Documentation: fix CSS padding | 15 October 2018, 15:59:09 UTC |
5fb97db | Alceste Scalas | 15 October 2018, 15:26:51 UTC | Documentation: adjust CSS margins & padding | 15 October 2018, 15:26:51 UTC |
0434918 | Alceste Scalas | 15 October 2018, 14:28:08 UTC | Add+uniform license headers in all files + minors | 15 October 2018, 14:28:08 UTC |
fe8d1a4 | Alceste Scalas | 15 October 2018, 14:27:53 UTC | Add license | 15 October 2018, 14:27:53 UTC |
0aba5c0 | Alceste Scalas | 15 October 2018, 12:58:34 UTC | Initial checkin | 15 October 2018, 12:58:34 UTC |