Skip to content

Activity

Release v2.4.2+0.2.2+8.19

Pull request merge
K-dizzledpushed 12 commits to main • 641a277…d7679f5 • 
11 days ago

Prepare for v2.4.2 release

K-dizzledpushed 1 commit to v2.5.0-dev • eb9d5c7…d567004 • 
11 days ago

Deleted branch

GlebSolovevdeleted benchmarking-hotfix • 
11 days ago

Merge pull request #52 from JetBrains-Research/benchmarking-hotfix

Pull request merge
K-dizzledpushed 10 commits to v2.5.0-dev • 641a277…eb9d5c7 • 
11 days ago

Smoke test benchmarking

GlebSolovevpushed 1 commit to benchmarking-hotfix • 012fb42…a3ee0ee • 
17 days ago

Fix formatting

K-dizzledpushed 3 commits to benchmarking-hotfix • 749bd01…012fb42 • 
18 days ago

Refactor version mismatch handling

K-dizzledpushed 3 commits to benchmarking-hotfix • 3c57c5e…749bd01 • 
19 days ago

Support coqLspServerPath parameter

GlebSolovevcreated benchmarking-hotfix • 3c57c5e • 
19 days ago

Release v2.4.1+0.2.2+8.19

K-dizzledcreated v2.5.0-dev • 641a277 • 
25 days ago

Deleted branch

K-dizzleddeleted v2.4.0-dev • 
25 days ago

Release v2.4.1+0.2.2+8.19

Pull request merge
K-dizzledpushed 5 commits to main • 40142f2…641a277 • 
25 days ago

Update the vscode engine in package.json

K-dizzledpushed 1 commit to v2.4.0-dev • b56d1c1…d07eaf0 • 
25 days ago

Prepare for hot release v2.4.1

K-dizzledpushed 1 commit to v2.4.0-dev • 12afad2…b56d1c1 • 
25 days ago

Merge deps changes with v2.4.0-dev

K-dizzledpushed 2 commits to v2.4.0-dev • 1048803…12afad2 • 
25 days ago

Release v2.4.0+0.2.2+8.19

Pull request merge
K-dizzledpushed 76 commits to main • ee51d34…40142f2 • 
26 days ago

Deleted branch

K-dizzleddeleted benchmarking-hotfixes • 
26 days ago

Merge pull request #49 from JetBrains-Research/benchmarking-hotfixes

Pull request merge
K-dizzledpushed 10 commits to v2.4.0-dev • b4c0a3b…1048803 • 
26 days ago

Update info on coq-lsp via nix usage

K-dizzledpushed 1 commit to v2.4.0-dev • 3aff82a…b4c0a3b • 
26 days ago

Add notes on COQ_LSP_PATH to benchmarking docs

GlebSolovevpushed 1 commit to benchmarking-hotfixes • 86ec217…d5dda34 • 
26 days ago

Provide benchmark-test task for faster development

GlebSolovevpushed 3 commits to benchmarking-hotfixes • 2eb29a1…86ec217 • 
26 days ago

Update README with Related Papers and update future plans

K-dizzledpushed 1 commit to v2.4.0-dev • cff44b9…3aff82a • 
26 days ago

Fix bug with different o1 class models name in Grazie

K-dizzledpushed 1 commit to benchmarking-hotfixes • 35130f8…2eb29a1 • 
26 days ago

Make needsTheoremInitialGoals required

Force push
GlebSolovevforce pushed to benchmarking-hotfixes • a82bfda…35130f8 • 
26 days ago

Fix issue with systemMessage for gpt-o1

K-dizzledpushed 1 commit to v2.4.0-dev • 0ec4392…cff44b9 • 
26 days ago

Make needsTheoremInitialGoals required

GlebSolovevcreated benchmarking-hotfixes • a82bfda • 
26 days ago

Fix failing Date parsing tests on Mac

K-dizzledpushed 2 commits to v2.4.0-dev • 28d4826…0ec4392 • 
26 days ago

Update CHANGELOG with major updates from PR#48

K-dizzledpushed 1 commit to v2.4.0-dev • 9be1b07…28d4826 • 
26 days ago

Deleted branch

K-dizzleddeleted proof-checking-refactor-fix • 
26 days ago

Merge pull request #48 from JetBrains-Research/proof-checking-refacto…

Pull request merge
K-dizzledpushed 22 commits to v2.4.0-dev • d72fa49…9be1b07 • 
26 days ago

Support abort signal set-up in coq-lsp client wrappers

GlebSolovevpushed 5 commits to proof-checking-refactor-fix • 729153b…3a8ffc2 • 
26 days ago