amutake/actario

Issues

• Coq8.5 and Ssreflect1.6

  #16 opened 8 years ago by amutake
  0

• Example using fairness

  #15 opened 9 years ago by amutake
  0

• Move to psg-titech

  #13 opened 9 years ago by amutake
  0

• Unreliable semantics

  #12 opened 9 years ago by amutake
  0

• Supervisor

  #11 opened 9 years ago by amutake
  0

• Fairness

  #8 opened 9 years ago by amutake
  1

• more information in transition label (trans_type)

  #9 opened 9 years ago by amutake
  1

• transition path

  #7 opened 9 years ago by amutake
  1

• ssreflect based

  #6 opened 9 years ago by amutake
  4

• Remove global message queue

  #2 opened 9 years ago by amutake
  2

• Change `actor` definition to Record

  #5 opened 9 years ago by amutake
  0

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

  #4 opened 10 years ago by amutake
  0

• Do something about Japanese comments

  #3 opened 10 years ago by amutake
  0

• logo

  #1 opened 10 years ago by amutake
  1