Code

Vscode Extension Timeout Handling#60

Code

Merged

Philipp15b merged 6 commits intomoves-rwth:mainmoves-rwth/caesar:mainfrom umutdural:vscode-ext-timeout-handlingumutdural/caesar:vscode-ext-timeout-handlingCopy head branch name to clipboardJan 17, 2025

+353-152

Commits

Commits on Dec 18, 2024

• vscode-ext: timeout handling, better unknown diagnostics, better gutter status for timeouts

  umutdural

  committed
  e64383a

  Copy full SHA for e64383a

• removed unused crate feature

  umutdural

  committed
  42f33f9

  Copy full SHA for 42f33f9

Commits on Dec 23, 2024

• timeout: more limit checks, comments, proper handling of delayed limit errors

  umutdural

  committed
  9c46519

  Copy full SHA for 9c46519

Commits on Dec 24, 2024

• Merge branch 'main' into vscode-ext-timeout-handling

  umutdural

  committed
  14c145f

  Copy full SHA for 14c145f

Commits on Jan 14, 2025

• timeout: moved marking of timed-out procs with 'unknown' to the client-side & refactoring

  umutdural

  committed
  fb81c84

  Copy full SHA for fb81c84

Commits on Jan 16, 2025

• timeout: moved marking of timed-out procs back to the server

  umutdural

  committed
  0d1b9cc

  Copy full SHA for 0d1b9cc