Ecosyste.ms: Issues

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

GitHub / deducteam/zenon_modulo issues and pull requests

#45 - Fix bug when printing select iota

Pull Request - State: closed - Opened by gburel 2 months ago

#44 - Fixing various bugs

Pull Request - State: closed - Opened by gburel 3 months ago

#43 - Fix __negated_conjecture_proof__ wronlgy added to predicates

Pull Request - State: closed - Opened by gburel 3 months ago

#42 - Fix S. to F.

Pull Request - State: closed - Opened by gburel 3 months ago

#41 - Split signature and formulae

Pull Request - State: closed - Opened by gburel 4 months ago

#41 - Split signature and formulae

Pull Request - State: closed - Opened by gburel 4 months ago

#40 - SZS status GaveUp and new line for -dkterm

Pull Request - State: closed - Opened by gburel 5 months ago

#40 - SZS status GaveUp and new line for -dkterm

Pull Request - State: closed - Opened by gburel 5 months ago

#39 - Add SZS option and outputs

Pull Request - State: closed - Opened by gburel 5 months ago

#39 - Add SZS option and outputs

Pull Request - State: closed - Opened by gburel 5 months ago

#38 - Add SZS output + several fixes

Pull Request - State: closed - Opened by gburel 5 months ago

#37 - fix dk output

Pull Request - State: closed - Opened by fblanqui 7 months ago

#37 - fix dk output

Pull Request - State: closed - Opened by fblanqui 7 months ago

#36 - rename dummy_var into negated_conjecture

Pull Request - State: closed - Opened by fblanqui 7 months ago

#36 - rename dummy_var into negated_conjecture

Pull Request - State: closed - Opened by fblanqui 7 months ago

#35 - lltolp.ml: fix requires for lambdapi-zenon library

Pull Request - State: closed - Opened by fblanqui 7 months ago

#35 - lltolp.ml: fix requires for lambdapi-zenon library

Pull Request - State: closed - Opened by fblanqui 7 months ago

#34 - dune: fix contents of checksum.ml

Issue - State: open - Opened by fblanqui 7 months ago

#34 - dune: fix contents of checksum.ml

Issue - State: open - Opened by fblanqui 7 months ago

#33 - Use a new Lambdapi library

Pull Request - State: closed - Opened by fblanqui 7 months ago

#33 - Use a new Lambdapi library

Pull Request - State: closed - Opened by fblanqui 7 months ago

#32 - Fix TPTP syntax of annotations

Pull Request - State: closed - Opened by gburel 7 months ago

#32 - Fix TPTP syntax of annotations

Pull Request - State: closed - Opened by gburel 7 months ago

#31 - Fix bug causing free variables to be output.

Pull Request - State: closed - Opened by gburel 7 months ago

#31 - Fix bug causing free variables to be output.

Pull Request - State: closed - Opened by gburel 7 months ago

#30 - change option -neg-conj <n> to -conj, and fix Lpprint.print_dk_cst

Pull Request - State: closed - Opened by fblanqui 7 months ago

#30 - change option -neg-conj <n> to -conj, and fix Lpprint.print_dk_cst

Pull Request - State: closed - Opened by fblanqui 7 months ago

#29 - Bump avsm/setup-ocaml from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#29 - Bump avsm/setup-ocaml from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#28 - update lambdapi keyword list

Pull Request - State: closed - Opened by fblanqui 8 months ago

#28 - update lambdapi keyword list

Pull Request - State: closed - Opened by fblanqui 8 months ago

#27 - Integers as formula names

Pull Request - State: closed - Opened by gburel 8 months ago

#27 - Integers as formula names

Pull Request - State: closed - Opened by gburel 8 months ago

#26 - fix ci

Pull Request - State: closed - Opened by fblanqui 8 months ago

#26 - fix ci

Pull Request - State: closed - Opened by fblanqui 8 months ago

#25 - add ci

Pull Request - State: closed - Opened by fblanqui 8 months ago

#25 - add ci

Pull Request - State: closed - Opened by fblanqui 8 months ago

#24 - add support for dune

Pull Request - State: closed - Opened by fblanqui 8 months ago

#24 - add support for dune

Pull Request - State: closed - Opened by fblanqui 8 months ago

#23 - make clean: remove lexdk and parsedk files as well

Pull Request - State: closed - Opened by fblanqui 8 months ago

#23 - make clean: remove lexdk and parsedk files as well

Pull Request - State: closed - Opened by fblanqui 8 months ago

#22 - Issue with includes

Pull Request - State: closed - Opened by gburel 8 months ago

#22 - Issue with includes

Pull Request - State: closed - Opened by gburel 8 months ago

#21 - Do not pollute output

Pull Request - State: closed - Opened by gburel 8 months ago

#21 - Do not pollute output

Pull Request - State: closed - Opened by gburel 8 months ago

#20 - Exception Type_error on TPTP4X-accepted tptp file

Issue - State: open - Opened by etienneparent 8 months ago - 1 comment

#20 - Exception Type_error on TPTP4X-accepted tptp file

Issue - State: open - Opened by etienneparent 8 months ago - 1 comment

#19 - TPTP : Typed First-order Form

Issue - State: closed - Opened by dde-cls 8 months ago

#19 - TPTP : Typed First-order Form

Issue - State: closed - Opened by dde-cls 8 months ago

#18 - fix opam

Pull Request - State: closed - Opened by cstolze about 1 year ago

#18 - fix opam

Pull Request - State: closed - Opened by cstolze about 1 year ago

#17 - Create an OPAM file

Pull Request - State: closed - Opened by cstolze about 1 year ago

#17 - Create an OPAM file

Pull Request - State: closed - Opened by cstolze about 1 year ago

#16 - Add support for $ite_t and $ite_f

Pull Request - State: closed - Opened by cstolze over 1 year ago

#16 - Add support for $ite_t and $ite_f

Pull Request - State: closed - Opened by cstolze over 1 year ago

#14 - exception in lltolp.ml

Issue - State: closed - Opened by geoffgeoffgeoff3 over 1 year ago - 4 comments

#14 - exception in lltolp.ml

Issue - State: closed - Opened by geoffgeoffgeoff3 over 1 year ago - 4 comments

#13 - replace Pervasives by Stdlib

Pull Request - State: closed - Opened by cstolze over 1 year ago

#13 - replace Pervasives by Stdlib

Pull Request - State: closed - Opened by cstolze over 1 year ago

#12 - add option -neg-conj

Pull Request - State: closed - Opened by fblanqui over 1 year ago

#12 - add option -neg-conj

Pull Request - State: closed - Opened by fblanqui over 1 year ago

#11 - Fix bug when producing proofs using a transitive relation

Pull Request - State: closed - Opened by gburel over 1 year ago - 1 comment

#11 - Fix bug when producing proofs using a transitive relation

Pull Request - State: closed - Opened by gburel over 1 year ago - 1 comment

#10 - Modulo lp

Pull Request - State: closed - Opened by gburel over 1 year ago

#10 - Modulo lp

Pull Request - State: closed - Opened by gburel over 1 year ago

#9 - Modulo lp

Pull Request - State: closed - Opened by gburel over 1 year ago

#9 - Modulo lp

Pull Request - State: closed - Opened by gburel over 1 year ago

#8 - remove ax_ prefix for axioms and definitions

Pull Request - State: closed - Opened by fblanqui over 1 year ago - 2 comments

#8 - remove ax_ prefix for axioms and definitions

Pull Request - State: closed - Opened by fblanqui over 1 year ago - 2 comments

#7 - fix -sig option

Pull Request - State: closed - Opened by fblanqui over 1 year ago

#7 - fix -sig option

Pull Request - State: closed - Opened by fblanqui over 1 year ago

#6 - configure: dkcheck -> dk check

Pull Request - State: closed - Opened by fblanqui over 1 year ago

#6 - configure: dkcheck -> dk check

Pull Request - State: closed - Opened by fblanqui over 1 year ago

#5 - Modulo lp

Pull Request - State: closed - Opened by gburel almost 2 years ago

#5 - Modulo lp

Pull Request - State: closed - Opened by gburel almost 2 years ago

#4 - exception in lltodk

Issue - State: open - Opened by bodeveix almost 2 years ago - 3 comments

#4 - exception in lltodk

Issue - State: open - Opened by bodeveix almost 2 years ago - 3 comments

#3 - Update coq files so that they pass with Coq version 8.15.2

Pull Request - State: closed - Opened by gburel almost 2 years ago

#3 - Update coq files so that they pass with Coq version 8.15.2

Pull Request - State: closed - Opened by gburel almost 2 years ago

#2 - Modulo lp

Pull Request - State: closed - Opened by elhaddadyacine almost 5 years ago

#2 - Modulo lp

Pull Request - State: closed - Opened by elhaddadyacine almost 5 years ago

#1 - Fix syntax to respect TPTP format

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

#1 - Fix syntax to respect TPTP format

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