Code

Improve some error messages#372

Code

Merged

Nadrieril merged 12 commits intomainAeneasVerif/aeneas:mainfrom son/featuresAeneasVerif/aeneas:son/featuresCopy head branch name to clipboardNov 29, 2024

+68-19

Commits

Commits on Nov 28, 2024

• Generate better error messages to report mixed mut rec groups

  sonmarcho

  committed
  367b7a9

  Copy full SHA for 367b7a9

Commits on Nov 29, 2024

• Improve further the errors for mixed declaration groups

  sonmarcho

  committed
  86987da

  Copy full SHA for 86987da

• Improve the messages further

  sonmarcho

  committed
  0dccfdb

  Copy full SHA for 0dccfdb

• Update the Charon pin

  sonmarcho

  committed
  ac72c0c

  Copy full SHA for ac72c0c

• Update the Charon pin

  sonmarcho

  committed
  f572998

  Copy full SHA for f572998

• Update find_local_transitive_dep to properly update spans

  sonmarcho

  committed
  13c6928

  Copy full SHA for 13c6928

• Move some definitions and helpers to Charon-ML

  sonmarcho

  committed
  983a24c

  Copy full SHA for 983a24c

• Update the Charon pin

  sonmarcho

  committed
  5753a1c

  Copy full SHA for 5753a1c

• Update the Charon pin

  sonmarcho

  committed
  ad91974

  Copy full SHA for ad91974

• Update the nix file

  sonmarcho

  committed
  cc4a605

  Copy full SHA for cc4a605

• Update the Charon pin

  sonmarcho

  committed
  7881c3c

  Copy full SHA for 7881c3c

• Merge remote-tracking branch 'origin/main' into son/features

  sonmarcho

  committed
  e88a42b

  Copy full SHA for e88a42b