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

#225 - dealt with some 8.20 warnings

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

#100 - Allow updating smpl

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

#100 - Allow updating smpl

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

#99 - Improvements to L framework

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

#99 - Improvements to L framework

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

#98 - CI cache does not update

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

#98 - CI cache does not update

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

#97 - Cleanup coqdoc and _CoqProject

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

#97 - Cleanup coqdoc and _CoqProject

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

#96 - Unified FOL syntax without universe inconsistency

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

#96 - Unified FOL syntax without universe inconsistency

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

#95 - Ported FOL undecidability proofs to new syntax

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

#95 - Ported FOL undecidability proofs to new syntax

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

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

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

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

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

#93 - documented (via comments) synthetic definitions

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

#93 - documented (via comments) synthetic definitions

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

#92 - coqdoc / website

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

#92 - coqdoc / website

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

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

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

#90 - Delete uncompiled files

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

#90 - Delete uncompiled files

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

#89 - TSR_undec

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

#89 - TSR_undec

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

#88 - Add PCSnf_undec file

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

#88 - Add PCSnf_undec file

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

#87 - Cleanup HOU/firstorder.v proofs

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

#87 - Cleanup HOU/firstorder.v proofs

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

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

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

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

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

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

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

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

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

#84 - Improved README file

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

#84 - Improved README file

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

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

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

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

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

#82 - Cleanup regarding FOL

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

#81 - library 1.0.0+8.12 opam release

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

#80 - Remove Shared.Prelim

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

#79 - Removed external dependency on PslBase

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

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

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

#77 - Switch to GitHub Actions for CI

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

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

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

#75 - Hoare Framework for TMs in 8.12

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

#74 - Undecidability for IMSELL with 3 modalities

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

#73 - Confusing branches

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

#72 - Compiler from L to TMs

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

#71 - Prepared for paper submission on semi-unification

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

#70 - Testing a more efficient way to subst equations

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

#69 - Getting rid of legacy Problems directory

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

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

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

#67 - Timed option for make, new MetaCoq version

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

#66 - Compilation Awfully slow over NFS

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

#65 - TM framework: speedup (?)

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

#64 - Backporting improvements in L and TM-framework

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

#63 - Problems for System F

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

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

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

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

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

#60 - Branch for Coq 8.12

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

#59 - Reorganising TM

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

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

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

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

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

#56 - BinaryStackMachines to StackMachines

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

#55 - Delete countStates.hs

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

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

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

#53 - singleTM and string rewriting dependencies cleanup

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

#52 - Semi-unification (and more)

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

#51 - Rebased Hoare framework to 8.11

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

#50 - New central Synthetic.Definitions file

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

#49 - Uncompiled files

Issue - State: closed - Opened by fakusb over 4 years ago - 6 comments

#48 - Refactored changes from private complexity-development

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

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

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

#46 - New central Synthetic.Definitions file

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

#45 - Unified definition of first-order logic syntax

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

#44 - Check commands

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

#43 - Remove more warnings in L and TM part

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

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

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

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

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

#40 - Less Warnings, Improved Compilation Speed

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

#39 - PCP refactoring into PCP, SR, GFG

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

#38 - Outdated CeCILL_LICENSE

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

#37 - changed name of lemma

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

#36 - Updates for the LMCS submission

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

#35 - Remove all admits

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

#34 - Cleanup murec compiler, faster compile

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

#33 - Fix makefile and coqdoc compilation

Pull Request - State: closed - Opened by lgaeher over 4 years ago - 1 comment
Labels: enhancement

#32 - Update of the DLW lib for future PRs

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

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

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

#30 - Undecidability of first-order ZF

Pull Request - State: closed - Opened by dominik-kirst over 4 years ago - 9 comments

#29 - Reduction from H10 to H10Z

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

#28 - Mu to lambda

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

#27 - Informative lift of the definition of reduces, i.e. ⪯

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

#26 - A fork for smoother reduction dio_form -> dio_elem

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

#25 - Repository structure

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

#24 - Starting a proof of the full Trakhtenbrot with Dominik

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

#23 - H10UC + FMsetC + HSC + LPolyNC

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

#22 - Construction of an H10C-universal µ-recursive function

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

#21 - A BIG commit containing the DIO_SINGLE -> µ-REC -> MM reductions

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

#20 - Update README.md

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

#19 - Import new version of the Turing framework (with Hoare)

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

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