Ecosyste.ms: Issues

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

GitHub / nick8325/equinox issues and pull requests

#17 - Fix build failure with `mtl 2.3`

Pull Request - State: open - Opened by andreasabel over 1 year ago

#16 - Error build `FolSat.hs`

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

#15 - Paradox and equinox not on system on TPTP?

Issue - State: open - Opened by danr over 7 years ago

#14 - Failed assertions in Paradox

Issue - State: open - Opened by nick8325 over 7 years ago

#13 - Regression

Issue - State: open - Opened by asr over 7 years ago - 1 comment

#12 - Equinox generates <<loops>> when using any command-line option

Issue - State: closed - Opened by asr almost 8 years ago - 2 comments

#11 - cannot build minisat on Mac OS X 10.10 and g++

Issue - State: open - Opened by jessealama almost 10 years ago

#10 - Create the executable targets under the same name as the target.

Pull Request - State: closed - Opened by jessealama almost 12 years ago - 1 comment

#9 - error building minisat with clang

Issue - State: open - Opened by jessealama almost 12 years ago - 5 comments

#8 - unable to build with ghc 7.4.2 on mac os x 10.8

Issue - State: closed - Opened by jessealama almost 12 years ago - 1 comment

#7 - paradox segfaults on Mac OS X 10.7

Issue - State: closed - Opened by jessealama almost 12 years ago - 2 comments

#6 - paradox feature request: specify minimum and maximum domain cardinality

Issue - State: open - Opened by jessealama almost 12 years ago - 1 comment

#5 - Unable to build smellysox

Issue - State: closed - Opened by jessealama almost 12 years ago - 1 comment

#4 - Infinox does not build

Issue - State: closed - Opened by jessealama almost 12 years ago - 2 comments

#3 - Force push!!!

Pull Request - State: closed - Opened by danr over 12 years ago

#2 - Make a .cabal file for equinox and paradox

Pull Request - State: closed - Opened by danr over 12 years ago

#1 - Make equinox and paradox compile with GHC 7.4.1

Pull Request - State: closed - Opened by danr over 12 years ago - 2 comments