search

runtimeverification / simbolik-vscode

BSD 3-Clause "New" or "Revised" License
12 stars 2 forks source link

Replace TOML parser. #8

Closed RaoulSchaffranek closed 4 months ago

RaoulSchaffranek commented 4 months ago

There is a bug in the TOML library we use to parse the foundry.toml file: https://github.com/BinaryMuse/toml-node/issues/46

This PR replaces the parser with smol-toml, which is more robust.