Ecosyste.ms: Issues

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

GitHub / GaloisInc/lustre-sally issues and pull requests

#16 - add links to HTML reports in XML, fixes #11

Pull Request - State: closed - Opened by Ptival over 4 years ago - 1 comment

#15 - add <K> tag to the XML output, fixes #10

Pull Request - State: closed - Opened by Ptival over 4 years ago

#14 - add <K> tag to the XML output

Pull Request - State: closed - Opened by Ptival over 4 years ago

#13 - Using `mode` as an identifier leads to a parse error

Issue - State: open - Opened by atomb over 4 years ago

#12 - Count instants starting with 0 in XML output

Issue - State: closed - Opened by atomb over 4 years ago - 1 comment

#11 - Include URL of HTML output in XML output

Issue - State: closed - Opened by atomb over 4 years ago

#10 - Include K tag in XML output

Issue - State: closed - Opened by atomb over 4 years ago

#9 - add option to number counter-examples from zero

Pull Request - State: closed - Opened by Ptival over 4 years ago - 2 comments

#8 - fix typo

Pull Request - State: closed - Opened by Ptival over 4 years ago

#7 - Compile error

Issue - State: closed - Opened by BrunoDutertre about 5 years ago - 2 comments

#6 - Add counterexamples to XML output

Issue - State: closed - Opened by atomb about 5 years ago - 1 comment

#5 - Support contracts on external nodes

Issue - State: open - Opened by atomb about 5 years ago

#4 - Fully support contracts

Issue - State: open - Opened by atomb about 5 years ago

#3 - Allow Lustre files that use keywords as identifiers

Issue - State: closed - Opened by atomb about 5 years ago - 1 comment

#2 - Handle errors from sally better

Issue - State: open - Opened by yav over 5 years ago