issues
search
asr
/
apia
Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
MIT License
6
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[ travis ] Updated installed tools.
#102
asr
closed
6 years ago
0
Tested with GHC 8.4.2.
#101
asr
closed
6 years ago
0
Support for GHC 8.4.2
#100
asr
opened
6 years ago
2
[ travis ] Using Trusty
#99
asr
closed
7 years ago
0
Multiple arity symbol
#98
jechev28
opened
7 years ago
3
An internal error using iLeanCop 1.2
#97
jonaprieto
closed
7 years ago
2
Error when translating schematic-propositional-symbols and not hard-coded symbols
#96
asr
opened
7 years ago
0
[ travis ] install the last version of shelltestrunner
#95
jonaprieto
closed
7 years ago
1
[ online-atps ] Upgrade to v0.1.1
#94
jonaprieto
closed
7 years ago
7
Failed Apia in 8.0.2
#93
jonaprieto
closed
7 years ago
1
add haddock documentation for getVersion function
#92
jonaprieto
closed
7 years ago
3
[ travis ] fix #88
#91
jonaprieto
closed
7 years ago
2
Issue89
#90
jonaprieto
closed
7 years ago
1
ghc versions supported
#89
jonaprieto
closed
7 years ago
1
cabal version should be included as an requirement in somewhere
#88
jonaprieto
closed
7 years ago
9
Remove the requirement of `awk` from the test-suite
#87
asr
closed
7 years ago
2
This closes #83 adding commit info in the version of Apia
#86
jonaprieto
closed
7 years ago
1
This closes #84 adding --no-config-file option
#85
jonaprieto
closed
7 years ago
5
Missing `--no-config-file` command-line option
#84
asr
closed
7 years ago
2
Include Git hash in Apia version
#83
asr
closed
7 years ago
0
Error when using the `--with-e` option
#82
asr
closed
7 years ago
3
Apia doesn't know how to erase proof terms in the definitions
#81
asr
opened
7 years ago
2
Internal error when translating a definition
#80
asr
closed
7 years ago
1
tptp4x error when translating `$false` or `$true` to SMT-LIB 2
#79
asr
closed
7 years ago
0
Internal error related to eta-expansion
#78
asr
opened
7 years ago
1
Conflict with the new Agda library management
#77
asr
opened
7 years ago
0
Feature/hacking
#76
jonaprieto
closed
7 years ago
1
Using Alex and Happy from multi-ghc-travis
#75
asr
closed
8 years ago
0
The repository of onlineatps has changed the name
#74
jonaprieto
closed
8 years ago
1
Travis badge added
#73
jonaprieto
closed
8 years ago
0
Missing support for E 1.9.1-001 Sungma
#72
asr
closed
8 years ago
0
[ close #68 ] Added test case for the online ATPs.
#71
asr
closed
8 years ago
0
[ closed #69 ] Supported E 1.9.1 Sungma.
#70
asr
closed
8 years ago
0
Missing support for E 1.9.1 Sungma
#69
asr
closed
8 years ago
0
Missing test of the online ATPs
#68
asr
closed
8 years ago
1
support to onlineatps
#67
jonaprieto
closed
8 years ago
1
With an empty .apia file, we get an error.
#66
jonaprieto
opened
8 years ago
5
Hotfix/issue 62
#65
jonaprieto
closed
8 years ago
0
Z3 exit status
#64
asr
closed
7 years ago
1
Passing extra options to the ATPs
#63
asr
opened
8 years ago
0
Wrong behaviour when using an `.apia` file
#62
asr
closed
8 years ago
6
E old version
#61
acallesalda
closed
8 years ago
1
`make non_conjectures` fails if exists a `tmp/test` file
#60
asr
closed
8 years ago
0
Feature/onlineatps
#59
jonaprieto
closed
8 years ago
8
Closed #56
#58
jonaprieto
closed
8 years ago
0
add some guidelines for hacking Apia
#57
jonaprieto
closed
8 years ago
2
Missing test case for the error "at least you need to specified one ATP"
#56
asr
closed
8 years ago
3
No output
#55
jonaprieto
closed
8 years ago
2
Not using the "locally" installed `tptp4X` program.
#54
asr
closed
8 years ago
0
Issue 41
#53
asr
closed
8 years ago
0
Next