Issues

• Coq8.5 and Ssreflect1.6

  amutake/actario#16 · Filter by author amutake opened on Jun 17, 2016

• Example using fairness

  amutake/actario#15 · Filter by author amutake opened on Feb 8, 2016

• Move to psg-titech

  amutake/actario#13 · Filter by author amutake opened on Aug 19, 2015

• Unreliable semantics

  amutake/actario#12 · Filter by author amutake opened on Aug 19, 2015

• Supervisor

  amutake/actario#11 · Filter by author amutake opened on Aug 19, 2015

• Sub-configuration and message delivery from/to external actor

  amutake/actario#4 · Filter by author amutake opened on Mar 5, 2015

• Do something about Japanese comments

  amutake/actario#3 · Filter by author amutake opened on Mar 5, 2015