plasma-umass / cwhy

"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
Apache License 2.0
273 stars 6 forks source link

Factor out some functions into llm-utils #37

Closed nicovank closed 11 months ago

nicovank commented 11 months ago

This is just a proposal to factor out some functions into a common repository, for CWhy only for now.

I've used https://github.com/plasma-umass/llm-utils.

Transferred functions:

Future candidates:

Thoughts? Do we like it? Is it worth it?