Activity
Prepare for v2.4.2 release
Prepare for v2.4.2 release
Deleted branch
Merge pull request #52 from JetBrains-Research/benchmarking-hotfix
Merge pull request #52 from JetBrains-Research/benchmarking-hotfix
Pull request merge
Smoke test benchmarking
Smoke test benchmarking
Fix formatting
Fix formatting
Refactor version mismatch handling
Refactor version mismatch handling
Support coqLspServerPath
parameter
Support
coqLspServerPath
parameterRelease v2.4.1+0.2.2+8.19
Release v2.4.1+0.2.2+8.19
Deleted branch
Update the vscode engine in package.json
Update the vscode engine in
package.json
Prepare for hot release v2.4.1
Prepare for hot release v2.4.1
Merge deps changes with v2.4.0-dev
Merge deps changes with v2.4.0-dev
Deleted branch
Merge pull request #49 from JetBrains-Research/benchmarking-hotfixes
Merge pull request #49 from JetBrains-Research/benchmarking-hotfixes
Pull request merge
Update info on coq-lsp via nix usage
Update info on coq-lsp via nix usage
Add notes on COQ_LSP_PATH
to benchmarking docs
Add notes on
COQ_LSP_PATH
to benchmarking docsProvide benchmark-test
task for faster development
Provide
benchmark-test
task for faster developmentUpdate README with Related Papers and update future plans
Update README with Related Papers and update future plans
Fix bug with different o1 class models name in Grazie
Fix bug with different o1 class models name in Grazie
Make needsTheoremInitialGoals
required
Make
needsTheoremInitialGoals
requiredForce push
Fix issue with systemMessage
for gpt-o1
Fix issue with
systemMessage
for gpt-o1
Make needsTheoremInitialGoals
required
Make
needsTheoremInitialGoals
requiredFix failing Date
parsing tests on Mac
Fix failing
Date
parsing tests on MacUpdate CHANGELOG with major updates from PR#48
Update CHANGELOG with major updates from PR#48
Deleted branch
Merge pull request #48 from JetBrains-Research/proof-checking-refacto…
Merge pull request #48 from JetBrains-Research/proof-checking-refacto…
Pull request merge
Support abort signal set-up in coq-lsp client wrappers
Support abort signal set-up in coq-lsp client wrappers