asr/apia issues and pull requests

#100 - Support for GHC 8.4.2

Issue - State: open - Opened by asr about 7 years ago - 2 comments
Labels: type: enhancement, ghc-8.4.2

#99 - [ travis ] Using Trusty

Pull Request - State: closed - Opened by asr almost 8 years ago

#98 - Multiple arity symbol

Issue - State: open - Opened by jechev28 almost 8 years ago - 3 comments
Labels: type: bug, translation

#97 - An internal error using iLeanCop 1.2

Issue - State: closed - Opened by jonaprieto about 8 years ago - 2 comments
Labels: type: bug, status: invalid, test-suite, ileancop

#96 - Error when translating schematic-propositional-symbols and not hard-coded symbols

Issue - State: open - Opened by asr about 8 years ago
Labels: type: bug, translation

#95 - [ travis ] install the last version of shelltestrunner

Pull Request - State: closed - Opened by jonaprieto about 8 years ago - 1 comment
Labels: test-suite

#94 - [ online-atps ] Upgrade to v0.1.1

Pull Request - State: closed - Opened by jonaprieto about 8 years ago - 7 comments

#93 - Failed Apia in 8.0.2

Issue - State: closed - Opened by jonaprieto about 8 years ago - 1 comment
Labels: status: invalid, build

#92 - add haddock documentation for getVersion function

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

#91 - [ travis ] fix #88

Pull Request - State: closed - Opened by jonaprieto about 8 years ago - 2 comments

#90 - Issue89

Pull Request - State: closed - Opened by jonaprieto about 8 years ago - 1 comment

#89 - ghc versions supported

Issue - State: closed - Opened by jonaprieto about 8 years ago - 1 comment
Labels: type: enhancement

#88 - cabal version should be included as an requirement in somewhere

Issue - State: closed - Opened by jonaprieto about 8 years ago - 9 comments
Labels: type: bug, build

#87 - Remove the requirement of `awk` from the test-suite

Issue - State: closed - Opened by asr about 8 years ago - 2 comments
Labels: type: enhancement, test-suite

#86 - This closes #83 adding commit info in the version of Apia

Pull Request - State: closed - Opened by jonaprieto about 8 years ago - 1 comment
Labels: type: enhancement

#85 - This closes #84 adding --no-config-file option

Pull Request - State: closed - Opened by jonaprieto about 8 years ago - 5 comments
Labels: command-line-options

#84 - Missing `--no-config-file` command-line option

Issue - State: closed - Opened by asr about 8 years ago - 2 comments
Labels: type: enhancement, command-line-options

#83 - Include Git hash in Apia version

Issue - State: closed - Opened by asr about 8 years ago
Labels: type: enhancement

#82 - Error when using the `--with-e` option

Issue - State: closed - Opened by asr about 8 years ago - 3 comments
Labels: type: bug, command-line-options, e

#81 - Apia doesn't know how to erase proof terms in the definitions

Issue - State: open - Opened by asr about 8 years ago - 2 comments
Labels: type: bug, translation, type: regression, status: blocking

#80 - Internal error when translating a definition

Issue - State: closed - Opened by asr about 8 years ago - 1 comment
Labels: type: bug, error-message

#79 - tptp4x error when translating `$false` or `$true` to SMT-LIB 2

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: bug, z3, tptp4X

#78 - Internal error related to eta-expansion

Issue - State: open - Opened by asr over 8 years ago - 1 comment
Labels: type: bug, eta-expansion, translation, status: blocked

#77 - Conflict with the new Agda library management

Issue - State: open - Opened by asr over 8 years ago
Labels: type: bug, agda

#76 - Feature/hacking

Pull Request - State: closed - Opened by jonaprieto over 8 years ago - 1 comment

#75 - Using Alex and Happy from multi-ghc-travis

Pull Request - State: closed - Opened by asr over 8 years ago

#74 - The repository of onlineatps has changed the name

Pull Request - State: closed - Opened by jonaprieto over 8 years ago - 1 comment
Labels: travis, online-atps

#73 - Travis badge added

Pull Request - State: closed - Opened by jonaprieto over 8 years ago

#72 - Missing support for E 1.9.1-001 Sungma

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: bug, e

#71 - [ close #68 ] Added test case for the online ATPs.

Pull Request - State: closed - Opened by asr over 8 years ago

#70 - [ closed #69 ] Supported E 1.9.1 Sungma.

Pull Request - State: closed - Opened by asr over 8 years ago

#69 - Missing support for E 1.9.1 Sungma

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: enhancement, e

#68 - Missing test of the online ATPs

Issue - State: closed - Opened by asr over 8 years ago - 1 comment
Labels: type: enhancement, travis, test-suite, online-atps

#67 - support to onlineatps

Pull Request - State: closed - Opened by jonaprieto over 8 years ago - 1 comment

#66 - With an empty .apia file, we get an error.

Issue - State: open - Opened by jonaprieto over 8 years ago - 5 comments
Labels: type: bug, command-line-options

#65 - Hotfix/issue 62

Pull Request - State: closed - Opened by jonaprieto over 8 years ago

#64 - Z3 exit status

Issue - State: closed - Opened by asr over 8 years ago - 1 comment
Labels: type: bug, z3

#63 - Passing extra options to the ATPs

Issue - State: open - Opened by asr over 8 years ago
Labels: type: enhancement

#62 - Wrong behaviour when using an `.apia` file

Issue - State: closed - Opened by asr over 8 years ago - 6 comments
Labels: type: bug, command-line-options

#61 - E old version

Issue - State: closed - Opened by acallesalda over 8 years ago - 1 comment

#60 - `make non_conjectures` fails if exists a `tmp/test` file

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: bug, test-suite

#59 - Feature/onlineatps

Pull Request - State: closed - Opened by jonaprieto over 8 years ago - 8 comments

#58 - Closed #56

Pull Request - State: closed - Opened by jonaprieto over 8 years ago

#57 - add some guidelines for hacking Apia

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

#56 - Missing test case for the error "at least you need to specified one ATP"

Issue - State: closed - Opened by asr over 8 years ago - 3 comments
Labels: type: enhancement, test-suite

#55 - No output

Issue - State: closed - Opened by jonaprieto over 8 years ago - 2 comments

#54 - Not using the "locally" installed `tptp4X` program.

Pull Request - State: closed - Opened by asr over 8 years ago

#53 - Issue 41

Pull Request - State: closed - Opened by asr over 8 years ago

#52 - Issue 50

Pull Request - State: closed - Opened by asr over 8 years ago

#51 - [ travis ] Added `bin` directory and some environment variables.

Pull Request - State: closed - Opened by asr over 8 years ago

#50 - Install some ATP on Travis

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: enhancement, travis, test-suite

#49 - [ #43 ] Included `tptp4X` on Travis.

Pull Request - State: closed - Opened by asr over 8 years ago

#48 - [ #46 ] Added `make errors` on Travis

Pull Request - State: closed - Opened by asr over 8 years ago

#47 - Missing `make type_check_notes` on Travis

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: enhancement, travis, test-suite

#46 - Missing `make errors` on Travis

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: enhancement, travis, test-suite

#45 - Missing `make non_conjectures` on Travis

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: enhancement, travis, test-suite

#44 - Missing `make generated_all` in Travis

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: enhancement, travis, test-suite

#43 - Missing `tptp4X` on Travis

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: enhancement, travis, test-suite

#42 - Feature/hacking

Pull Request - State: closed - Opened by jonaprieto over 8 years ago - 5 comments

#41 - Missing `make prove_notes` on Travis

Issue - State: closed - Opened by asr over 8 years ago
Labels: type: enhancement, travis, test-suite

#40 - notes1

Pull Request - State: closed - Opened by asr over 8 years ago

#39 - non1

Pull Request - State: closed - Opened by asr over 8 years ago

#38 - gen1

Pull Request - State: closed - Opened by asr over 8 years ago

#37 - T1

Pull Request - State: closed - Opened by asr over 8 years ago

#36 - Added HLint test

Pull Request - State: closed - Opened by asr over 8 years ago

#35 - Added traling whitespace check

Pull Request - State: closed - Opened by asr over 8 years ago

#34 - Manage the command line options of Apia with the ".apia" files.

Pull Request - State: closed - Opened by jonaprieto over 8 years ago - 28 comments

#33 - The use of the .apia files

Pull Request - State: closed - Opened by jonaprieto over 8 years ago - 3 comments

#32 - Fixed installation of Agda with GHC 8.0.1 on Travis

Pull Request - State: closed - Opened by asr over 8 years ago

#31 - op/3: No permission to create operator `'|''

Issue - State: closed - Opened by jonaprieto over 8 years ago - 19 comments
Labels: type: bug, tptp2X

#30 - Broken compilation with GHC 7.6.3

Issue - State: closed - Opened by asr almost 9 years ago - 5 comments
Labels: type: bug, ghc-7.6.3

#29 - getProcessGroupIDOf process

Issue - State: closed - Opened by jonaprieto almost 9 years ago - 16 comments
Labels: type: bug, mac-os

#28 - IMPOSSIBLE triggered on `IncIndex`

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug

#27 - Error in the translation of a definition

Issue - State: open - Opened by asr almost 9 years ago
Labels: type: bug, translation

#26 - tptp4X found an error

Issue - State: open - Opened by asr almost 9 years ago - 4 comments
Labels: type: enhancement, eagda

#25 - Z3 doesn't prove a theorem

Issue - State: closed - Opened by asr almost 9 years ago
Labels: type: bug, z3

#24 - apia-1.1 failed during the building phase.

Issue - State: closed - Opened by asr almost 9 years ago - 3 comments
Labels: status: invalid

#23 - Different functions (same name, different arity) are translate using the same name

Issue - State: closed - Opened by asr almost 9 years ago - 2 comments
Labels: type: bug

#22 - Apia doesn't support Agda "dead code" new feature

Issue - State: open - Opened by asr almost 9 years ago - 3 comments
Labels: type: bug

#21 - Failed to install apia-1.1

Issue - State: closed - Opened by asr almost 9 years ago - 2 comments
Labels: type: bug

#20 - Internal error src/Apia/Utils/AgdaAPI/EtaExpansion.hs:143

Issue - State: closed - Opened by asr almost 9 years ago
Labels: type: bug

#19 - Missing HOL error

Issue - State: open - Opened by asr almost 9 years ago
Labels: type: bug

#18 - Missing line number

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug, dump-types

#17 - Wrong ATP pragma line number in the generated TPTP files

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug

#16 - ATPs hints and sharing are not working

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug, sharing

#15 - Internal error

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug

#14 - apia --version

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug

#13 - Missing line number for ATP pragma definitions

Issue - State: closed - Opened by asr almost 9 years ago - 2 comments
Labels: type: bug

#12 - Internal error

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug

#11 - All the arguments are required in an ATP definition

Issue - State: open - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug, agda, translation

#10 - Translation of predicates

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug

#9 - Metis time out

Issue - State: closed - Opened by asr almost 9 years ago - 2 comments
Labels: metis

#8 - Bad translation of the logical schema

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug, eta-expansion

#7 - New Agda pragma options

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: status: invalid

#6 - ATPs time out

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug

#5 - Repeated conjecture

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug

#4 - Translation of functions

Issue - State: open - Opened by asr almost 9 years ago - 5 comments
Labels: type: bug, translation, type: regression, status: blocked

#3 - Place of the ATP pragmas

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: status: wontfix

#2 - Problem with the translation of internal lambda-terms

Issue - State: open - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug, eta-expansion, translation, type: regression

#1 - Functions, predicates or variables names with upper and lower case clash

Issue - State: closed - Opened by asr almost 9 years ago - 1 comment
Labels: type: bug

GitHub / asr/apia issues and pull requests