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

#13 Added VS Code support using LSP #14

Open
wants to merge 33 commits into
base: main
Choose a base branch
from
Open

#13 Added VS Code support using LSP #14

wants to merge 33 commits into from

Commits on Oct 5, 2024

  1. #13 Added IDE code and VS Extension

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    8b413fe View commit details
    Browse the repository at this point in the history

  2. #13 Added LSP Server

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    d179c16 View commit details
    Browse the repository at this point in the history

  3. #13 Added node_modules to task inputs

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    b2bc256 View commit details
    Browse the repository at this point in the history

  4. #13 Added .vscode to repository

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    f2b7c30 View commit details
    Browse the repository at this point in the history

  5. #13 Extracted generated IDE code to a separate task

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    b06c487 View commit details
    Browse the repository at this point in the history

  6. #13 Added license headers

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    89731af View commit details
    Browse the repository at this point in the history

  7. #13 Added OXSTS language descriptor files

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    10b4126 View commit details
    Browse the repository at this point in the history

  8. #13 Removed quickstart.md

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    0008e9c View commit details
    Browse the repository at this point in the history

  9. #13 Added NPM caching and vscode output to artifacts

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    7d37691 View commit details
    Browse the repository at this point in the history

  10. #13 Swallow all validator exceptions 

    so the LSP server does not terminate when an exception is thrown during validation. Usually exceptions are only thrown, when the model is not well-formed, which will either be a syntactical error (will be displayed on the client), or another validation rule will find it. In either case, we can safely ignore all exceptions.
    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    6dd4fdf View commit details
    Browse the repository at this point in the history

  11. #13 Fixed absolute file paths not working

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    21ff0b1 View commit details
    Browse the repository at this point in the history

  12. #13 Added compilation runtime config

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    51fd927 View commit details
    Browse the repository at this point in the history

  13. #13 Use installDist instead of distTar

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    0ad4ff8 View commit details
    Browse the repository at this point in the history

  14. #13 Add compiler to VS Code

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    28fc773 View commit details
    Browse the repository at this point in the history

  15. #13 Oxsts reader with directory or file reading

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    53db245 View commit details
    Browse the repository at this point in the history

  16. #13 Added compile and verify intellisense commands

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    29518f5 View commit details
    Browse the repository at this point in the history

  17. #13 Removed space from directory name

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    c13ef98 View commit details
    Browse the repository at this point in the history

  18. #13 Added XSTS syntax highlight

    @arminzavada
    arminzavada committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    dc642bb View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2024

  1. #13 Removed bind configuration

    @arminzavada
    arminzavada committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    7aab501 View commit details
    Browse the repository at this point in the history

  2. #13 Removed redundant throws type

    @arminzavada
    arminzavada committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    92be1d1 View commit details
    Browse the repository at this point in the history

  3. #13 Added XSTS LSP server

    @arminzavada
    arminzavada committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    2761898 View commit details
    Browse the repository at this point in the history

  4. #13 Renamed extension from oxsts-vs-code to semantifyr-vscode

    @arminzavada
    arminzavada committed Oct 6, 2024
    Configuration menu
    Copy the full SHA
    13d393f View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. #13 Removed property file from theta execution

    @arminzavada
    arminzavada committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    d2a837a View commit details
    Browse the repository at this point in the history

  2. #13 Extracted Theta version to environment variable

    @arminzavada
    arminzavada committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    e8207a9 View commit details
    Browse the repository at this point in the history

  3. #13 Refactored Theta execution code to main

    @arminzavada
    arminzavada committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    11d59de View commit details
    Browse the repository at this point in the history

  4. #13 Renamed compiler module to semantifyr

    @arminzavada
    arminzavada committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    b798cac View commit details
    Browse the repository at this point in the history

  5. #13 Introduced verification command

    @arminzavada
    arminzavada committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    480bdfb View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. #13 Added missing license files to run configs

    @arminzavada
    arminzavada committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    dec43a5 View commit details
    Browse the repository at this point in the history

  2. #13 Added logging information

    @arminzavada
    arminzavada committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    c4ce635 View commit details
    Browse the repository at this point in the history

  3. #13 Added timeout to verification CLI

    @arminzavada
    arminzavada committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    6d15051 View commit details
    Browse the repository at this point in the history

  4. #13 Turned on choice-else rewriting

    @arminzavada
    arminzavada committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    c1d67d8 View commit details
    Browse the repository at this point in the history

  5. #13 Added XSTS verification context action

    @arminzavada
    arminzavada committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    4ae53fe View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2024

  1. #13 Added oxsts.model eclipse project desc files

    @arminzavada
    arminzavada committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    979a106 View commit details
    Browse the repository at this point in the history