Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

release: v2.2.0+0.1.8+8.19 #25

Merged
merged 145 commits into from
May 23, 2024
Merged

release: v2.2.0+0.1.8+8.19 #25

merged 145 commits into from
May 23, 2024

Conversation

K-dizzled
Copy link
Collaborator

No description provided.

@GlebSolovev
Implement RequestsLogger
3b241a4
@GlebSolovev
Log requests & handle errors in llm services
dec8c1e
@GlebSolovev
Take file logic out from RequestsLogger
dab15f4
@GlebSolovev
Test RequestsLogger properly
6a2eef5
@GlebSolovev
Implement LLMService-s availability UI via events
24cad6e
@GlebSolovev
Move LLMService-s availability UI out of CoqPilot
49e4045
@GlebSolovev
Move out code from CoqPilot into separate files
58e45ab
@GlebSolovev
Implement estimateTimeToBecomeAvailable
0d5837f
@GlebSolovev
Move out code from LLMService
ffeed59
@GlebSolovev
Show availability estimation to user
3c51d90
@GlebSolovev
Test and fix time utils
8492d2e
@GlebSolovev
Test and fix RequestsLogger
c697666
@GlebSolovev
Test and improve SyncFile
46837a1
@GlebSolovev
Improve code style
1474ae1
@GlebSolovev
Extend LLMIterator tests
fc7ea0d
@GlebSolovev
Implement MockLLMService
f81cab6
@GlebSolovev
Test parsing of UserModelParams from JSON
6b159bf
@GlebSolovev
Better test and improve ChatTokensFitter
4d3209e
@GlebSolovev
Update prefix of LLMService-s utils tests
b84058a
@GlebSolovev
Test and improve chat builders
b3e7868
@GlebSolovev
Move llm test utils to separate folder
7566ff9
@GlebSolovev
Test parameters resolution
09f69a9
@GlebSolovev
Dispose LLMServices
4b10fa4
@GlebSolovev
Make LLMService code better to use and test
c3f0893
@GlebSolovev
Implement PredefinedProofsService properly
2f79e1a
@GlebSolovev
Support debug mode in LLMService-s
0334b3a
@GlebSolovev
Improve, fix and document MockLLMService
77a93f3
@GlebSolovev
Test generateFromChat and GeneratedProof
eab3d7a
@GlebSolovev
Test generateProof with integration testing
787cd69
@GlebSolovev
Test generateProof with async stress, improve MockLLMService
6e9b3ae
GlebSolovev and others added 27 commits May 20, 2024 05:07
@GlebSolovev
Forbid additional properties in schemas
9851280
@GlebSolovev
Refactor editor messages: move all in one place
bb2f5d3
@GlebSolovev
Handle errors from Ajv
23c3ebd
@GlebSolovev
Minor package.json updates
e53e388
@GlebSolovev
Improve tests for user settings schemas
d1c9b84
@GlebSolovev
Provide type checks for resolver's properties
90c0ded
@GlebSolovev
Support ValidParamsResolverImpl type check
bab6377
@GlebSolovev
Spread type checks to single parameter resolvers
a032df7
@GlebSolovev
Test resolution of hidden wrong type
57b9252
@GlebSolovev
Document parameter resolvers
c64d181
@GlebSolovev
Improve OpenAI tokens params default resolution
6cb8fb9
@GlebSolovev
Mention defaults in OpenAI settings description
b90100f
@GlebSolovev
Merge branch 'v2.2.0-dev' into llm-services-improvement
2cb6632
@GlebSolovev
Update benchmarks: params resolution, muted mode
9f6bb61
@GlebSolovev
Test and fix proof extraction in GeneratedProof
85f85b2
@GlebSolovev
Improve English in CHANGELOG.md, items honesty
ae0fefc
@GlebSolovev
Present 2.2.0 changes
aa817fd
@GlebSolovev
Trigger CI on development PR-s
0bc235a
@GlebSolovev
Comment on text format used by GenerationsLogger
1ca0983
@GlebSolovev
Manage node version via .nvmrc
71270b1 
Inspired by @K-dizzled
@GlebSolovev
Cache opam on CI
873c667
@GlebSolovev
Remove redundant CI step
eb83834
@GlebSolovev
Enable dune-cache on CI
a3e32cd
@GlebSolovev
Try to make opam cache work on CI
995d89c
@GlebSolovev
Set back opam path to cache
97422f6
@GlebSolovev
Set up opam caches on CI properly
8f9081a
@K-dizzled
Merge pull request #23 from JetBrains-Research/llm-services-improvement
fdf5e0d 
Major LLM services and UI improvement
@K-dizzled K-dizzled changed the title release: v2.2.0 release: v2.2.0+0.1.8+8.19 May 23, 2024
@K-dizzled K-dizzled merged commit 666ab40 into main May 23, 2024
0 of 2 checks passed
@K-dizzled K-dizzled deleted the v2.2.0-dev branch May 23, 2024 08:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@K-dizzled @GlebSolovev