Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / amutake/actario issues and pull requests
#17 - Yoshihiro503/coq 8.8
Pull Request -
State: closed - Opened by yoshihiro503 over 6 years ago
- 1 comment
#16 - Coq8.5 and Ssreflect1.6
Issue -
State: open - Opened by amutake over 8 years ago
#15 - Example using fairness
Issue -
State: open - Opened by amutake almost 9 years ago
#14 - Action inductive
Pull Request -
State: closed - Opened by amutake almost 9 years ago
#13 - Move to psg-titech
Issue -
State: open - Opened by amutake over 9 years ago
#12 - Unreliable semantics
Issue -
State: open - Opened by amutake over 9 years ago
#11 - Supervisor
Issue -
State: open - Opened by amutake over 9 years ago
#10 - ssreflect and fairness
Pull Request -
State: closed - Opened by amutake over 9 years ago
#9 - more information in transition label (trans_type)
Issue -
State: closed - Opened by amutake over 9 years ago
- 1 comment
#8 - Fairness
Issue -
State: closed - Opened by amutake over 9 years ago
- 1 comment
#7 - transition path
Issue -
State: closed - Opened by amutake over 9 years ago
- 1 comment
#6 - ssreflect based
Issue -
State: closed - Opened by amutake over 9 years ago
- 4 comments
#5 - Change `actor` definition to Record
Issue -
State: closed - Opened by amutake over 9 years ago
#4 - Sub-configuration and message delivery from/to external actor
Issue -
State: open - Opened by amutake over 9 years ago
#3 - Do something about Japanese comments
Issue -
State: open - Opened by amutake over 9 years ago
#2 - Remove global message queue
Issue -
State: closed - Opened by amutake over 9 years ago
- 2 comments