Search results

Coq8.5 and Ssreflect1.6

Status: Open.

#16 In amutake/actario;

· amutake opened on Jun 17, 2016

Example using fairness

Status: Open.

#15 In amutake/actario;

· amutake opened on Feb 8, 2016

Move to psg-titech

Status: Open.

#13 In amutake/actario;

· amutake opened on Aug 19, 2015

Unreliable semantics

Status: Open.

#12 In amutake/actario;

· amutake opened on Aug 19, 2015

Supervisor

Status: Open.

#11 In amutake/actario;

· amutake opened on Aug 19, 2015

Sub-configuration and message delivery from/to external actor

Status: Open.

#4 In amutake/actario;

· amutake opened on Mar 5, 2015

Do something about Japanese comments

Status: Open.

#3 In amutake/actario;

· amutake opened on Mar 5, 2015