Code

Various updates to ILVerify#18060

Code

Merged

vzarytovskii merged 5 commits intodotnet:maindotnet/fsharp:mainfrom vzarytovskii:ilverify-various-fixesvzarytovskii/fsharp:ilverify-various-fixesCopy head branch name to clipboardNov 26, 2024

+38-12

Commits

Commits on Nov 26, 2024

• Various updates to ILVerify

  vzarytovskii

  committed
  587543c

  Copy full SHA for 587543c

• Revert launch json

  vzarytovskii

  committed
  e1614d2

  Copy full SHA for e1614d2

• Merge branch 'main' into ilverify-various-fixes

  vzarytovskii

  authored
  e06953a

  Copy full SHA for e06953a

• Update DEVGUIDE.md

  vzarytovskii

  authored
  a493ff1

  Copy full SHA for a493ff1

• Merge remote-tracking branch 'upstream/main' into ilverify-various-fixes

  vzarytovskii

  committed
  314dceb

  Copy full SHA for 314dceb