Code

Improve error messages#4

Code

Open

lisandrasilva wants to merge 10 commits intomasterruntimeverification/simbolik-vscode:masterfrom lis/error-messagesruntimeverification/simbolik-vscode:lis/error-messagesCopy head branch name to clipboard

+113-57

Commits

Commits on May 8, 2024

• Added help button to error messages

  lisandrasilva

  committed
  ca2eb0b

  Copy full SHA for ca2eb0b

Commits on May 15, 2024

• refactored error messages

  lisandrasilva

  committed
  69df6a4

  Copy full SHA for 69df6a4

Commits on May 16, 2024

• Updated links for the Help button

  lisandrasilva

  committed
  d9eeedc

  Copy full SHA for d9eeedc

• Fixed action to const again

  lisandrasilva

  committed
  d3a5b39

  Copy full SHA for d3a5b39

Commits on May 25, 2024

• Merge branch 'master' into lis/error-messages

  RaoulSchaffranek

  committed
  5b640d7

  Copy full SHA for 5b640d7

• Merge branch 'master' into lis/error-messages

  RaoulSchaffranek

  committed
  bddd777

  Copy full SHA for bddd777

• Remove unused import

  RaoulSchaffranek

  committed
  4f8886e

  Copy full SHA for 4f8886e

Commits on May 27, 2024

• Merge branch 'master' into lis/error-messages

  lisandrasilva

  committed
  aad497f

  Copy full SHA for aad497f

• Fixed issues from merge

  lisandrasilva

  committed
  74a3be7

  Copy full SHA for 74a3be7

Commits on Jun 4, 2024

• Merge branch 'master' into lis/error-messages

  lisandrasilva

  authored
  efeb88c

  Copy full SHA for efeb88c