Ecosyste.ms: Issues

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

GitHub / sr-lab/coqpyt issues and pull requests

#50 - Faced bugs for readme.py

Issue - State: closed - Opened by hsz0403 5 months ago - 2 comments

#49 - Make disk cache rely on file paths.

Pull Request - State: closed - Opened by rkthomps 6 months ago

#49 - Make disk cache rely on file paths.

Pull Request - State: open - Opened by rkthomps 6 months ago

#48 - Program w/o obligations, goal_after_tactic and fixes

Pull Request - State: closed - Opened by pcarrott 6 months ago

#48 - Program w/o obligations, goal_after_tactic and fixes

Pull Request - State: closed - Opened by pcarrott 6 months ago

#47 - Add caching on disk

Pull Request - State: closed - Opened by rkthomps 6 months ago - 1 comment

#46 - add error mode to proof file

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

#45 - failed tests and errors

Issue - State: open - Opened by jizej 7 months ago - 1 comment

#44 - Add error messages to exceptions.

Pull Request - State: closed - Opened by Nfsaavedra 9 months ago

#43 - Update README to add logo, UML and more examples

Pull Request - State: closed - Opened by Nfsaavedra 10 months ago

#42 - add credits to README

Pull Request - State: closed - Opened by Nfsaavedra 11 months ago

#40 - Support Coq 8.19

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

#39 - Change names of CoqChangeProofs to ProofChanges

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

#38 - Set size of library cache

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

#37 - Fix rollback of deleted steps in ProofFile.change_steps

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

#36 - Add interface to directly change the steps of a proof

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

#34 - Fix program and lock

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

#33 - Fix bugs related to notations not being found

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

#32 - Fix runtime errors

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

#31 - Minor improvements to ProofFile

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

#30 - change cache to LRU cache

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

#29 - Minor fixes to change_steps

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

#28 - Handling of last step

Issue - State: closed - Opened by pcarrott about 1 year ago - 1 comment
Labels: bug

#27 - Change index parameter in add_step

Issue - State: open - Opened by pcarrott about 1 year ago
Labels: enhancement

#26 - Major changes to exec, change steps, add step and delete step

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

#25 - Refactor ProofFile tests

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

#24 - tactics and theorems with the same name

Issue - State: open - Opened by Nfsaavedra over 1 year ago - 1 comment
Labels: bug

#23 - Refactor package, file context and ProofFile execution

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

#22 - Remove support for memory limit for MacOS

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

#21 - Minor fixes

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

#20 - ulimit command doesn't work on macos

Issue - State: closed - Opened by CudraniaTrec over 1 year ago - 5 comments

#19 - Support versions prior to 8.18 and refactor directory structure

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

#18 - Refactor Proof State

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

#17 - Improve performance of ProofState

Issue - State: closed - Opened by Nfsaavedra over 1 year ago

#16 - Timeout when there is an open comment in the end of a file

Issue - State: open - Opened by Nfsaavedra over 1 year ago
Labels: bug

#15 - Support Anonymous Instances

Issue - State: open - Opened by Nfsaavedra over 1 year ago
Labels: enhancement

#14 - Fix Module Types handling

Issue - State: open - Opened by Nfsaavedra over 1 year ago
Labels: bug

#13 - Allow interaction with Coq files

Issue - State: closed - Opened by Nfsaavedra over 1 year ago
Labels: enhancement

#12 - Support for multiple Coq versions

Issue - State: closed - Opened by Nfsaavedra over 1 year ago
Labels: enhancement

#11 - General fixes

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

#10 - Fix instance types

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

#9 - Handle classes and instances

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

#8 - Ignore all proofs and terms defined inside a Module Type

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

#7 - Add support for all Theorem tokens

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

#6 - Handle nested proofs, proofs that don't end and bug fixes

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

#5 - Improve information stored from the context

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

#4 - Handle Section constructs (Let, Variable...)

Issue - State: open - Opened by Nfsaavedra over 1 year ago
Labels: enhancement

#3 - Add README and refactor ProofState

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

#2 - Fix default branch from GH Actions workflows

Issue - State: closed - Opened by Nfsaavedra over 1 year ago

#1 - Major refactor to CoqLspClient

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