jonaprieto/online-atps

Issues

• Async the request to test atp against a problem

  #6 opened 8 years ago by jonaprieto
  1

• Missing support for GHC 8.4.2

  #50 opened 7 years ago by asr
  0

• Broken `--with-all` option

  #44 opened 8 years ago by asr
  5

• Vampire version

  #43 opened 8 years ago by asr
  2

• The ATPs defined in the .onlineatps file doesn't have effect

  #20 opened 8 years ago by jonaprieto
  1

• --only-first option

  #17 opened 8 years ago by jonaprieto
  0

• --async

  #11 opened 8 years ago by jonaprieto
  1

• suggest the more similar ATP given a name

  #1 opened 8 years ago by jonaprieto
  2

• In the command line the --atp=NAME should allow uppercase

  #21 opened 8 years ago by jonaprieto
  1

• --recommend-systems

  #24 opened 8 years ago by jonaprieto
  1

• Provide all options of SystemOnTPTP in the command line

  #13 opened 8 years ago by jonaprieto
  1

• --quiet-mode this is about the verbosity of the output

  #25 opened 8 years ago by jonaprieto
  1

• --output-dir

  #12 opened 8 years ago by jonaprieto
  0

• --FormulaURL

  #29 opened 8 years ago by jonaprieto
  1

• --system-info about the atp

  #26 opened 8 years ago by jonaprieto
  1

• --X2TPTP

  #27 opened 8 years ago by jonaprieto
  1

• --TSTPData

  #28 opened 8 years ago by jonaprieto
  0

• --cpu-password

  #23 opened 8 years ago by jonaprieto
  0

• Travis: Remove test with GHC 8.0.1

  #36 opened 8 years ago by asr
  0

• Haddock documentation

  #34 opened 8 years ago by jonaprieto
  0

• Missing Basic Tests

  #15 opened 8 years ago by jonaprieto
  0

• --one-request

  #19 opened 8 years ago by jonaprieto
  0

• Cannot install using GHC 7.6.3

  #32 opened 8 years ago by asr
  4

• Unnecessary dependency on the `cpphs` library

  #33 opened 8 years ago by asr
  3

• Cannot install using GHC 7.10.3

  #30 opened 8 years ago by asr
  6

• Cannot install using GHC 7.8.4

  #31 opened 8 years ago by asr
  4

• --with-all

  #18 opened 8 years ago by jonaprieto
  0

• replace all print outs with failure with `die`

  #22 opened 8 years ago by jonaprieto
  0

• empty .onlineatps breaks the normal behavior

  #16 opened 8 years ago by jonaprieto
  0

• Use YALM configuration like Apia

  #3 opened 8 years ago by jonaprieto
  1

• Make available all kind of ATPs

  #14 opened 8 years ago by jonaprieto
  0

• Offer all options of SystemOnTPTP in onlineatps

  #9 opened 8 years ago by jonaprieto
  0

• exitFailure is the filepath doesn't exist.

  #8 opened 8 years ago by jonaprieto
  0

• --check-theorem to output only Theorem or No theorem.

  #10 opened 8 years ago by jonaprieto
  0

• Send a file problem in tptp format in Consult.getResponseSystemOnTPTP

  #5 opened 8 years ago by jonaprieto
  0

• The command line executable that accepts filename, the atp and its version

  #7 opened 8 years ago by jonaprieto
  0

• Check the output of the online ATPs

  #4 opened 8 years ago by jonaprieto
  0

• given an valid online atp name return a valid SystemATP

  #2 opened 8 years ago by jonaprieto
  0