Ecosyste.ms: Issues

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

GitHub / gapt/gapt issues and pull requests

#765 - Any chance for a Scala 3 release?

Issue - State: open - Opened by spamegg1 over 1 year ago

#764 - Updating prover interfaces

Issue - State: closed - Opened by jvierling about 2 years ago - 1 comment

#763 - Releases 2.14 and later do not compile with Java 11

Issue - State: closed - Opened by quicquid about 2 years ago - 6 comments

#761 - ceres: use descriptive skipNothing predicate

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

#760 - Add tagged many-sorted reduction.

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

#759 - leancop: support 2.1 compact output

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

#758 - Replacement for ND

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

#757 - Remove extraneous asterisk.

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

#756 - Alternative version of pushEqualityInferencesToLeaves

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

#755 - Add helper functions, convenience constructors, etc.

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

#754 - Differently-associated version of LinearCutExampleProof.

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

#753 - Some tweaks to the tree-grammar based induction prover

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

#750 - push to sbt version 1.3.13 and scala 2.13.3

Pull Request - State: closed - Opened by quicquid almost 4 years ago - 2 comments

#750 - push to sbt version 1.3.13 and scala 2.13.3

Pull Request - State: closed - Opened by quicquid almost 4 years ago - 2 comments

#749 - String interpolation of formula.toString gives unexpected result

Issue - State: closed - Opened by quicquid about 4 years ago - 2 comments

#749 - String interpolation of formula.toString gives unexpected result

Issue - State: closed - Opened by quicquid about 4 years ago - 2 comments

#748 - No assembly created

Issue - State: closed - Opened by quicquid about 4 years ago - 5 comments

#748 - No assembly created

Issue - State: closed - Opened by quicquid about 4 years ago - 5 comments

#747 - Is equality non-logical?

Issue - State: closed - Opened by jvierling about 4 years ago - 1 comment
Labels: Bug :beetle:

#746 - DLS Algorithm does not eliminate quantifier for nullary variables

Issue - State: closed - Opened by jvierling over 4 years ago - 3 comments

#745 - [dls-algorithm-for-formula-equations] false solution on ∃X (X(a) ∧ ¬X(b))

Issue - State: closed - Opened by shetzl over 4 years ago - 8 comments

#745 - [dls-algorithm-for-formula-equations] false solution on ∃X (X(a) ∧ ¬X(b))

Issue - State: closed - Opened by shetzl over 4 years ago - 8 comments

#744 - Improve documentation for gapt.logic.hol.simplify

Issue - State: closed - Opened by jvierling over 4 years ago
Labels: Documentation :clipboard:

#744 - Improve documentation for gapt.logic.hol.simplify

Issue - State: closed - Opened by jvierling over 4 years ago
Labels: Documentation :clipboard:

#742 - Chain tactic error messages

Issue - State: open - Opened by jvierling over 4 years ago - 1 comment
Labels: Maintenance :wrench:

#742 - Chain tactic error messages

Issue - State: open - Opened by jvierling over 4 years ago - 1 comment
Labels: Maintenance :wrench:

#741 - DLS algorithm for formula equations

Pull Request - State: closed - Opened by jvierling over 4 years ago - 13 comments

#741 - DLS algorithm for formula equations

Pull Request - State: closed - Opened by jvierling over 4 years ago - 13 comments

#740 - IProver tests failing

Issue - State: open - Opened by jvierling over 4 years ago - 4 comments
Labels: Bug :beetle:

#740 - IProver tests failing

Issue - State: open - Opened by jvierling over 4 years ago - 4 comments
Labels: Bug :beetle:

#739 - Escargot AvatarSplitting match error on tip2015/propositional_* problems

Issue - State: closed - Opened by astahfrom about 5 years ago - 3 comments

#739 - Escargot AvatarSplitting match error on tip2015/propositional_* problems

Issue - State: closed - Opened by astahfrom about 5 years ago - 3 comments

#738 - Unifying lambda abstractions with type variables

Issue - State: closed - Opened by gebner about 5 years ago
Labels: Bug :beetle:

#738 - Unifying lambda abstractions with type variables

Issue - State: closed - Opened by gebner about 5 years ago
Labels: Bug :beetle:

#737 - Syntactic MGU does not handle type variables properly

Issue - State: closed - Opened by jvierling about 5 years ago

#737 - Syntactic MGU does not handle type variables properly

Issue - State: closed - Opened by jvierling about 5 years ago

#736 - ExpansionProofToLKProof does not introduce induction inferences

Issue - State: closed - Opened by shetzl about 5 years ago - 2 comments

#736 - ExpansionProofToLKProof does not introduce induction inferences

Issue - State: closed - Opened by shetzl about 5 years ago - 2 comments

#735 - Prooftool: Shaking Rules

Issue - State: open - Opened by jvierling about 5 years ago - 2 comments
Labels: Bug :beetle:, Prooftool :microscope:

#735 - Prooftool: Shaking Rules

Issue - State: open - Opened by jvierling about 5 years ago - 2 comments
Labels: Bug :beetle:, Prooftool :microscope:

#734 - Superposition with Structural Induction

Pull Request - State: closed - Opened by astahfrom over 5 years ago - 6 comments

#734 - Superposition with Structural Induction

Pull Request - State: closed - Opened by astahfrom over 5 years ago - 6 comments

#733 - Cleanup expr

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

#733 - Cleanup expr

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

#732 - Cleanup lk

Pull Request - State: closed - Opened by jvierling over 5 years ago - 1 comment

#732 - Cleanup lk

Pull Request - State: closed - Opened by jvierling over 5 years ago - 1 comment

#731 - Documentation of λ-calculus

Issue - State: open - Opened by jvierling over 5 years ago

#731 - Documentation of λ-calculus

Issue - State: open - Opened by jvierling over 5 years ago

#730 - Ugly expansion proofs

Issue - State: open - Opened by gebner over 5 years ago

#730 - Ugly expansion proofs

Issue - State: open - Opened by gebner over 5 years ago

#729 - Prooftransform

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

#729 - Prooftransform

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

#728 - Slakje

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

#728 - Slakje

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

#727 - Expansion tree terms

Pull Request - State: closed - Opened by gebner over 5 years ago - 2 comments
Labels: Enhancement

#727 - Expansion tree terms

Pull Request - State: closed - Opened by gebner over 5 years ago - 2 comments
Labels: Enhancement

#726 - Upgrade to fastparse 2

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

#726 - Upgrade to fastparse 2

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

#725 - Giant african land snail

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

#725 - Giant african land snail

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

#724 - Io

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

#724 - Io

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

#723 - fix ntape printing

Pull Request - State: closed - Opened by quicquid over 5 years ago - 1 comment

#722 - Context

Pull Request - State: closed - Opened by jvierling almost 6 years ago

#722 - Context

Pull Request - State: closed - Opened by jvierling almost 6 years ago

#721 - LeanExporter fails on `Alias` updates

Issue - State: closed - Opened by loewenheim almost 6 years ago - 2 comments

#721 - LeanExporter fails on `Alias` updates

Issue - State: closed - Opened by loewenheim almost 6 years ago - 2 comments

#720 - Various small fixes

Pull Request - State: closed - Opened by gebner almost 6 years ago

#720 - Various small fixes

Pull Request - State: closed - Opened by gebner almost 6 years ago

#719 - prover9 proof parse error

Issue - State: closed - Opened by alanruttenberg almost 6 years ago - 2 comments

#719 - prover9 proof parse error

Issue - State: closed - Opened by alanruttenberg almost 6 years ago - 2 comments

#718 - Avatar split sometimes fails during proof reconstruction

Issue - State: closed - Opened by quicquid almost 6 years ago

#718 - Avatar split sometimes fails during proof reconstruction

Issue - State: closed - Opened by quicquid almost 6 years ago

#717 - Compilation fails with java 11

Issue - State: closed - Opened by gebner almost 6 years ago
Labels: Bug :beetle:

#717 - Compilation fails with java 11

Issue - State: closed - Opened by gebner almost 6 years ago
Labels: Bug :beetle:

#716 - Wip tptp statistics

Pull Request - State: closed - Opened by quicquid almost 6 years ago - 7 comments

#716 - Wip tptp statistics

Pull Request - State: closed - Opened by quicquid almost 6 years ago - 7 comments

#715 - Serialization

Pull Request - State: closed - Opened by loewenheim almost 6 years ago - 1 comment

#715 - Serialization

Pull Request - State: closed - Opened by loewenheim almost 6 years ago - 1 comment

#714 - Cut-elimination does not eliminate all cuts

Issue - State: closed - Opened by Lettmann almost 6 years ago - 4 comments

#714 - Cut-elimination does not eliminate all cuts

Issue - State: closed - Opened by Lettmann almost 6 years ago - 4 comments

#713 - gapt.sh does not pass java memory arguments on as script to execute anymore. fixes #712

Pull Request - State: closed - Opened by quicquid almost 6 years ago - 1 comment

#713 - gapt.sh does not pass java memory arguments on as script to execute anymore. fixes #712

Pull Request - State: closed - Opened by quicquid almost 6 years ago - 1 comment

#712 - gapt.sh passes jvm memory options as arguments to gapt cli

Issue - State: closed - Opened by quicquid almost 6 years ago

#712 - gapt.sh passes jvm memory options as arguments to gapt cli

Issue - State: closed - Opened by quicquid almost 6 years ago

#711 - Sort with LPO leads to Exception "Comparison method violates its general contract!"

Issue - State: open - Opened by quicquid almost 6 years ago - 1 comment
Labels: Bug :beetle:

#711 - Sort with LPO leads to Exception "Comparison method violates its general contract!"

Issue - State: open - Opened by quicquid almost 6 years ago - 1 comment
Labels: Bug :beetle:

#710 - Schematic projections and viper input

Pull Request - State: closed - Opened by jvierling almost 6 years ago

#710 - Schematic projections and viper input

Pull Request - State: closed - Opened by jvierling almost 6 years ago

#709 - Inexhaustive matches on expansion trees

Issue - State: closed - Opened by loewenheim almost 6 years ago - 8 comments

#709 - Inexhaustive matches on expansion trees

Issue - State: closed - Opened by loewenheim almost 6 years ago - 8 comments

#708 - Migrate Email Service to GitHub Webhooks or GitHub Apps

Issue - State: closed - Opened by jvierling almost 6 years ago - 1 comment

#708 - Migrate Email Service to GitHub Webhooks or GitHub Apps

Issue - State: closed - Opened by jvierling almost 6 years ago - 1 comment

#707 - DrawExpansionTree now handles merges. eliminateMerges now removes wea…

Pull Request - State: closed - Opened by quicquid almost 6 years ago

#707 - DrawExpansionTree now handles merges. eliminateMerges now removes wea…

Pull Request - State: closed - Opened by quicquid almost 6 years ago

#706 - Expansion proof viewer does not support merge

Issue - State: closed - Opened by gebner almost 6 years ago - 3 comments
Labels: Bug :beetle:, Prooftool :microscope: