Commits

Branch selector

 main

User selector

K-dizzled

Datepicker

All time

Commit History

Commits on Feb 10, 2025

• Release v2.4.3+0.2.2+8.19

  Show description for b0f37ed
  K-dizzled

  authored
  b0f37ed

  Copy full SHA for b0f37ed

Commits on Feb 7, 2025

• Formatting in deepSeekService.ts

  K-dizzled

  committed
  c4649cd

  Copy full SHA for c4649cd

Commits on Feb 6, 2025

• Stash accidental version decrement in package.json

  K-dizzled

  committed
  2732ab6

  Copy full SHA for 2732ab6

• Fixes in DeepSeek Service after experiments

  K-dizzled

  committed
  5e5a086

  Copy full SHA for 5e5a086

• Decide on a minor release version increment in favor of a major one

  K-dizzled

  committed
  3c03271

  Copy full SHA for 3c03271

• Prepare for v2.5.0 release

  K-dizzled

  committed
  050fb8a

  Copy full SHA for 050fb8a

Commits on Jan 31, 2025

• Merge pull request #56 from JetBrains-Research/deepseek-support

  Show description for 3d737f8
  K-dizzled

  authored
  3d737f8

  Copy full SHA for 3d737f8

• Fix formatting before merging deepseek-support into v2.5.0-dev

  K-dizzled

  committed
  3cd6f6c

  Copy full SHA for 3cd6f6c

• Revise and implemented requested changes from PR#56 review

  K-dizzled

  committed
  6cb827d

  Copy full SHA for 6cb827d

Commits on Jan 29, 2025

• Fix DeepSeek Service failing test with api-key validating

  K-dizzled

  committed
  e4b160f

  Copy full SHA for e4b160f

• Fix parameter resolving test for DeepSeekService

  K-dizzled

  committed
  94bc765

  Copy full SHA for 94bc765

• Support DeepSeek service in legacy benchmarks & simple testing

  K-dizzled

  committed
  d7c2da5

  Copy full SHA for d7c2da5

• Support DeepSeek service in plugin UI & Benchmarks

  K-dizzled

  committed
  280f619

  Copy full SHA for 280f619

• Implement DeepSeekService, not yet supported in UI

  K-dizzled

  committed
  8e18aaf

  Copy full SHA for 8e18aaf

Commits on Dec 11, 2024

• Release v2.4.2+0.2.2+8.19

  Show description for d7679f5
  K-dizzled

  authored
  d7679f5

  Copy full SHA for d7679f5

• Prepare for v2.4.2 release

  K-dizzled

  committed
  d567004

  Copy full SHA for d567004

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

  Show description for eb9d5c7
  K-dizzled

  authored
  eb9d5c7

  Copy full SHA for eb9d5c7

Commits on Dec 4, 2024

• Fix formatting

  K-dizzled

  committed
  012fb42

  Copy full SHA for 012fb42

• Fix crazy eslint error

  K-dizzled

  committed
  7f634a2

  Copy full SHA for 7f634a2

• Handle suspicious coq-lsp server errors and produce an event

  K-dizzled

  committed
  e4f502f

  Copy full SHA for e4f502f

Commits on Dec 3, 2024

• Refactor version mismatch handling

  K-dizzled

  committed
  749bd01

  Copy full SHA for 749bd01

• Handle incorrect version of the Coq-LSP server running

  K-dizzled

  committed
  50fd947

  Copy full SHA for 50fd947

• Add logging of failed attempts for CoqProofChecker

  K-dizzled

  committed
  b57c5df

  Copy full SHA for b57c5df

Commits on Nov 27, 2024

• Release v2.4.1+0.2.2+8.19

  Show description for 641a277
  K-dizzled

  authored
  641a277

  Copy full SHA for 641a277

• Update the vscode engine in package.json

  K-dizzled

  committed
  d07eaf0

  Copy full SHA for d07eaf0

• Prepare for hot release v2.4.1

  K-dizzled

  committed
  b56d1c1

  Copy full SHA for b56d1c1

• Merge deps changes with v2.4.0-dev

  K-dizzled

  committed
  12afad2

  Copy full SHA for 12afad2

• Update deps to maximum possible versions & migrate eslint

  K-dizzled

  committed
  bf23cea

  Copy full SHA for bf23cea

• Release v2.4.0+0.2.2+8.19

  Show description for 40142f2
  K-dizzled

  authored
  40142f2

  Copy full SHA for 40142f2

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

  Show description for 1048803
  K-dizzled

  authored
  1048803

  Copy full SHA for 1048803

• Update info on coq-lsp via nix usage

  K-dizzled

  committed
  b4c0a3b

  Copy full SHA for b4c0a3b

Commits on Nov 26, 2024

• Update README with Related Papers and update future plans

  K-dizzled

  committed
  3aff82a

  Copy full SHA for 3aff82a

• Fix bug with different o1 class models name in Grazie

  K-dizzled

  committed
  2eb29a1

  Copy full SHA for 2eb29a1

• Fix issue with systemMessage for gpt-o1

  K-dizzled

  committed
  cff44b9

  Copy full SHA for cff44b9

• Fix failing Date parsing tests on Mac

  K-dizzled

  committed
  0ec4392

  Copy full SHA for 0ec4392

Pagination

Previous

Next