Andrew Gardner

Incorrect goals when providing -topfile in sertop 8.10.0+0.7.2

1

I'm working with @rwhender (see https://github.com/ejgallego/coq-serapi/issues/331) in a project using `sertop` to interact with old commits of various Coq projects as part of data collection for AI/ML proof engineering datasets...

Grammar caching causes EOFError and race condition when used as pre-commit hook

5

Thanks to [pre-commit#851](https://github.com/pre-commit/pre-commit/pull/851/files), hooks can now be executed in parallel for each file. This feature is enabled by default. When a large number of files need to be formatted at...

## Related Issue \ discussion See #1249. ## Patch Description This patch adds more precise error handling and recovery for attribute errors encountered when accessing module or class attributes whose...

Patches for Lightning have not kept up with backwards-incompatible changes

3

## Describe the bug While there has clearly been some effort to keep pace with changes to Lightning (see #1033), it has fallen behind since the initial patches were created...

As indicated in multiple open issues (#66, #74, #36), the package can have trouble locating the template files when globally installed in an environment. This can prevent one from using...