Ecosyste.ms: Issues

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

GitHub / gavel-tool/python-gavel issues and pull requests

#17 - Feature/chemlog intergration

Pull Request - State: open - Opened by sfluegel05 about 1 month ago

#16 - Vampire prover args / output handling

Pull Request - State: closed - Opened by sfluegel05 5 months ago

#15 - support for fowl dialect annotated-owl

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

#14 - TPTP individuals starting with numbers cause problems

Issue - State: closed - Opened by sfluegel05 almost 3 years ago

#13 - vampire status is always "unknown"

Issue - State: closed - Opened by sfluegel05 about 3 years ago - 1 comment

#12 - Feature/proof status

Pull Request - State: closed - Opened by sfluegel05 about 3 years ago

#11 - Ignore non-TPTP output from vampire

Pull Request - State: closed - Opened by MGlauer about 3 years ago - 3 comments

#10 - Vampire prover fails for certain inputs

Issue - State: closed - Opened by sfluegel05 about 3 years ago - 1 comment

#9 - use parse from file method

Pull Request - State: closed - Opened by sfluegel05 about 3 years ago

#8 - use TPTP compiler to check TPTP syntax

Pull Request - State: closed - Opened by sfluegel05 about 3 years ago

#7 - pass kwargs

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

#6 - add ability to save translation

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

#5 - TPTP compiler doesn't support annotations

Issue - State: closed - Opened by sfluegel05 over 3 years ago

#4 - Added timeout to EProver

Pull Request - State: open - Opened by ekuiter over 4 years ago - 1 comment

#3 - Symbols can not be extracted reliably from formulas

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

#2 - Extract symbols from defined constant

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

#1 - Falsum is not compiled correctly in TPTP

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