leoprover/Leo-III issues and pull requests

#79 - leo3.jar missing

Issue - State: closed - Opened by andreas-roehler 2 months ago - 1 comment

#78 - broken link onto fu-berlin

Issue - State: closed - Opened by andreas-roehler 2 months ago - 1 comment

#77 - Update Install.MD

Issue - State: open - Opened by lex-lex 5 months ago

#76 - Remainder operation is disabled

Issue - State: open - Opened by gistya 7 months ago - 1 comment

#75 - Using LEO-III as library and calling it repeatedly with different arguments leads to the changed arguments being ignored later calls

Issue - State: open - Opened by ColinRothgang about 1 year ago - 1 comment

#74 - problem causes LEO to hang

Issue - State: open - Opened by apease almost 2 years ago

#71 - Error running Leo-III on SUMO.thf

Issue - State: closed - Opened by apease over 2 years ago - 3 comments

#70 - Modal example in USAGE.md doesn't work in latest release

Issue - State: closed - Opened by Tc14Hd over 2 years ago - 4 comments

#69 - Improved TFX and THF support

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

#68 - Use as library

Issue - State: open - Opened by XBagon over 3 years ago - 1 comment

#67 - SYN000~1.p causes problems with git on Windows (as a DOS-style 8.3 filename)

Issue - State: closed - Opened by ComFreek over 3 years ago - 2 comments

#66 - Merged new parser into Leo-III

Pull Request - State: closed - Opened by lex-lex almost 4 years ago

#65 - Question: Programmatically constructed terms, THFAnnotated, and parser-enforced TPTP names

Issue - State: closed - Opened by dtwelch over 4 years ago - 2 comments

#64 - Usage.md: added a description of the - parameter which accepts a problem on the stdin

Pull Request - State: closed - Opened by traeger about 5 years ago - 1 comment

#63 - Add GraalVM EE Native Image Profiling

Pull Request - State: closed - Opened by marcnnn over 5 years ago

#62 - NullPointerException if TreeLimitedRun is not built

Issue - State: closed - Opened by lex-lex over 5 years ago

#61 - Native Image using Graal

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

#60 - Missing link from FU-page

Issue - State: closed - Opened by andreas-roehler over 5 years ago - 2 comments

#59 - #58, Usage.md mention path/to/executable

Pull Request - State: closed - Opened by andreas-roehler over 6 years ago - 1 comment

#58 - Usage.md mention path/to/executable

Issue - State: closed - Opened by andreas-roehler over 6 years ago - 1 comment

#57 - #56, README.md: Provide more useful Further information

Pull Request - State: closed - Opened by andreas-roehler over 6 years ago

#56 - README.md: Provide more useful Further information

Issue - State: closed - Opened by andreas-roehler over 6 years ago - 1 comment

#55 - #54, Provide link for Sutcliffe G. (2008), The SZS Ontologies

Pull Request - State: closed - Opened by andreas-roehler over 6 years ago

#54 - README.md: provide link for References

Issue - State: closed - Opened by andreas-roehler over 6 years ago - 1 comment

#53 - $TPTP not recognised

Issue - State: closed - Opened by andreas-roehler almost 7 years ago - 5 comments
Labels: wontfix

#52 - Update USAGE.md #51

Pull Request - State: closed - Opened by andreas-roehler almost 7 years ago

#51 - Update USAGE.md

Issue - State: closed - Opened by andreas-roehler almost 7 years ago - 1 comment

#50 - #49, Minor redundance in README

Pull Request - State: closed - Opened by andreas-roehler almost 7 years ago - 2 comments

#49 - Minor redundance in README

Issue - State: closed - Opened by andreas-roehler almost 7 years ago - 1 comment

#48 - #47, License - link and subtitle from README

Pull Request - State: closed - Opened by andreas-roehler almost 7 years ago

#47 - License - link and subtitle from README

Issue - State: closed - Opened by andreas-roehler almost 7 years ago - 1 comment

#46 - #45, Provide "java -jar leo3.jar" at INSTALL binary section

Pull Request - State: closed - Opened by andreas-roehler almost 7 years ago

#45 - Minor improvment for INSTALL.md

Issue - State: closed - Opened by andreas-roehler almost 7 years ago

#44 - #42, Splitt README.md

Pull Request - State: closed - Opened by andreas-roehler almost 7 years ago

#43 - Splitt README.md

Pull Request - State: closed - Opened by andreas-roehler almost 7 years ago - 3 comments

#42 - Splitt README.md

Issue - State: closed - Opened by andreas-roehler almost 7 years ago - 4 comments

#41 - fix "reference to Process is ambiguous" error in build.sbt for sbt 0.13.15 and 1.0.3 (didn't test other versions).

Pull Request - State: closed - Opened by quicquid about 7 years ago - 2 comments

#40 - Isabelle/HOL

Issue - State: closed - Opened by jparsert over 7 years ago - 4 comments

#39 - Merge updates

Pull Request - State: closed - Opened by lex-lex over 7 years ago

#38 - HashCode in Clause not Matching Equals

Issue - State: closed - Opened by Ryugoron about 8 years ago - 1 comment
Labels: bug

#37 - Workaround for sbt-jni bug README

Pull Request - State: closed - Opened by hansjoergschurr about 8 years ago

#36 - Building PicoSAT: fixes MacOSX warning, update README

Pull Request - State: closed - Opened by hansjoergschurr about 8 years ago

#35 - PicoSAT bindins and updated SBT config

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

#35 - PicoSAT bindins and updated SBT config

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

#34 - Imitate Binding broken / flexHead revision of Unification

Issue - State: closed - Opened by lex-lex over 8 years ago - 1 comment
Labels: bug

#33 - Type sharing

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

#32 - Support of "external" atoms

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

#31 - Unification of new clauses

Issue - State: closed - Opened by lex-lex over 8 years ago
Labels: bug

#30 - Proper TH1 translation of ^[X: $tType]: ...

Issue - State: closed - Opened by lex-lex over 8 years ago - 1 comment
Labels: bug

#29 - Improvements on current unification implementation

Issue - State: closed - Opened by lex-lex over 8 years ago
Labels: enhancement

#28 - Implicitly quantified variables of a clause

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

#27 - toTPTP of substitutions

Issue - State: closed - Opened by lex-lex over 8 years ago - 1 comment
Labels: enhancement

#26 - Hallo

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

#25 - Creating Terms should be made local

Issue - State: open - Opened by Ryugoron over 8 years ago

#24 - Signature Thread Save

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

#23 - NUM811^5.p ToTPTP error

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

#22 - Func Rule: Both UEq sides have not-matching type

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

#21 - Quantifier Eta-Expand

Issue - State: closed - Opened by Ryugoron almost 9 years ago - 1 comment

#20 - toMap Funktion für Substitutionen

Issue - State: closed - Opened by Ryugoron about 9 years ago
Labels: enhancement, wontfix

#20 - toMap Funktion für Substitutionen

Issue - State: closed - Opened by Ryugoron about 9 years ago
Labels: enhancement, wontfix

#19 - Not executed write lock

Issue - State: closed - Opened by Ryugoron about 9 years ago
Labels: bug

#18 - Task Update

Issue - State: open - Opened by Ryugoron about 9 years ago
Labels: enhancement

#17 - Untested Performance improvements

Pull Request - State: closed - Opened by Jentsch about 9 years ago

#16 - Clause Equality and Normalization Status

Issue - State: closed - Opened by Ryugoron about 9 years ago
Labels: enhancement

#15 - Fix simplification test

Pull Request - State: closed - Opened by Jentsch about 9 years ago

#14 - Direct Task Ordering

Issue - State: open - Opened by Ryugoron about 9 years ago
Labels: enhancement

#13 - Spontaneous GaveUp

Issue - State: closed - Opened by Ryugoron about 9 years ago - 1 comment
Labels: bug

#12 - unification benchmarks

Issue - State: open - Opened by shaolintl over 9 years ago

#11 - logging in unification

Issue - State: closed - Opened by shaolintl over 9 years ago - 1 comment

#10 - generation of ill-typed unification problems

Issue - State: closed - Opened by shaolintl over 9 years ago - 3 comments

#9 - SZS success status not properly distributed

Issue - State: closed - Opened by lex-lex over 9 years ago - 1 comment
Labels: bug

#8 - Internal syntactic ordering on terms

Issue - State: closed - Opened by lex-lex over 9 years ago
Labels: enhancement

#7 - Symbol-based axiom selection

Issue - State: closed - Opened by lex-lex over 9 years ago - 1 comment
Labels: enhancement

#6 - Substitutions as partial indexed seqs

Issue - State: closed - Opened by lex-lex over 9 years ago - 1 comment
Labels: enhancement

#5 - Fixing the test and removing prints - seems huet's pre-unification is almost finished

Pull Request - State: closed - Opened by shaolintl over 9 years ago

#4 - Huet pre-unification - almost ready

Pull Request - State: closed - Opened by shaolintl over 9 years ago

#3 - Fist Commit Test

Pull Request - State: closed - Opened by 7 over 9 years ago

#2 - Meetingnotes 28.5.

Issue - State: closed - Opened by Jentsch over 10 years ago
Labels: question

#1 - Some reduction of code

Pull Request - State: closed - Opened by Jentsch over 10 years ago

GitHub / leoprover/Leo-III issues and pull requests