Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Apr 10, 2025

• upgrade versions to make the integration work again

  CatarinaGamboa

  committed
  6a7fec6

  Copy full SHA for 6a7fec6

Commits on Jun 7, 2021

• Extension working in linux. Workarround: Add a / (dash) in the beginning of the path!

  CatarinaGamboa

  committed
  aad1c1d

  Copy full SHA for aad1c1d

Commits on Jun 6, 2021

• Add new version of verifier to help in debug

  CatarinaGamboa

  committed
  3f6f845

  Copy full SHA for 3f6f845

Commits on May 12, 2021

• Visits the all workspace for the verification, instead of only the opened/changed file

  

  Catarina Ventura Gamboa

  committed
  c0c7dff

  Copy full SHA for c0c7dff

Commits on May 11, 2021

• Able to verify java code with refinements. Sends error when the verifications fails. In the moment not cleaning the diagnostics

  

  Catarina Ventura Gamboa

  committed
  b49f2b8

  Copy full SHA for b49f2b8

• Client and server communicating via sockets. Client in vscode and server in eclipse

  

  Catarina Ventura Gamboa

  committed
  8f9b49e

  Copy full SHA for 8f9b49e

• Add server

  

  Catarina Ventura Gamboa

  committed
  144f2e9

  Copy full SHA for 144f2e9

Loading