plasma-umass/cwhy

Issues

• Azure OpenAI and/or LiteLLM Proxy Support

  #65 opened 3 months ago by dcieslak19973
  3

• Can this work with local llm like meta's llama

  #62 opened 8 months ago by ngeraks
  2

• Restore pipe functionality

  #63 opened 9 months ago by nicovank
  0

• Extend wrapper for all the other supported target languages

  #23 opened 9 months ago by emeryberger
  2

• Unable to use Bedrock API

  #61 opened 9 months ago by sunnyszy
  3

• [tracking] Possible issue with `get_truncated_error_message` when diagnostic is short

  #58 opened 9 months ago by nicovank
  0

• Wrapper mode on Windows

  #54 opened 10 months ago by nicovank
  2

• Wrapper mode is slow even when disabled

  #52 opened 10 months ago by nicovank
  1

• Rust: Support for cargo invocations.

  #39 opened a year ago by JohnScience
  6

• `cwhy` != `python3 -m cwhy`

  #40 opened a year ago by nicovank
  0

• CMake support

  #2 opened a year ago by vadi2
  4

• Regexes seem to be broken again with Clang

  #25 opened a year ago by nicovank
  3

• Edge case resulting in two blocks when they should be combined into a single code block

  #24 opened a year ago by emeryberger
  4

• Feature Request | C sharp support?

  #18 opened a year ago by BenjaminShinar
  3

• Including/excluding files in certain paths

  #17 opened a year ago by nicovank
  0

• Naming test files with the issue may be giving a hint to GPT

  #9 opened a year ago by nicovank
  4

• CWhy warning: file not found because "from" is also matched.

  #12 opened a year ago by nicovank
  1

• Integrating into build systems / CI -- using a compiler wrapper

  #7 opened a year ago by nicovank
  4

• SSL/HTTP error

  #10 opened 2 years ago by ProExpertProg
  8