Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / git-afsantos/haros-plugin-pbt-gen issues and pull requests

#7 - HPL revision 2

Pull Request - State: closed - Opened by git-afsantos almost 4 years ago

#6 - Include reason of failure in counterexample report

Issue - State: open - Opened by git-afsantos over 4 years ago
Labels: enhancement

#5 - Notes for fixes and enhancements

Issue - State: open - Opened by git-afsantos almost 5 years ago
Labels: documentation

#4 - Assumptions carrying over to event observer conditions

Issue - State: open - Opened by git-afsantos almost 5 years ago
Labels: bug

#3 - AssertionError in test script for custom activators

Issue - State: open - Opened by git-afsantos almost 5 years ago
Labels: bug

#2 - Terminator topics are completely excluded

Issue - State: open - Opened by git-afsantos almost 5 years ago
Labels: bug, enhancement

#1 - Assumptions with Requirement Trigger

Issue - State: open - Opened by git-afsantos almost 5 years ago - 1 comment
Labels: bug