uds-psl/coq-library-undecidability issues and pull requests

#233 - move notations into module

Pull Request - State: closed - Opened by JoJoDeveloping 4 days ago - 2 comments

#232 - Cleanup for overridden notations

Pull Request - State: open - Opened by DmxLarchey 16 days ago - 3 comments

#231 - Dealing with -notation-overridden compile option

Pull Request - State: closed - Opened by DmxLarchey 16 days ago - 6 comments

#230 - Removing the _CoqProject compile option -notation-incompatible-prefix

Pull Request - State: closed - Opened by DmxLarchey 17 days ago - 4 comments

#229 - Test PR related to Issue 228

Pull Request - State: closed - Opened by DmxLarchey 19 days ago - 9 comments
Labels: enhancement

#228 - Notation Warnings

Issue - State: open - Opened by mrhaandi 23 days ago - 4 comments

#227 - separated L extraction framework

Pull Request - State: open - Opened by mrhaandi 4 months ago - 8 comments

#226 - reductions to `HaltLclosed` and `L_computable_closed` without the `L` framework

Pull Request - State: closed - Opened by mrhaandi 4 months ago - 1 comment

#225 - dealt with some 8.20 warnings

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

#222 - Inversion lemma for formulas

Issue - State: open - Opened by Janis-Bai 9 months ago - 2 comments

#118 - Lemmas of stdlib interest

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

#100 - Allow updating smpl

Pull Request - State: closed - Opened by fakusb about 4 years ago - 1 comment

#100 - Allow updating smpl

Pull Request - State: closed - Opened by fakusb about 4 years ago - 1 comment

#99 - Improvements to L framework

Pull Request - State: closed - Opened by fakusb about 4 years ago - 3 comments

#99 - Improvements to L framework

Pull Request - State: closed - Opened by fakusb about 4 years ago - 3 comments

#98 - CI cache does not update

Issue - State: open - Opened by mrhaandi about 4 years ago - 6 comments

#98 - CI cache does not update

Issue - State: open - Opened by mrhaandi about 4 years ago - 6 comments

#97 - Cleanup coqdoc and _CoqProject

Pull Request - State: closed - Opened by yforster about 4 years ago

#97 - Cleanup coqdoc and _CoqProject

Pull Request - State: closed - Opened by yforster about 4 years ago

#96 - Unified FOL syntax without universe inconsistency

Pull Request - State: closed - Opened by yforster about 4 years ago - 1 comment

#96 - Unified FOL syntax without universe inconsistency

Pull Request - State: closed - Opened by yforster about 4 years ago - 1 comment

#95 - Ported FOL undecidability proofs to new syntax

Pull Request - State: closed - Opened by dominik-kirst about 4 years ago - 10 comments

#95 - Ported FOL undecidability proofs to new syntax

Pull Request - State: closed - Opened by dominik-kirst about 4 years ago - 10 comments

#94 - added opam update and opam list --installed to CI

Pull Request - State: closed - Opened by mrhaandi about 4 years ago - 11 comments

#94 - added opam update and opam list --installed to CI

Pull Request - State: closed - Opened by mrhaandi about 4 years ago - 11 comments

#93 - documented (via comments) synthetic definitions

Pull Request - State: closed - Opened by mrhaandi about 4 years ago

#93 - documented (via comments) synthetic definitions

Pull Request - State: closed - Opened by mrhaandi about 4 years ago

#92 - coqdoc / website

Issue - State: open - Opened by yforster about 4 years ago - 4 comments

#92 - coqdoc / website

Issue - State: open - Opened by yforster about 4 years ago - 4 comments

#91 - Move _CoqProject one folder up (`./` instead `./theories/`)?

Issue - State: closed - Opened by fakusb about 4 years ago - 7 comments

#90 - Delete uncompiled files

Pull Request - State: closed - Opened by yforster about 4 years ago - 14 comments

#90 - Delete uncompiled files

Pull Request - State: closed - Opened by yforster about 4 years ago - 14 comments

#89 - TSR_undec

Pull Request - State: closed - Opened by yforster about 4 years ago

#89 - TSR_undec

Pull Request - State: closed - Opened by yforster about 4 years ago

#88 - Add PCSnf_undec file

Pull Request - State: closed - Opened by yforster about 4 years ago

#88 - Add PCSnf_undec file

Pull Request - State: closed - Opened by yforster about 4 years ago

#87 - Cleanup HOU/firstorder.v proofs

Pull Request - State: closed - Opened by fakusb about 4 years ago - 2 comments

#87 - Cleanup HOU/firstorder.v proofs

Pull Request - State: closed - Opened by fakusb about 4 years ago - 2 comments

#86 - change Fixpoint to Definition ... := fix to avoid a warning

Pull Request - State: closed - Opened by DmxLarchey about 4 years ago - 4 comments

#86 - change Fixpoint to Definition ... := fix to avoid a warning

Pull Request - State: closed - Opened by DmxLarchey about 4 years ago - 4 comments

#85 - cleaned up System F and Semi-unification reductions

Pull Request - State: closed - Opened by mrhaandi about 4 years ago

#85 - cleaned up System F and Semi-unification reductions

Pull Request - State: closed - Opened by mrhaandi about 4 years ago

#84 - Improved README file

Pull Request - State: closed - Opened by yforster about 4 years ago - 5 comments

#84 - Improved README file

Pull Request - State: closed - Opened by yforster about 4 years ago - 5 comments

#83 - Post canonical systems in normal form and Thue systems

Pull Request - State: closed - Opened by yforster about 4 years ago

#83 - Post canonical systems in normal form and Thue systems

Pull Request - State: closed - Opened by yforster about 4 years ago

#82 - Cleanup regarding FOL

Pull Request - State: closed - Opened by yforster about 4 years ago - 1 comment

#81 - library 1.0.0+8.12 opam release

Issue - State: closed - Opened by mrhaandi about 4 years ago - 18 comments

#80 - Remove Shared.Prelim

Pull Request - State: closed - Opened by yforster about 4 years ago - 1 comment

#79 - Removed external dependency on PslBase

Pull Request - State: closed - Opened by fakusb about 4 years ago - 3 comments

#78 - Remove travis, enable cache import for GitHub actions

Pull Request - State: closed - Opened by yforster over 4 years ago

#77 - Switch to GitHub Actions for CI

Pull Request - State: closed - Opened by yforster over 4 years ago

#76 - Reduction of SBTM halting to SRH, removing singleTM

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

#75 - Hoare Framework for TMs in 8.12

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

#74 - Undecidability for IMSELL with 3 modalities

Pull Request - State: closed - Opened by DmxLarchey over 4 years ago - 8 comments
Labels: enhancement

#73 - Confusing branches

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

#72 - Compiler from L to TMs

Pull Request - State: closed - Opened by fakusb over 4 years ago

#71 - Prepared for paper submission on semi-unification

Pull Request - State: closed - Opened by mrhaandi over 4 years ago

#70 - Testing a more efficient way to subst equations

Pull Request - State: closed - Opened by fakusb over 4 years ago

#69 - Getting rid of legacy Problems directory

Pull Request - State: closed - Opened by DmxLarchey over 4 years ago - 2 comments
Labels: enhancement

#68 - Reductions for undecidability of fragments of Classical Linear Logic

Pull Request - State: closed - Opened by DmxLarchey over 4 years ago - 2 comments
Labels: enhancement

#67 - Timed option for make, new MetaCoq version

Pull Request - State: closed - Opened by yforster over 4 years ago

#66 - Compilation Awfully slow over NFS

Issue - State: closed - Opened by DmxLarchey over 4 years ago

#65 - TM framework: speedup (?)

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

#64 - Backporting improvements in L and TM-framework

Pull Request - State: closed - Opened by fakusb over 4 years ago - 2 comments

#63 - Problems for System F

Pull Request - State: closed - Opened by mrhaandi over 4 years ago

#62 - "No such goal" in utils_list.v

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

#61 - Binary Turing machines and direct reduction from Turing machines to BSM

Pull Request - State: closed - Opened by yforster over 4 years ago - 6 comments

#60 - Branch for Coq 8.12

Pull Request - State: closed - Opened by yforster over 4 years ago - 2 comments

#59 - Reorganising TM

Pull Request - State: closed - Opened by yforster over 4 years ago - 32 comments

#58 - Removing Shared.Prelim where I know how to ...

Pull Request - State: closed - Opened by DmxLarchey over 4 years ago

#57 - Replace Omega by Lia (in many places but not everywhere ...)

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

#56 - BinaryStackMachines to StackMachines

Pull Request - State: closed - Opened by DmxLarchey over 4 years ago - 4 comments
Labels: enhancement

#55 - Delete countStates.hs

Pull Request - State: closed - Opened by yforster over 4 years ago

#54 - Restructured Minsky machines, Binary Stack machines and FRACTRAN

Pull Request - State: closed - Opened by DmxLarchey over 4 years ago - 33 comments

#53 - singleTM and string rewriting dependencies cleanup

Pull Request - State: closed - Opened by mrhaandi over 4 years ago - 7 comments

#52 - Semi-unification (and more)

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

#51 - Rebased Hoare framework to 8.11

Pull Request - State: closed - Opened by ghost almost 5 years ago - 8 comments

#50 - New central Synthetic.Definitions file

Pull Request - State: closed - Opened by yforster almost 5 years ago - 14 comments

#49 - Uncompiled files

Issue - State: closed - Opened by fakusb almost 5 years ago - 6 comments

#48 - Refactored changes from private complexity-development

Pull Request - State: closed - Opened by fakusb almost 5 years ago - 8 comments

#47 - Unify Fin.t / pos and Vector.t / vec

Pull Request - State: closed - Opened by DmxLarchey almost 5 years ago - 1 comment
Labels: enhancement

#46 - New central Synthetic.Definitions file

Pull Request - State: closed - Opened by yforster almost 5 years ago - 1 comment

#45 - Unified definition of first-order logic syntax

Pull Request - State: closed - Opened by yforster almost 5 years ago - 8 comments

#44 - Check commands

Issue - State: open - Opened by yforster almost 5 years ago - 5 comments

#43 - Remove more warnings in L and TM part

Pull Request - State: closed - Opened by yforster almost 5 years ago - 8 comments

#42 - Naming conventions: Enumerability vs semi-decidability vs recognisability

Issue - State: open - Opened by yforster almost 5 years ago - 2 comments

#41 - Proposal to integrate the Trakhtenbrot code (IJCAR 2020)

Pull Request - State: closed - Opened by DmxLarchey almost 5 years ago - 14 comments
Labels: enhancement

#40 - Less Warnings, Improved Compilation Speed

Pull Request - State: closed - Opened by mrhaandi almost 5 years ago - 3 comments

#39 - PCP refactoring into PCP, SR, GFG

Pull Request - State: closed - Opened by mrhaandi almost 5 years ago - 2 comments

#38 - Outdated CeCILL_LICENSE

Issue - State: closed - Opened by ghost almost 5 years ago - 3 comments

#37 - changed name of lemma

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

#36 - Updates for the LMCS submission

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

#35 - Remove all admits

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

#34 - Cleanup murec compiler, faster compile

Pull Request - State: closed - Opened by DmxLarchey almost 5 years ago
Labels: enhancement

#33 - Fix makefile and coqdoc compilation

Pull Request - State: closed - Opened by lgaeher almost 5 years ago - 1 comment
Labels: enhancement

#32 - Update of the DLW lib for future PRs

Pull Request - State: closed - Opened by DmxLarchey almost 5 years ago - 1 comment

#31 - new version of the DPRM which shows all availalable equivalences

Pull Request - State: closed - Opened by DmxLarchey almost 5 years ago
Labels: enhancement

#30 - Undecidability of first-order ZF

Pull Request - State: closed - Opened by dominik-kirst about 5 years ago - 9 comments

#29 - Reduction from H10 to H10Z

Pull Request - State: closed - Opened by yforster about 5 years ago - 13 comments

GitHub / uds-psl/coq-library-undecidability issues and pull requests