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

Client update to connect to ViperServer's language server #113

Merged
merged 86 commits into from
Oct 3, 2022
Merged

Client update to connect to ViperServer's language server #113

merged 86 commits into from
Oct 3, 2022

Commits on Jul 5, 2022

  1. Connected ViperServer to Viper IDE

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    4857a78 View commit details
    Browse the repository at this point in the history

  2. verification running, diagnostics showing

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    d3f2d58 View commit details
    Browse the repository at this point in the history

  3. main verification cycle error-free

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    896486a View commit details
    Browse the repository at this point in the history

  4. added cache flushing and proper termination

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    6e602b0 View commit details
    Browse the repository at this point in the history

  5. implemented Carbon/Silicon swap

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    13f2b6d View commit details
    Browse the repository at this point in the history

  6. Made backend swap work

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    30b9c38 View commit details
    Browse the repository at this point in the history

  7. start ViperServer on cp to LSP frontent

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    bb5f859 View commit details
    Browse the repository at this point in the history

  8. removed files from git, cleaned up code

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    684ae26 View commit details
    Browse the repository at this point in the history

  9. cleaned settings

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    9d4ebd1 View commit details
    Browse the repository at this point in the history

  10. Further cleaning, updated copyright header.

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    ee44e53 View commit details
    Browse the repository at this point in the history

  11. removed 'server' codebase

    @ArquintL
    Valentin authored and ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    2d61e33 View commit details
    Browse the repository at this point in the history

  12. removes remaining files in server/

    @ArquintL
    ArquintL committed Jul 5, 2022
    Configuration menu
    Copy the full SHA
    cfd2646 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2022

  1. improves LSP integration and calculates number of warnings and errors… 

    … on client side
    @ArquintL
    ArquintL committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    140237c View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2022

  1. saves on-going work

    @ArquintL
    ArquintL committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    631a270 View commit details
    Browse the repository at this point in the history

  2. cleanup

    @ArquintL
    ArquintL committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    9e1379d View commit details
    Browse the repository at this point in the history

  3. correctly handles settings changes and ViperTools updates

    @ArquintL
    ArquintL committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    f0d77e0 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2022

  1. integrates Settings checks

    @ArquintL
    ArquintL committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    3ee9581 View commit details
    Browse the repository at this point in the history

  2. resolves conflicts

    @ArquintL
    ArquintL committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    6eeda88 View commit details
    Browse the repository at this point in the history

  3. reenables macos

    @ArquintL
    ArquintL committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    1f62bc6 View commit details
    Browse the repository at this point in the history

  4. fixes CI

    @ArquintL
    ArquintL committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    9aebd52 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2022

  1. extends CI to release release candidates as pre-releases to the VSCod… 

    …e Marketplace
    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    98b15d1 View commit details
    Browse the repository at this point in the history

  2. attempts to fix CI

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    b570cd5 View commit details
    Browse the repository at this point in the history

  3. yet another attempt

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    7f69a55 View commit details
    Browse the repository at this point in the history

  4. restricts CI to a single test suite

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    7fd1e14 View commit details
    Browse the repository at this point in the history

  5. improves & adds log output

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    f218ae0 View commit details
    Browse the repository at this point in the history

  6. wraps exported API with more logging

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    62162f2 View commit details
    Browse the repository at this point in the history

  7. fixes wrapper for exported extension functions

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    98d764a View commit details
    Browse the repository at this point in the history

  8. updates dependencies

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    c684a6e View commit details
    Browse the repository at this point in the history

  9. stores ViperServer log file at same location as log file from client

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    42cd58b View commit details
    Browse the repository at this point in the history

  10. reduces unit test further

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    30bb79a View commit details
    Browse the repository at this point in the history

  11. enables more log output

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    8d820bd View commit details
    Browse the repository at this point in the history

  12. escapes path to ViperServer logfile, adds option to trace LSP communi… 

    …cation, updates languageclient dependency
    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    9a5d74e View commit details
    Browse the repository at this point in the history

  13. redirects LSP trace to log file during unit tests

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    eac3092 View commit details
    Browse the repository at this point in the history

  14. delays connection to server

    @ArquintL
    ArquintL committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    83417dc View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2022

  1. removes nightly test configuration and adds LSP trace logging to vsco… 

    …de config in CI
    @ArquintL
    ArquintL committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    968750a View commit details
    Browse the repository at this point in the history

  2. re-adding nightly config since there is an almost up-to-date Viper-ID… 

    …E nightly release
    @ArquintL
    ArquintL committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    b1bfab4 View commit details
    Browse the repository at this point in the history

  3. enables mode for ViperServer

    @ArquintL
    ArquintL committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    669b659 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2022

  1. adapts CI to download ViperServer JAR from polybox

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    9a78764 View commit details
    Browse the repository at this point in the history

  2. fixes CI adaptations

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    748d5bd View commit details
    Browse the repository at this point in the history

  3. follows redirects for downloading ViperTools and ViperServer

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    85345e1 View commit details
    Browse the repository at this point in the history

  4. generalizes CI

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    909f336 View commit details
    Browse the repository at this point in the history

  5. ensures that directory for setting configs indeed exists

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    78efed6 View commit details
    Browse the repository at this point in the history

  6. removes artificial wait

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    0f4cbd9 View commit details
    Browse the repository at this point in the history

  7. fixes log level for ViperServer

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    02cb758 View commit details
    Browse the repository at this point in the history

  8. uses SIGTERM instead of SIGINT to terminate the server process

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    bb2d116 View commit details
    Browse the repository at this point in the history

  9. reduces test timeout

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    079ca0d View commit details
    Browse the repository at this point in the history

  10. reenables all test suites

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    8302465 View commit details
    Browse the repository at this point in the history

  11. sets loglevel to none for unit tests

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    94129f3 View commit details
    Browse the repository at this point in the history

  12. closes editor before every test suite

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    cc0eb3f View commit details
    Browse the repository at this point in the history

  13. closes open editors after starting the extension

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    6fd1801 View commit details
    Browse the repository at this point in the history

  14. close file before opening next one

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    e422b84 View commit details
    Browse the repository at this point in the history

  15. closes all open files before each test suite

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    73aadcb View commit details
    Browse the repository at this point in the history

  16. changes test suite startup to only await backend start

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    b604323 View commit details
    Browse the repository at this point in the history

  17. explicitly verify file after tools update

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    b6b4857 View commit details
    Browse the repository at this point in the history

  18. adds more log output

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    f6b1a20 View commit details
    Browse the repository at this point in the history

  19. removes FileOpened event handling

    @ArquintL
    ArquintL committed Sep 22, 2022
    Configuration menu
    Copy the full SHA
    9fd202a View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2022

  1. simplifies LSP communication

    @ArquintL
    ArquintL committed Sep 26, 2022
    Configuration menu
    Copy the full SHA
    e761bfd View commit details
    Browse the repository at this point in the history

  2. adapts unit tests to changes and improves stopping of verifications

    @ArquintL
    ArquintL committed Sep 26, 2022
    Configuration menu
    Copy the full SHA
    c32238e View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2022

  1. improves task handling in verification controller

    @ArquintL
    ArquintL committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    397b393 View commit details
    Browse the repository at this point in the history

  2. removes unused code and updates dependencies

    @ArquintL
    ArquintL committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    77a9644 View commit details
    Browse the repository at this point in the history

  3. fixes CI

    @ArquintL
    ArquintL committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    2f4ba78 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2022

  1. adds missing file

    @ArquintL
    ArquintL committed Sep 29, 2022
    Configuration menu
    Copy the full SHA
    b99eea3 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2022

  1. updates to latest LSP client, adapts LSP messages to be compliant (i.… 

    …e. all params are JSON objects), adds a client & server version check
    @ArquintL
    ArquintL committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    884f337 View commit details
    Browse the repository at this point in the history

  2. enable logging of ViperServer

    @ArquintL
    ArquintL committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    319d5d0 View commit details
    Browse the repository at this point in the history

  3. removes additional ViperServer logging

    @ArquintL
    ArquintL committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    f6b440f View commit details
    Browse the repository at this point in the history

  4. extends & fixes linting

    @ArquintL
    ArquintL committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    7727088 View commit details
    Browse the repository at this point in the history

  5. adds test configuration to test against nightly builds

    @ArquintL
    ArquintL committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    4502e77 View commit details
    Browse the repository at this point in the history

  6. fixes tests with multiple setting files

    @ArquintL
    ArquintL committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    31b94ce View commit details
    Browse the repository at this point in the history

  7. some improvements

    @ArquintL
    ArquintL committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    d3f80e5 View commit details
    Browse the repository at this point in the history

  8. improves Viper-IDE if server could not be started

    @ArquintL
    ArquintL committed Sep 30, 2022
    Configuration menu
    Copy the full SHA
    7551a78 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2022

  1. fixes CI for pre-releases, adds mechanism to detect pre-releases to t… 

    …he client, and disallows 'Stable' build versions in pre-releases
    @ArquintL
    ArquintL committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    55cb174 View commit details
    Browse the repository at this point in the history

  2. since the extension registers handlers early on, we ignore tasks that… 

    … try to get added before the extension has been properly started
    @ArquintL
    ArquintL committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    ce0ce3a View commit details
    Browse the repository at this point in the history

  3. another attempt to make unit tests more stable

    @ArquintL
    ArquintL committed Oct 1, 2022
    Configuration menu
    Copy the full SHA
    7ae3023 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2022

  1. another attept to make unit tests more stable

    @ArquintL
    ArquintL committed Oct 2, 2022
    Configuration menu
    Copy the full SHA
    7013780 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2022

  1. fixes a timeout during a unit test

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    6b544f6 View commit details
    Browse the repository at this point in the history

  2. temporarily disables testing against the nightly ViperServer build

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    e88f008 View commit details
    Browse the repository at this point in the history

  3. increases timeout

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    092dbb8 View commit details
    Browse the repository at this point in the history

  4. improves .gitignore files

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    50881f9 View commit details
    Browse the repository at this point in the history

  5. Reverts "temporarily disables testing against the nightly ViperServer… 

    … build"

This reverts commit e88f008.
    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    915b91f View commit details
    Browse the repository at this point in the history

  6. cleanup

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    fdb323d View commit details
    Browse the repository at this point in the history

  7. stops CI from testing against a local ViperServer version

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    03f03a6 View commit details
    Browse the repository at this point in the history

  8. fixes flags in CI

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    7c5c00e View commit details
    Browse the repository at this point in the history

  9. test

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    8e2ed11 View commit details
    Browse the repository at this point in the history

  10. another attempt to fix boolean expressions in CI

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    a35492e View commit details
    Browse the repository at this point in the history

  11. yet another attempt

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    bca78bb View commit details
    Browse the repository at this point in the history

  12. disables CI test against local ViperServer version (now for real)

    @ArquintL
    ArquintL committed Oct 3, 2022
    Configuration menu
    Copy the full SHA
    f2cd2f8 View commit details
    Browse the repository at this point in the history