Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Feb 15, 2024

• Starting pluging extended protocol.

  rtetley

  committed
  a86c5e5

  Copy full SHA for a86c5e5

• Plug textDocumentDidOpen and init phase

  rtetley

  committed
  0a6f958

  Copy full SHA for 0a6f958

• Initialized state and scope.

  rtetley

  committed
  2d4b59e

  Copy full SHA for 2d4b59e

Commits on Jul 4, 2023

• Setting submodule branch

  rtetley

  committed
  23e400a

  Copy full SHA for 23e400a

• Updated submodule + started pluging easycrypt

  rtetley

  committed
  5c4dd94

  Copy full SHA for 5c4dd94

Commits on Jun 28, 2023

• Scafolding for the easycrypt language server

  rtetley

  committed
  4ca2b26

  Copy full SHA for 4ca2b26

• Changing submodule branch

  rtetley

  committed
  7d131e6

  Copy full SHA for 7d131e6

• Adding easycrypt as a submodule

  rtetley

  committed
  a5461a5

  Copy full SHA for a5461a5

Commits on Jun 12, 2023

• init

  

  Romain Tetley

  committed
  3842c03

  Copy full SHA for 3842c03