This adds support for using the tool with multiple languages by leveraging prompt directories and custom verifiers instead of relying on just dafny. It also adds RustBench files, that help in testing the tool on Rust files.
This also adds support for feeding the LLM verification errors from previous attempts
The other addition is a GUI for the tool, that allows to use it without relying solely on the command line interface.
At the same time it does not (seemingly) break anything compared to the current version of the tool in main branch, as it works fine with DafnyBench prompts
This adds support for using the tool with multiple languages by leveraging prompt directories and custom verifiers instead of relying on just dafny. It also adds RustBench files, that help in testing the tool on Rust files.
This also adds support for feeding the LLM verification errors from previous attempts
The other addition is a GUI for the tool, that allows to use it without relying solely on the command line interface.
At the same time it does not (seemingly) break anything compared to the current version of the tool in main branch, as it works fine with DafnyBench prompts