Code

Introduce LSP#334

Code

Draft

NatKarmios wants to merge 6 commits intomasterGillianPlatform/Gillian:masterfrom nat/lspGillianPlatform/Gillian:nat/lspCopy head branch name to clipboard

+827-604

Commits

Commits on Feb 7, 2025

• Move Location to Utils

  NatKarmios

  committed
  212310e

  Copy full SHA for 212310e

Commits on Feb 10, 2025

• Introduce Gillian_result

  NatKarmios

  committed
  d6bfdd3

  Copy full SHA for d6bfdd3

• Install linol

  NatKarmios

  committed
  7e740e3

  Copy full SHA for 7e740e3

Commits on Feb 11, 2025

• Simplify console commands

  NatKarmios

  committed
  c56ea5f

  Copy full SHA for c56ea5f

Commits on Feb 12, 2025

• Make verifier give Gillian_result.t

  NatKarmios

  committed
  2914413

  Copy full SHA for 2914413

Commits on Feb 13, 2025

• WIP

  NatKarmios

  committed
  0295fe2

  Copy full SHA for 0295fe2