Code

More error fixes#313

Code

Merged

mtzguido merged 13 commits intoFStarLang:mainFStarLang/pulse:mainfrom mtzguido:errsmtzguido/pulse:errsCopy head branch name to clipboardFeb 7, 2025

+485-159

Commits

Commits on Feb 7, 2025

• typo

  mtzguido

  committed
  90b6ec9

  Copy full SHA for 90b6ec9

• Adding bug repros

  mtzguido

  committed
  5f7e252

  Copy full SHA for 5f7e252

• Checker.Return: range bounding for bad F* ranges

  Show description for 8cb68db
  mtzguido

  committed
  8cb68db

  Copy full SHA for 8cb68db

• test: allow to open in VS code without full build

  mtzguido

  committed
  ca48b04

  Copy full SHA for ca48b04

• Add more repros

  mtzguido

  committed
  9061b53

  Copy full SHA for 9061b53

• Add test for FStarLang#278

  mtzguido

  committed
  bec1e14

  Copy full SHA for bec1e14

• Rename old issue (number confusion due to github issue migration)

  mtzguido

  committed
  da48f7b

  Copy full SHA for da48f7b

• Checker.Match: fix to use new F* type for primitive

  Show description for 02cb6ff
  mtzguido

  committed
  02cb6ff

  Copy full SHA for 02cb6ff

• Add repro for FStarLang#111

  mtzguido

  committed
  1730c03

  Copy full SHA for 1730c03

• Add repro for FStarLang#169

  mtzguido

  committed
  ad8d11d

  Copy full SHA for ad8d11d

• Update expected output: spurious error gone

  mtzguido

  committed
  63b0862

  Copy full SHA for 63b0862

• Update expected error code

  mtzguido

  committed
  2eac601

  Copy full SHA for 2eac601

• Move some tests from share/ to test/, add expected output

  mtzguido

  committed
  2e71add

  Copy full SHA for 2e71add