Commits

Branch selector

 master

User selector

afonsonf

Datepicker

All time

Commit History

Commits on Aug 29, 2024

• fix: var names

  Show description for 22c3497
  

  afonsonf

  authored and

  lemmy

  committed
  22c3497

  Copy full SHA for 22c3497

• fix: file path parsing in sany output

  Show description for 32f2b5b
  

  afonsonf

  authored and

  lemmy

  committed
  32f2b5b

  Copy full SHA for 32f2b5b

Commits on Sep 10, 2023

• Highlight variable change type

  Show description for 8371e8b
  

  afonsonf

  authored and

  lemmy

  committed
  8371e8b

  Copy full SHA for 8371e8b

Commits on Sep 6, 2023

• ignore line length for regex expressions

  Show description for 96bad1a
  

  afonsonf

  authored and

  lemmy

  committed
  96bad1a

  Copy full SHA for 96bad1a

• Show deleted items in error trace

  Show description for 337b7f5
  

  afonsonf

  authored and

  lemmy

  committed
  337b7f5

  Copy full SHA for 337b7f5

Commits on Jul 23, 2023

• Merge pull request tlaplus#298 from afonsonf/fix-open-empty-webview-window

  Show description for af2861b
  afonsonf

  authored
  af2861b

  Copy full SHA for af2861b

Commits on Jul 22, 2023

• Fix render of empty webview on new model check

  Show description for 737eadd
  afonsonf

  committed
  737eadd

  Copy full SHA for 737eadd

• Merge pull request tlaplus#299 from afonsonf/fix-devcontainer-jre-installation

  Show description for 4d327cc
  afonsonf

  authored
  4d327cc

  Copy full SHA for 4d327cc

• Pin OS version to bullseye

  Show description for 969d92d
  afonsonf

  committed
  969d92d

  Copy full SHA for 969d92d

Commits on Jul 17, 2023

• Merge pull request tlaplus#296 from afonsonf/fix-295-opened-webview-position

  Show description for 339b9bc
  afonsonf

  authored
  339b9bc

  Copy full SHA for 339b9bc

Commits on Jul 16, 2023

• Use last used webview when checking model

  Show description for 62535bf
  afonsonf

  committed
  62535bf

  Copy full SHA for 62535bf

• Improve webview code

  Show description for ae86a0f
  afonsonf

  committed
  ae86a0f

  Copy full SHA for ae86a0f

• Update packages with vulnerabilities

  Show description for 5cdccf3
  afonsonf

  committed
  5cdccf3

  Copy full SHA for 5cdccf3

Commits on Jun 30, 2023

• Fix tree item text color (tlaplus#294)

  Show description for 3af2dce
  afonsonf

  authored
  3af2dce

  Copy full SHA for 3af2dce

Commits on Jun 13, 2023

• Merge pull request tlaplus#289 from afonsonf/refactor-webview-using-vscode-toolkit

  Show description for df76b00
  afonsonf

  authored
  df76b00

  Copy full SHA for df76b00

Commits on May 28, 2023

• Refactor webview

  Show description for 75c528c
  afonsonf

  committed
  75c528c

  Copy full SHA for 75c528c

Commits on May 19, 2023

• Update packages and build

  Show description for 0e16f40
  afonsonf

  committed
  0e16f40

  Copy full SHA for 0e16f40

Commits on Apr 28, 2023

• Merge pull request tlaplus#286 from afonsonf/enable-extension-in-the-web

  Show description for f73def5
  afonsonf

  authored
  f73def5

  Copy full SHA for f73def5

• Enable extension in browser environments

  Show description for 3cd4d47
  afonsonf

  committed
  3cd4d47

  Copy full SHA for 3cd4d47

Commits on Apr 24, 2023

• Merge pull request tlaplus#283 from afonsonf/add-build-using-esbuild

  Show description for 6eebff8
  afonsonf

  authored
  6eebff8

  Copy full SHA for 6eebff8

• Introduce bundling using esbuild

  Show description for 87baf31
  afonsonf

  committed
  87baf31

  Copy full SHA for 87baf31

• Package update and linter fixes

  Show description for d226c5f
  afonsonf

  committed
  d226c5f

  Copy full SHA for d226c5f

Commits on Apr 17, 2023

• Add java and latex to container (tlaplus#281)

  Show description for bd42b64
  afonsonf

  authored
  bd42b64

  Copy full SHA for bd42b64

Commits on Apr 8, 2023

• Add vscode dev container config

  Show description for feb2143
  

  afonsonf

  authored and

  lemmy

  committed
  feb2143

  Copy full SHA for feb2143

• Upgrade packages and fix warnings

  Show description for 4cc205b
  

  afonsonf

  authored and

  lemmy

  committed
  4cc205b

  Copy full SHA for 4cc205b