Ecosyste.ms: Issues

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

GitHub / uwplse/coq-plugin-lib issues and pull requests

#44 - Coq 8.14

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

#44 - Coq 8.14

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

#43 - Ported plugin to Coq 8.13

Pull Request - State: open - Opened by agrarpan 5 months ago - 3 comments

#43 - Ported plugin to Coq 8.13

Pull Request - State: open - Opened by agrarpan 5 months ago - 3 comments

#42 - Port coq-plugin-lib to Coq 8.11

Pull Request - State: open - Opened by InnovativeInventor over 2 years ago

#42 - Port coq-plugin-lib to Coq 8.11

Pull Request - State: open - Opened by InnovativeInventor over 2 years ago

#41 - Sound

Pull Request - State: open - Opened by tlringer about 3 years ago

#41 - Sound

Pull Request - State: open - Opened by tlringer about 3 years ago

#40 - Merge 8.9.1 into master

Pull Request - State: closed - Opened by tlringer about 3 years ago

#40 - Merge 8.9.1 into master

Pull Request - State: closed - Opened by tlringer about 3 years ago

#39 - Abstracted getting hints.

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

#39 - Abstracted getting hints.

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

#38 - simpl back to greedy form

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

#38 - simpl back to greedy form

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

#37 - Decompiler Sigma

Issue - State: open - Opened by randair over 3 years ago

#37 - Decompiler Sigma

Issue - State: open - Opened by randair over 3 years ago

#36 - Intermediate custom tactics.

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

#36 - Intermediate custom tactics.

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

#35 - Simplified rewrites.

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

#35 - Simplified rewrites.

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

#34 - Fully working semicolons.

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

#34 - Fully working semicolons.

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

#33 - Apply with implicit arguments.

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

#33 - Apply with implicit arguments.

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

#32 - some anonymization

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

#32 - some anonymization

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

#31 - Decompiler

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

#31 - Decompiler

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

#30 - Destruct applications of important functions into records.

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

#30 - Destruct applications of important functions into records.

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

#29 - Logical operations on Props.

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

#29 - Logical operations on Props.

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

#28 - Rewrite support in equtils

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

#28 - Rewrite support in equtils

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

#27 - Create utility procedures for module manipulation

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

#27 - Create utility procedures for module manipulation

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

#26 - Fix PR from before

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

#26 - Fix PR from before

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

#25 - Refactor coqterms (fixes #15)

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

#25 - Refactor coqterms (fixes #15)

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

#24 - Credit Nate

Issue - State: closed - Opened by tlringer over 5 years ago

#24 - Credit Nate

Issue - State: closed - Opened by tlringer over 5 years ago

#23 - Refactor code that has to do with relating two terms

Issue - State: closed - Opened by tlringer over 5 years ago

#23 - Refactor code that has to do with relating two terms

Issue - State: closed - Opened by tlringer over 5 years ago

#22 - File organization

Issue - State: closed - Opened by tlringer over 5 years ago

#22 - File organization

Issue - State: closed - Opened by tlringer over 5 years ago

#21 - Comments

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

#21 - Comments

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

#20 - Clean HOF type signatures

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

#20 - Clean HOF type signatures

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

#19 - Clean up / consolidate substitutions

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

#19 - Clean up / consolidate substitutions

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

#18 - Move TODOs in code into issues

Issue - State: open - Opened by tlringer over 5 years ago
Labels: meta

#18 - Move TODOs in code into issues

Issue - State: open - Opened by tlringer over 5 years ago
Labels: meta

#17 - Fix debruijn bugs, or use built-in Coq functions

Issue - State: open - Opened by tlringer over 5 years ago - 1 comment
Labels: bug

#17 - Fix debruijn bugs, or use built-in Coq functions

Issue - State: open - Opened by tlringer over 5 years ago - 1 comment
Labels: bug

#15 - Break coqterms into smaller files

Issue - State: closed - Opened by tlringer over 5 years ago - 1 comment

#15 - Break coqterms into smaller files

Issue - State: closed - Opened by tlringer over 5 years ago - 1 comment

#14 - Name collision with reverse

Issue - State: closed - Opened by tlringer over 5 years ago

#14 - Name collision with reverse

Issue - State: closed - Opened by tlringer over 5 years ago

#13 - Address all warnings

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

#13 - Address all warnings

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

#12 - Remove unused functions

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

#11 - Build process?

Issue - State: closed - Opened by tlringer over 5 years ago

#11 - Build process?

Issue - State: closed - Opened by tlringer over 5 years ago

#10 - Update to latest Coq version

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

#10 - Update to latest Coq version

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

#9 - Clean code

Issue - State: open - Opened by tlringer over 5 years ago
Labels: meta

#8 - Better error messaging practices

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

#7 - Use good evar_map hygiene

Issue - State: closed - Opened by tlringer over 5 years ago

#6 - Include in PUMPKIN PATCH build process

Issue - State: closed - Opened by tlringer over 5 years ago
Labels: blocked

#5 - Include in DEVOID build process

Issue - State: closed - Opened by tlringer over 5 years ago

#4 - Refactor code from DEVOID

Issue - State: closed - Opened by tlringer over 5 years ago

#3 - Refactor code from PUMPKIN PATCH

Issue - State: closed - Opened by tlringer over 5 years ago

#2 - Update docs

Issue - State: closed - Opened by tlringer over 5 years ago
Labels: blocked

#1 - License

Issue - State: closed - Opened by tlringer over 5 years ago