Paradoxika/Skeptik issues and pull requests

#130 - Changes to FORPI based on reviewers comments

Pull Request - State: open - Opened by jgorzny about 7 years ago

#129 - Refactor code and change matching to unification

Pull Request - State: closed - Opened by jgorzny almost 8 years ago - 1 comment

#128 - Add proofs and optimise first-order compression algorithms

Pull Request - State: closed - Opened by jgorzny almost 8 years ago - 1 comment

#128 - Add proofs and optimise first-order compression algorithms

Pull Request - State: closed - Opened by jgorzny almost 8 years ago - 1 comment

#127 - Polish CR implementation

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

#126 - Re-implement Summer 2016 fixes

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

#126 - Re-implement Summer 2016 fixes

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

#125 - Final fix from GSoC 2016

Pull Request - State: closed - Opened by jgorzny about 8 years ago - 5 comments

#124 - Splitting algorithm review

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

#123 - Conflict Resolution implementation

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

#122 - FO Proofs random generator

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

#121 - Revert "Fix issues identified by Ezequiel"

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

#121 - Revert "Fix issues identified by Ezequiel"

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

#120 - Revert "Fix findDesiredSequent - Aug 11 Issues"

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

#120 - Revert "Fix findDesiredSequent - Aug 11 Issues"

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

#119 - Fix findDesiredSequent - Aug 11 Issues

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

#119 - Fix findDesiredSequent - Aug 11 Issues

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

#118 - Fix issues identified by Ezequiel

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

#117 - Improvements to FO Splitting

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

#116 - TFF and THF parsers implementation

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

#115 - Splitting Algorithm - Version 1.0

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

#114 - Hotfix - missing variables set added to TPTP parsers

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

#113 - TPTP parsers implementation

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

#113 - TPTP parsers implementation

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

#112 - Implement Reset Method for Parsers

Issue - State: open - Opened by ceilican over 8 years ago - 1 comment

#111 - Configure Travis CI

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

#110 - Fixing extension from ProofParser to ProofCombinatorParser

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

#109 - Fix read methods compiling error

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

#108 - GSoC2016

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

#107 - GSoC2016

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

#106 - Edition to .gitignore

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

#106 - Edition to .gitignore

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

#105 - Changed CLI help text

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

#104 - CLI help text

Issue - State: closed - Opened by mallika2608 over 8 years ago - 3 comments

#104 - CLI help text

Issue - State: closed - Opened by mallika2608 over 8 years ago - 3 comments

#103 - TopDown RecycleUnits implementation

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

#102 - Fix/tracecheckparser

Pull Request - State: closed - Opened by AFellner almost 10 years ago

#101 - Proof.apply is duplicating nodes

Issue - State: open - Opened by ceilican almost 10 years ago - 1 comment
Labels: bug

#100 - Congruence Compressors

Pull Request - State: closed - Opened by AFellner almost 10 years ago - 4 comments

#100 - Congruence Compressors

Pull Request - State: closed - Opened by AFellner almost 10 years ago - 4 comments

#99 - A mistake in the README file

Issue - State: closed - Opened by andrejtokarcik over 10 years ago - 1 comment

#98 - Output format for "smt2" is wrong

Issue - State: open - Opened by ceilican almost 11 years ago

#98 - Output format for "smt2" is wrong

Issue - State: open - Opened by ceilican almost 11 years ago

#97 - New RedRec's variants

Pull Request - State: closed - Opened by Jogo27 about 11 years ago - 2 comments

#97 - New RedRec's variants

Pull Request - State: closed - Opened by Jogo27 about 11 years ago - 2 comments

#96 - CLI always output compressed proof to a file

Issue - State: closed - Opened by Jogo27 about 11 years ago - 1 comment
Labels: bug

#96 - CLI always output compressed proof to a file

Issue - State: closed - Opened by Jogo27 about 11 years ago - 1 comment
Labels: bug

#95 - Remove exceptions from combinator parsers

Issue - State: open - Opened by ceilican about 11 years ago
Labels: enhancement

#94 - GSoC final results

Pull Request - State: closed - Opened by AFellner about 11 years ago - 2 comments

#93 - Fix x-axis rules in charts

Pull Request - State: closed - Opened by Jogo27 about 11 years ago - 2 comments

#93 - Fix x-axis rules in charts

Pull Request - State: closed - Opened by Jogo27 about 11 years ago - 2 comments

#92 - Apply local search to Split algorithms

Issue - State: open - Opened by AFellner about 11 years ago

#92 - Apply local search to Split algorithms

Issue - State: open - Opened by AFellner about 11 years ago

#91 - Implement partial Split

Issue - State: open - Opened by AFellner about 11 years ago

#91 - Implement partial Split

Issue - State: open - Opened by AFellner about 11 years ago

#90 - Investigate space behaviour of proofs obtained from SAT solvers

Issue - State: open - Opened by AFellner about 11 years ago

#89 - Implement efficient function for distance of nodes

Issue - State: open - Opened by AFellner about 11 years ago

#88 - Fix issue #69

Pull Request - State: closed - Opened by Jogo27 over 11 years ago - 2 comments

#88 - Fix issue #69

Pull Request - State: closed - Opened by Jogo27 over 11 years ago - 2 comments

#87 - Implement edge-based MiddleLower

Issue - State: open - Opened by Jogo27 over 11 years ago
Labels: feature

#87 - Implement edge-based MiddleLower

Issue - State: open - Opened by Jogo27 over 11 years ago
Labels: feature

#86 - Implement Sinz algorithm

Issue - State: open - Opened by Jogo27 over 11 years ago
Labels: feature

#86 - Implement Sinz algorithm

Issue - State: open - Opened by Jogo27 over 11 years ago
Labels: feature

#85 - Fix issue #84

Pull Request - State: closed - Opened by Jogo27 over 11 years ago - 2 comments

#84 - SequentLike.isEmpty should be conjunction instead of disjunction

Issue - State: closed - Opened by ceilican over 11 years ago - 3 comments
Labels: bug

#83 - CLI: measure on which percentage of the proofs each algorithm performed better than the others

Issue - State: open - Opened by ceilican over 11 years ago
Labels: feature

#82 - Error when reading proof

Issue - State: open - Opened by AFellner over 11 years ago - 4 comments
Labels: bug

#81 - Problem in proof writing

Issue - State: open - Opened by AFellner over 11 years ago - 8 comments
Labels: bug

#80 - TopDown RecycleUnits

Issue - State: closed - Opened by ceilican over 11 years ago - 2 comments
Labels: puzzle for GSoC

#79 - Implement AxiomSubsumption

Issue - State: open - Opened by ceilican over 11 years ago

#78 - Make BottomUpSubsumption more efficient

Issue - State: open - Opened by ceilican over 11 years ago
Labels: enhancement

#77 - BottomUpSubsumption increases the proof length

Issue - State: open - Opened by ceilican over 11 years ago
Labels: bug

#76 - Share the fixNode function

Issue - State: open - Opened by Jogo27 over 11 years ago - 3 comments

#75 - Better strategy for applications of A2

Issue - State: open - Opened by ceilican over 11 years ago - 1 comment

#74 - Implement Helsinki Rule

Issue - State: closed - Opened by ceilican over 11 years ago

#73 - Compression by greedy pebbling

Issue - State: closed - Opened by ceilican over 11 years ago

#73 - Compression by greedy pebbling

Issue - State: closed - Opened by ceilican over 11 years ago

#72 - Algorithm name parser fails to fail when parentheses are forgotten.

Issue - State: closed - Opened by ceilican over 11 years ago - 2 comments
Labels: bug

#71 - ProofParserSkeptik fails to parse "bug3.skeptik"

Issue - State: closed - Opened by ceilican over 11 years ago - 1 comment
Labels: bug

#70 - Implement PeRIPLO proof format

Issue - State: closed - Opened by ceilican over 11 years ago
Labels: feature, puzzle for GSoC

#69 - Fix bugs in Split

Issue - State: closed - Opened by Jogo27 over 11 years ago - 4 comments
Labels: bug

#69 - Fix bugs in Split

Issue - State: closed - Opened by Jogo27 over 11 years ago - 4 comments
Labels: bug

#68 - Fix bug in VeriT proof parser

Issue - State: closed - Opened by ceilican over 11 years ago
Labels: bug

#68 - Fix bug in VeriT proof parser

Issue - State: closed - Opened by ceilican over 11 years ago
Labels: bug

#67 - Fix bug in EliminateTautologies

Issue - State: closed - Opened by ceilican over 11 years ago
Labels: bug

#67 - Fix bug in EliminateTautologies

Issue - State: closed - Opened by ceilican over 11 years ago
Labels: bug

#66 - Implement TraceCheck proof format

Issue - State: closed - Opened by ceilican over 11 years ago

#66 - Implement TraceCheck proof format

Issue - State: closed - Opened by ceilican over 11 years ago

#65 - Implement RecycleUnits algorithm

Issue - State: closed - Opened by AFellner over 11 years ago

#65 - Implement RecycleUnits algorithm

Issue - State: closed - Opened by AFellner over 11 years ago

#64 - Implement naive backward subsumption algorithm

Issue - State: closed - Opened by AFellner over 11 years ago

#63 - Implement naive forward subsumption algorithm

Issue - State: closed - Opened by AFellner over 11 years ago

#62 - Timeout does not cancel the running future

Issue - State: closed - Opened by ceilican over 11 years ago - 3 comments
Labels: bug

#62 - Timeout does not cancel the running future

Issue - State: closed - Opened by ceilican over 11 years ago - 3 comments
Labels: bug

#61 - Batch processing for CLI

Issue - State: closed - Opened by ceilican over 11 years ago - 1 comment
Labels: feature

#60 - altered the CLI message

Pull Request - State: closed - Opened by AFellner over 11 years ago - 2 comments

GitHub / Paradoxika/Skeptik issues and pull requests