Add support for multilang validating runners, use stateful runners

JetBrains-Research / verified-cogen

Repo for PLAN's verified code generation project

5 stars 0 forks source link

Add support for multilang validating runners, use stateful runners #5

Closed WeetHet closed 1 day ago

alex28sh commented 1 week ago

@WeetHet is it ready for running on Nagini?

WeetHet commented 1 week ago

You'd have to edit the incremental_run.py file a bit to glob over then python files and use Nagini from the LanguageDatabase, other than that it should be fine