Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gfngfn/SATySFi issues and pull requests
#9 - Make SATySFi installable by opam again
Pull Request -
State: closed - Opened by na4zagin3 about 7 years ago
Labels: build
#8 - Use Ocamlbuild, menhir, and opam
Pull Request -
State: closed - Opened by objmagic almost 8 years ago
- 1 comment
Labels: build
#7 - Cannot deal with different variant types that have the same name
Issue -
State: closed - Opened by gfngfn almost 8 years ago
- 1 comment
Labels: bug
#6 - How to make table
Issue -
State: closed - Opened by worifon over 8 years ago
- 2 comments
#5 - add Travis CI setting and update README
Pull Request -
State: closed - Opened by y-yu over 8 years ago
Labels: build
#4 - 0-ary parallel definition is not accepted
Issue -
State: closed - Opened by gfngfn about 9 years ago
Labels: bug
#3 - Cannot infer types defined in modules
Issue -
State: closed - Opened by gfngfn over 9 years ago
- 1 comment
#2 - change binary filename depending on running os
Pull Request -
State: closed - Opened by nyuichi almost 10 years ago
#1 - keep bin/ directory
Pull Request -
State: closed - Opened by nyuichi almost 10 years ago