Ecosyste.ms: Issues

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

GitHub / simspace/avaleryar issues and pull requests

#27 - Use Vector for Lit and Pred

Pull Request - State: open - Opened by laurenthuberdeau over 2 years ago

#26 - Cache resolve results

Pull Request - State: open - Opened by laurenthuberdeau over 2 years ago

#25 - Add missing INLINE pragmas in FBackTrackT

Pull Request - State: closed - Opened by laurenthuberdeau over 2 years ago

#24 - Represent every values as text

Pull Request - State: open - Opened by laurenthuberdeau over 2 years ago

#23 - Use Union Find algorithm in subst

Pull Request - State: open - Opened by laurenthuberdeau over 2 years ago

#22 - Optimize facts

Pull Request - State: open - Opened by laurenthuberdeau over 2 years ago - 1 comment

#21 - Text interning

Pull Request - State: open - Opened by laurenthuberdeau over 2 years ago

#20 - Add hspec-discover as a build tool

Pull Request - State: closed - Opened by dfithian over 3 years ago

#19 - some progress toward a real readme

Pull Request - State: closed - Opened by alec-simspace over 3 years ago

#18 - bump repline

Pull Request - State: closed - Opened by alec-simspace over 3 years ago

#17 - Github Actions

Pull Request - State: closed - Opened by peterbecich over 3 years ago

#16 - Miscellaneous cleanup

Pull Request - State: closed - Opened by alec-simspace over 3 years ago

#15 - benchmarks

Pull Request - State: closed - Opened by deviant-logic almost 4 years ago

#14 - only get a single answer when using checkQuery

Pull Request - State: closed - Opened by deviant-logic almost 4 years ago

#13 - Better mode errors

Pull Request - State: closed - Opened by deviant-logic about 4 years ago

#12 - update Stack resolver to GHC 8.10

Pull Request - State: closed - Opened by peterbecich about 4 years ago - 4 comments

#10 - provide fuel consumption from query results

Pull Request - State: closed - Opened by deviant-logic about 4 years ago

#9 - move the prettyprinting stuff around; fewer orphans, trace functions

Pull Request - State: closed - Opened by deviant-logic about 4 years ago

#8 - `Incomplete`-ness bug

Pull Request - State: closed - Opened by deviant-logic about 4 years ago

#7 - test handling of malicious TH in PRs

Pull Request - State: closed - Opened by bergey about 4 years ago - 1 comment

#6 - Travis CI config, Stack resolver update

Pull Request - State: closed - Opened by peterbecich about 4 years ago - 2 comments

#5 - Valuable instance for Const

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

#4 - add emacs mode

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

#3 - low-rent vim support

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

#2 - Jenkinsfile

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

#1 - Stackage LTS 15 bump

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