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

Major LLM services and UI improvement #23

Merged
merged 144 commits into from
May 23, 2024
Merged

Major LLM services and UI improvement #23

merged 144 commits into from
May 23, 2024

Commits on Apr 18, 2024

  1. Implement RequestsLogger

    @GlebSolovev
    GlebSolovev committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    3b241a4 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. Log requests & handle errors in llm services

    @GlebSolovev
    GlebSolovev committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    dec8c1e View commit details
    Browse the repository at this point in the history

  2. Take file logic out from RequestsLogger

    @GlebSolovev
    GlebSolovev committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    dab15f4 View commit details
    Browse the repository at this point in the history

  3. Test RequestsLogger properly

    @GlebSolovev
    GlebSolovev committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    6a2eef5 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. Implement LLMService-s availability UI via events

    @GlebSolovev
    GlebSolovev committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    24cad6e View commit details
    Browse the repository at this point in the history

  2. Move LLMService-s availability UI out of CoqPilot

    @GlebSolovev
    GlebSolovev committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    49e4045 View commit details
    Browse the repository at this point in the history

  3. Move out code from CoqPilot into separate files

    @GlebSolovev
    GlebSolovev committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    58e45ab View commit details
    Browse the repository at this point in the history

  4. Implement estimateTimeToBecomeAvailable

    @GlebSolovev
    GlebSolovev committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    0d5837f View commit details
    Browse the repository at this point in the history

  5. Move out code from LLMService

    @GlebSolovev
    GlebSolovev committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    ffeed59 View commit details
    Browse the repository at this point in the history

  6. Show availability estimation to user

    @GlebSolovev
    GlebSolovev committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    3c51d90 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. Test and fix time utils

    @GlebSolovev
    GlebSolovev committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    8492d2e View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Test and fix RequestsLogger

    @GlebSolovev
    GlebSolovev committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    c697666 View commit details
    Browse the repository at this point in the history

  2. Test and improve SyncFile

    @GlebSolovev
    GlebSolovev committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    46837a1 View commit details
    Browse the repository at this point in the history

  3. Improve code style

    @GlebSolovev
    GlebSolovev committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    1474ae1 View commit details
    Browse the repository at this point in the history

  4. Extend LLMIterator tests

    @GlebSolovev
    GlebSolovev committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    fc7ea0d View commit details
    Browse the repository at this point in the history

  5. Implement MockLLMService

    @GlebSolovev
    GlebSolovev committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    f81cab6 View commit details
    Browse the repository at this point in the history

  6. Test parsing of UserModelParams from JSON

    @GlebSolovev
    GlebSolovev committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    6b159bf View commit details
    Browse the repository at this point in the history

  7. Better test and improve ChatTokensFitter

    @GlebSolovev
    GlebSolovev committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    4d3209e View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2024

  1. Update prefix of LLMService-s utils tests

    @GlebSolovev
    GlebSolovev committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    b84058a View commit details
    Browse the repository at this point in the history

  2. Test and improve chat builders

    @GlebSolovev
    GlebSolovev committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    b3e7868 View commit details
    Browse the repository at this point in the history

  3. Move llm test utils to separate folder

    @GlebSolovev
    GlebSolovev committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    7566ff9 View commit details
    Browse the repository at this point in the history

  4. Test parameters resolution

    @GlebSolovev
    GlebSolovev committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    09f69a9 View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2024

  1. Dispose LLMServices

    @GlebSolovev
    GlebSolovev committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    4b10fa4 View commit details
    Browse the repository at this point in the history

  2. Make LLMService code better to use and test

    @GlebSolovev
    GlebSolovev committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    c3f0893 View commit details
    Browse the repository at this point in the history

  3. Implement PredefinedProofsService properly

    @GlebSolovev
    GlebSolovev committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    2f79e1a View commit details
    Browse the repository at this point in the history

  4. Support debug mode in LLMService-s

    @GlebSolovev
    GlebSolovev committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    0334b3a View commit details
    Browse the repository at this point in the history

  5. Improve, fix and document MockLLMService

    @GlebSolovev
    GlebSolovev committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    77a93f3 View commit details
    Browse the repository at this point in the history

  6. Test generateFromChat and GeneratedProof

    @GlebSolovev
    GlebSolovev committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    eab3d7a View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. Test generateProof with integration testing

    @GlebSolovev
    GlebSolovev committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    787cd69 View commit details
    Browse the repository at this point in the history

  2. Test generateProof with async stress, improve MockLLMService

    @GlebSolovev
    GlebSolovev committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    6e9b3ae View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2024

  1. Improve common test functions, test OpenAIService

    @GlebSolovev
    GlebSolovev committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    60b0cf9 View commit details
    Browse the repository at this point in the history

  2. Refactor tests

    @GlebSolovev
    GlebSolovev committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    caf05e0 View commit details
    Browse the repository at this point in the history

  3. Test GrazieService, improve conditional tests

    @GlebSolovev
    GlebSolovev committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    f6bcf3e View commit details
    Browse the repository at this point in the history

  4. Test LMStudioService

    @GlebSolovev
    GlebSolovev committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    3416abf View commit details
    Browse the repository at this point in the history

  5. Test PredefinedProofsService, improve code style

    @GlebSolovev
    GlebSolovev committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    edea619 View commit details
    Browse the repository at this point in the history

  6. Test and improve default availability estimator

    @GlebSolovev
    GlebSolovev committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    a09ca1b View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. Refactor test utils

    @GlebSolovev
    GlebSolovev committed May 1, 2024
    Configuration menu
    Copy the full SHA
    54e713b View commit details
    Browse the repository at this point in the history

  2. Add npm test tasks

    @GlebSolovev
    GlebSolovev committed May 1, 2024
    Configuration menu
    Copy the full SHA
    a0f38ab View commit details
    Browse the repository at this point in the history

  3. Fix no-successful-logs bug of availability estimator

    @GlebSolovev
    GlebSolovev committed May 1, 2024
    Configuration menu
    Copy the full SHA
    9608028 View commit details
    Browse the repository at this point in the history

  4. Improve availability warning message

    @GlebSolovev
    GlebSolovev committed May 1, 2024
    Configuration menu
    Copy the full SHA
    a036f6b View commit details
    Browse the repository at this point in the history

  5. Find directory for services logs

    @GlebSolovev
    GlebSolovev committed May 1, 2024
    Configuration menu
    Copy the full SHA
    0469170 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Override availability estimator of predefined proofs

    @GlebSolovev
    GlebSolovev committed May 3, 2024
    Configuration menu
    Copy the full SHA
    0b24ddd View commit details
    Browse the repository at this point in the history

  2. Introduce LLMServiceInternal, improve LLMService ctor

    @GlebSolovev
    GlebSolovev committed May 3, 2024
    Configuration menu
    Copy the full SHA
    6bbdd25 View commit details
    Browse the repository at this point in the history

Commits on May 4, 2024

  1. Introduce new error handling to LLMService, document it

    @GlebSolovev
    GlebSolovev committed May 4, 2024
    Configuration menu
    Copy the full SHA
    22cd5a1 View commit details
    Browse the repository at this point in the history

  2. Add more wrappers, docs, refactor to LLMService package

    @GlebSolovev
    GlebSolovev committed May 4, 2024
    Configuration menu
    Copy the full SHA
    c299066 View commit details
    Browse the repository at this point in the history

  3. Update tests according to LLMService changes

    @GlebSolovev
    GlebSolovev committed May 4, 2024
    Configuration menu
    Copy the full SHA
    430131b View commit details
    Browse the repository at this point in the history

  4. Cover new errors handling with tests, refactor

    @GlebSolovev
    GlebSolovev committed May 4, 2024
    Configuration menu
    Copy the full SHA
    2e3c9c6 View commit details
    Browse the repository at this point in the history

Commits on May 5, 2024

  1. Improve LLMService specification

    @GlebSolovev
    GlebSolovev committed May 5, 2024
    Configuration menu
    Copy the full SHA
    4804d09 View commit details
    Browse the repository at this point in the history

  2. Distinguish modelName and modelId

    @GlebSolovev
    GlebSolovev committed May 5, 2024
    Configuration menu
    Copy the full SHA
    5bce2cf View commit details
    Browse the repository at this point in the history

  3. Rename newMessageMaxTokens to maxTokensToGenerate

    @GlebSolovev
    GlebSolovev committed May 5, 2024
    Configuration menu
    Copy the full SHA
    936bbc8 View commit details
    Browse the repository at this point in the history

  4. Update README and package.json with new settings

    @GlebSolovev
    GlebSolovev committed May 5, 2024
    Configuration menu
    Copy the full SHA
    939bcb6 View commit details
    Browse the repository at this point in the history

  5. Validate unique models' id-s

    @GlebSolovev
    GlebSolovev committed May 5, 2024
    Configuration menu
    Copy the full SHA
    04361a4 View commit details
    Browse the repository at this point in the history

  6. Rework settings validation

    @GlebSolovev
    GlebSolovev committed May 5, 2024
    Configuration menu
    Copy the full SHA
    ba265bc View commit details
    Browse the repository at this point in the history

  7. Validate models are present, refactor errors

    @GlebSolovev
    GlebSolovev committed May 5, 2024
    Configuration menu
    Copy the full SHA
    aee93a7 View commit details
    Browse the repository at this point in the history

  8. Make order of services coherent

    @GlebSolovev
    GlebSolovev committed May 5, 2024
    Configuration menu
    Copy the full SHA
    7236080 View commit details
    Browse the repository at this point in the history

  9. Improve settings description in package.json

    @GlebSolovev
    GlebSolovev committed May 5, 2024
    Configuration menu
    Copy the full SHA
    09f4af0 View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. Introduce, support, test LLMServiceRequest

    @GlebSolovev
    GlebSolovev committed May 6, 2024
    Configuration menu
    Copy the full SHA
    80fcb11 View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Update & refactor LLMServices events handling in UI

    @GlebSolovev
    GlebSolovev committed May 7, 2024
    Configuration menu
    Copy the full SHA
    72cd1fd View commit details
    Browse the repository at this point in the history

  2. Improve choices validation

    @GlebSolovev
    GlebSolovev committed May 7, 2024
    Configuration menu
    Copy the full SHA
    af27f50 View commit details
    Browse the repository at this point in the history

  3. Link to setting name on configuration error

    @GlebSolovev
    GlebSolovev committed May 7, 2024
    Configuration menu
    Copy the full SHA
    6b9cb0b View commit details
    Browse the repository at this point in the history

  4. Refactor "new Error" away

    @GlebSolovev
    GlebSolovev committed May 7, 2024
    Configuration menu
    Copy the full SHA
    4c85d6a View commit details
    Browse the repository at this point in the history

  5. Show error's content on service failed warning

    @GlebSolovev
    GlebSolovev committed May 7, 2024
    Configuration menu
    Copy the full SHA
    55cc569 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Improve error messages

    @GlebSolovev
    GlebSolovev committed May 8, 2024
    Configuration menu
    Copy the full SHA
    a3fc1b4 View commit details
    Browse the repository at this point in the history

  2. Improve PredefinedProofs params validation

    @GlebSolovev
    GlebSolovev committed May 8, 2024
    Configuration menu
    Copy the full SHA
    6cac0ea View commit details
    Browse the repository at this point in the history

  3. Validate OpenAi params, test it

    @GlebSolovev
    GlebSolovev committed May 8, 2024
    Configuration menu
    Copy the full SHA
    a4709c9 View commit details
    Browse the repository at this point in the history

  4. Specify thrown error in tests

    @GlebSolovev
    GlebSolovev committed May 8, 2024
    Configuration menu
    Copy the full SHA
    bb78922 View commit details
    Browse the repository at this point in the history

  5. Fix "finally with async" bug 

    Note: try-block should always wait for everything inside before exiting the scope straight to finally-block
    @GlebSolovev
    GlebSolovev committed May 8, 2024
    Configuration menu
    Copy the full SHA
    8a42d25 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

  1. Log and display Coqpilot error better

    @GlebSolovev
    GlebSolovev committed May 9, 2024
    Configuration menu
    Copy the full SHA
    b9ee6b6 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. Implement draft ParamsResolver

    @GlebSolovev
    GlebSolovev committed May 10, 2024
    Configuration menu
    Copy the full SHA
    e94a273 View commit details
    Browse the repository at this point in the history

  2. Implement ModelParamsResolver-s

    @GlebSolovev
    GlebSolovev committed May 10, 2024
    Configuration menu
    Copy the full SHA
    f9246cc View commit details
    Browse the repository at this point in the history

  3. Make LLMService generic, use ParamsResolver

    @GlebSolovev
    GlebSolovev committed May 10, 2024
    Configuration menu
    Copy the full SHA
    f1e1e98 View commit details
    Browse the repository at this point in the history

  4. Remove redundant ConfigurationError-s

    @GlebSolovev
    GlebSolovev committed May 10, 2024
    Configuration menu
    Copy the full SHA
    fb302b9 View commit details
    Browse the repository at this point in the history

  5. Support no-default-value help message

    @GlebSolovev
    GlebSolovev committed May 10, 2024
    Configuration menu
    Copy the full SHA
    ad51635 View commit details
    Browse the repository at this point in the history

  6. Solve choices problem: add them into ModelParams 

    Add `defaultChoices` to `ModelParams` same to `proofFixChoices`, update docs and methods declarations
    @GlebSolovev
    GlebSolovev committed May 10, 2024
    Configuration menu
    Copy the full SHA
    90cd8a3 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2024

  1. Move params resolution to UI, show feedback to user

    @GlebSolovev
    GlebSolovev committed May 11, 2024
    Configuration menu
    Copy the full SHA
    7d0192c View commit details
    Browse the repository at this point in the history

  2. Support parameter insertion in ParamsResolver

    @GlebSolovev
    GlebSolovev committed May 11, 2024
    Configuration menu
    Copy the full SHA
    1448460 View commit details
    Browse the repository at this point in the history

  3. Improve LLMService typing: GeneratedProofImpl

    @GlebSolovev
    GlebSolovev committed May 11, 2024
    Configuration menu
    Copy the full SHA
    2637688 View commit details
    Browse the repository at this point in the history

  4. Parameterize with LLMServiceInternalType

    @GlebSolovev
    GlebSolovev committed May 11, 2024
    Configuration menu
    Copy the full SHA
    a487595 View commit details
    Browse the repository at this point in the history

  5. Return GeneratedProof from LLMService facade methods

    @GlebSolovev
    GlebSolovev committed May 11, 2024
    Configuration menu
    Copy the full SHA
    0ed8d5d View commit details
    Browse the repository at this point in the history

  6. Improve BasicModelParamsResolver

    @GlebSolovev
    GlebSolovev committed May 11, 2024
    Configuration menu
    Copy the full SHA
    a09f4e1 View commit details
    Browse the repository at this point in the history

  7. Refactor and improve chat-factory tests

    @GlebSolovev
    GlebSolovev committed May 11, 2024
    Configuration menu
    Copy the full SHA
    037a180 View commit details
    Browse the repository at this point in the history

  8. Complete LLMService typing with recursive generics

    @GlebSolovev
    GlebSolovev committed May 11, 2024
    Configuration menu
    Copy the full SHA
    9fcb68c View commit details
    Browse the repository at this point in the history

Commits on May 12, 2024

  1. Fix and refactor params resolvers

    @GlebSolovev
    GlebSolovev committed May 12, 2024
    Configuration menu
    Copy the full SHA
    035468c View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. Design and implement powerful resolvers interfaces

    @GlebSolovev
    GlebSolovev committed May 13, 2024
    Configuration menu
    Copy the full SHA
    d0818c0 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. Fix tmp.dirSync bug

    @GlebSolovev
    GlebSolovev committed May 15, 2024
    Configuration menu
    Copy the full SHA
    f1f95ae View commit details
    Browse the repository at this point in the history

  2. Refactor params resolvers, note their critical issues

    @GlebSolovev
    GlebSolovev committed May 15, 2024
    Configuration menu
    Copy the full SHA
    f2b2fc7 View commit details
    Browse the repository at this point in the history

  3. Fix models params resolvers

    @GlebSolovev
    GlebSolovev committed May 15, 2024
    Configuration menu
    Copy the full SHA
    7e3c7aa View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. Update & refactor test utils according to latest changes

    @GlebSolovev
    GlebSolovev committed May 16, 2024
    Configuration menu
    Copy the full SHA
    7fbef4c View commit details
    Browse the repository at this point in the history

  2. Update & refactor tests according to latest changes

    @GlebSolovev
    GlebSolovev committed May 16, 2024
    Configuration menu
    Copy the full SHA
    6083980 View commit details
    Browse the repository at this point in the history

  3. Test parameters resolution

    @GlebSolovev
    GlebSolovev committed May 16, 2024
    Configuration menu
    Copy the full SHA
    6f63ef9 View commit details
    Browse the repository at this point in the history

  4. Rework LLM-services' tests, expand with configuration ones

    @GlebSolovev
    GlebSolovev committed May 16, 2024
    Configuration menu
    Copy the full SHA
    1b891d7 View commit details
    Browse the repository at this point in the history

  5. Improve params-resolution UI messages

    @GlebSolovev
    GlebSolovev committed May 16, 2024
    Configuration menu
    Copy the full SHA
    8e56486 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Fix resolvers by specifying schemas

    @GlebSolovev
    GlebSolovev committed May 17, 2024
    Configuration menu
    Copy the full SHA
    cfd0beb View commit details
    Browse the repository at this point in the history

Commits on May 18, 2024

  1. Move resolvers to services, test valid params

    @GlebSolovev
    GlebSolovev committed May 18, 2024
    Configuration menu
    Copy the full SHA
    7456d6e View commit details
    Browse the repository at this point in the history

  2. Test params are read correctly

    @GlebSolovev
    GlebSolovev committed May 18, 2024
    Configuration menu
    Copy the full SHA
    7712fe4 View commit details
    Browse the repository at this point in the history

  3. Fix empty lists failing LoggerRecord bug

    @GlebSolovev
    GlebSolovev committed May 18, 2024
    Configuration menu
    Copy the full SHA
    a97af3b View commit details
    Browse the repository at this point in the history

  4. Support censorship in GenerationsLogger

    @GlebSolovev
    GlebSolovev committed May 18, 2024
    Configuration menu
    Copy the full SHA
    7bc77ae View commit details
    Browse the repository at this point in the history

  5. Refactor settings for GenerationsLogger

    @GlebSolovev
    GlebSolovev committed May 18, 2024
    Configuration menu
    Copy the full SHA
    1928e2e View commit details
    Browse the repository at this point in the history

  6. Tweak LLM services tests timeouts

    @GlebSolovev
    GlebSolovev committed May 18, 2024
    Configuration menu
    Copy the full SHA
    9e358d4 View commit details
    Browse the repository at this point in the history

  7. Support context length error in OpenAiService

    @GlebSolovev
    GlebSolovev committed May 18, 2024
    Configuration menu
    Copy the full SHA
    0c256aa View commit details
    Browse the repository at this point in the history

  8. Support connection error in OpenAiService

    @GlebSolovev
    GlebSolovev committed May 18, 2024
    Configuration menu
    Copy the full SHA
    0e37775 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2024

  1. Support and use rich messages in resolvers

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    42ec5c7 View commit details
    Browse the repository at this point in the history

  2. Add default tokens params to OpenAiService

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    7f3787d View commit details
    Browse the repository at this point in the history

  3. Fix messages, defaults in settings

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    b20efb2 View commit details
    Browse the repository at this point in the history

  4. Make code safer: get rid of any-s

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    27ff5f7 View commit details
    Browse the repository at this point in the history

  5. Move LLMServiceInternal to a separate file

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    ffa8ec4 View commit details
    Browse the repository at this point in the history

  6. Improve config parsers names

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    c4cec91 View commit details
    Browse the repository at this point in the history

  7. Improve eslint naming-convention

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    88e8286 View commit details
    Browse the repository at this point in the history

  8. Make estimatedTokens rich and clear

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    d08cd33 View commit details
    Browse the repository at this point in the history

  9. Introduce and support RemoteConnectionError

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    ee4131d View commit details
    Browse the repository at this point in the history

  10. Setup debugging for CI

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    c7b33eb View commit details
    Browse the repository at this point in the history

  11. Make all tests run on CI

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    21fbcc5 View commit details
    Browse the repository at this point in the history

  12. Make possible to run CI manually

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    a3a289c View commit details
    Browse the repository at this point in the history

  13. Update coqpilot version

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    9adb81a View commit details
    Browse the repository at this point in the history

  14. Fix "override the same value" bug

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    384f2bb View commit details
    Browse the repository at this point in the history

  15. Introduce & use stringify util for consistent messages

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    8dacf40 View commit details
    Browse the repository at this point in the history

  16. Show overriden message only if user specified value

    @GlebSolovev
    GlebSolovev committed May 19, 2024
    Configuration menu
    Copy the full SHA
    f30d7c9 View commit details
    Browse the repository at this point in the history

Commits on May 20, 2024

  1. Improve top-level errors handling

    @GlebSolovev
    GlebSolovev committed May 20, 2024
    Configuration menu
    Copy the full SHA
    8b10d2f View commit details
    Browse the repository at this point in the history

  2. Forbid additional properties in schemas

    @GlebSolovev
    GlebSolovev committed May 20, 2024
    Configuration menu
    Copy the full SHA
    9851280 View commit details
    Browse the repository at this point in the history

  3. Refactor editor messages: move all in one place

    @GlebSolovev
    GlebSolovev committed May 20, 2024
    Configuration menu
    Copy the full SHA
    bb2f5d3 View commit details
    Browse the repository at this point in the history

  4. Handle errors from Ajv

    @GlebSolovev
    GlebSolovev committed May 20, 2024
    Configuration menu
    Copy the full SHA
    23c3ebd View commit details
    Browse the repository at this point in the history

  5. Minor package.json updates

    @GlebSolovev
    GlebSolovev committed May 20, 2024
    Configuration menu
    Copy the full SHA
    e53e388 View commit details
    Browse the repository at this point in the history

  6. Improve tests for user settings schemas

    @GlebSolovev
    GlebSolovev committed May 20, 2024
    Configuration menu
    Copy the full SHA
    d1c9b84 View commit details
    Browse the repository at this point in the history

  7. Provide type checks for resolver's properties

    @GlebSolovev
    GlebSolovev committed May 20, 2024
    Configuration menu
    Copy the full SHA
    90c0ded View commit details
    Browse the repository at this point in the history

  8. Support ValidParamsResolverImpl type check

    @GlebSolovev
    GlebSolovev committed May 20, 2024
    Configuration menu
    Copy the full SHA
    bab6377 View commit details
    Browse the repository at this point in the history

  9. Spread type checks to single parameter resolvers

    @GlebSolovev
    GlebSolovev committed May 20, 2024
    Configuration menu
    Copy the full SHA
    a032df7 View commit details
    Browse the repository at this point in the history

  10. Test resolution of hidden wrong type

    @GlebSolovev
    GlebSolovev committed May 20, 2024
    Configuration menu
    Copy the full SHA
    57b9252 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2024

  1. Document parameter resolvers

    @GlebSolovev
    GlebSolovev committed May 22, 2024
    Configuration menu
    Copy the full SHA
    c64d181 View commit details
    Browse the repository at this point in the history

  2. Improve OpenAI tokens params default resolution

    @GlebSolovev
    GlebSolovev committed May 22, 2024
    Configuration menu
    Copy the full SHA
    6cb8fb9 View commit details
    Browse the repository at this point in the history

  3. Mention defaults in OpenAI settings description

    @GlebSolovev
    GlebSolovev committed May 22, 2024
    Configuration menu
    Copy the full SHA
    b90100f View commit details
    Browse the repository at this point in the history

  4. Merge branch 'v2.2.0-dev' into llm-services-improvement

    @GlebSolovev
    GlebSolovev committed May 22, 2024
    Configuration menu
    Copy the full SHA
    2cb6632 View commit details
    Browse the repository at this point in the history

  5. Update benchmarks: params resolution, muted mode

    @GlebSolovev
    GlebSolovev committed May 22, 2024
    Configuration menu
    Copy the full SHA
    9f6bb61 View commit details
    Browse the repository at this point in the history

  6. Test and fix proof extraction in GeneratedProof

    @GlebSolovev
    GlebSolovev committed May 22, 2024
    Configuration menu
    Copy the full SHA
    85f85b2 View commit details
    Browse the repository at this point in the history

  7. Improve English in CHANGELOG.md, items honesty

    @GlebSolovev
    GlebSolovev committed May 22, 2024
    Configuration menu
    Copy the full SHA
    ae0fefc View commit details
    Browse the repository at this point in the history

  8. Present 2.2.0 changes

    @GlebSolovev
    GlebSolovev committed May 22, 2024
    Configuration menu
    Copy the full SHA
    aa817fd View commit details
    Browse the repository at this point in the history

  9. Trigger CI on development PR-s

    @GlebSolovev
    GlebSolovev committed May 22, 2024
    Configuration menu
    Copy the full SHA
    0bc235a View commit details
    Browse the repository at this point in the history

Commits on May 23, 2024

  1. Comment on text format used by GenerationsLogger

    @GlebSolovev
    GlebSolovev committed May 23, 2024
    Configuration menu
    Copy the full SHA
    1ca0983 View commit details
    Browse the repository at this point in the history

  2. Manage node version via .nvmrc 

    Inspired by @K-dizzled
    @GlebSolovev
    GlebSolovev committed May 23, 2024
    Configuration menu
    Copy the full SHA
    71270b1 View commit details
    Browse the repository at this point in the history

  3. Cache opam on CI

    @GlebSolovev
    GlebSolovev committed May 23, 2024
    Configuration menu
    Copy the full SHA
    873c667 View commit details
    Browse the repository at this point in the history

  4. Remove redundant CI step

    @GlebSolovev
    GlebSolovev committed May 23, 2024
    Configuration menu
    Copy the full SHA
    eb83834 View commit details
    Browse the repository at this point in the history

  5. Enable dune-cache on CI

    @GlebSolovev
    GlebSolovev committed May 23, 2024
    Configuration menu
    Copy the full SHA
    a3e32cd View commit details
    Browse the repository at this point in the history

  6. Try to make opam cache work on CI

    @GlebSolovev
    GlebSolovev committed May 23, 2024
    Configuration menu
    Copy the full SHA
    995d89c View commit details
    Browse the repository at this point in the history

  7. Set back opam path to cache

    @GlebSolovev
    GlebSolovev committed May 23, 2024
    Configuration menu
    Copy the full SHA
    97422f6 View commit details
    Browse the repository at this point in the history

  8. Set up opam caches on CI properly

    @GlebSolovev
    GlebSolovev committed May 23, 2024
    Configuration menu
    Copy the full SHA
    8f9081a View commit details
    Browse the repository at this point in the history