Ecosyste.ms: Issues

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

GitHub / danr/emna issues and pull requests

#8 - Port to latest TIP

Pull Request - State: open - Opened by nick8325 over 6 years ago

#7 - Cannot match types (using sorts)

Issue - State: open - Opened by chip2n over 8 years ago

#6 - Error during QuickSpec pruning (no instances)

Issue - State: open - Opened by chip2n over 8 years ago - 3 comments

#5 - Add real support to Waldmeister.hs

Pull Request - State: closed - Opened by aommm over 8 years ago

#4 - Doesn't compile with latest tip-tools

Issue - State: closed - Opened by aommm over 8 years ago

#3 - Proof failure not reported correctly

Issue - State: closed - Opened by aommm almost 9 years ago - 2 comments

#2 - Add error output

Pull Request - State: closed - Opened by Touchebag almost 9 years ago

#1 - z3 never terminated

Issue - State: closed - Opened by aommm almost 9 years ago - 2 comments