JetBrains-Research verified-cogen issues - Githubissues

JetBrains-Research / verified-cogen

Repo for PLAN's verified code generation project

5 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add try-logging to runners

#6 gt22 opened 28 minutes ago
0
Add support for multilang validating runners, use stateful runners

#5 WeetHet opened 1 week ago
2
Add tests that run on github actions

#4 WeetHet closed 1 week ago
0
Restructure, use poetry to build python package

#3 WeetHet closed 1 month ago
0
Tracking issue for benchmark syncronization

#2 WeetHet opened 2 months ago
2
Rework a bunch of code, add multi-language, multi-prompt support

#1 WeetHet closed 1 month ago
0