plasma-umass/cwhy

Issues

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

  #62 opened 2 months ago by ngeraks
  2

• Restore pipe functionality

  #63 opened 3 months ago by nicovank
  0

• Extend wrapper for all the other supported target languages

  #23 opened 4 months ago by emeryberger
  2

• Unable to use Bedrock API

  #61 opened 4 months ago by sunnyszy
  3

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

  #58 opened 4 months ago by nicovank
  0

• Wrapper mode on Windows

  #54 opened 4 months ago by nicovank
  2

• Wrapper mode is slow even when disabled

  #52 opened 4 months ago by nicovank
  1

• Rust: Support for cargo invocations.

  #39 opened 7 months ago by JohnScience
  6

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

  #40 opened 7 months ago by nicovank
  0

• CMake support

  #2 opened 8 months ago by vadi2
  4

• Regexes seem to be broken again with Clang

  #25 opened 8 months ago by nicovank
  3

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

  #24 opened 9 months ago by emeryberger
  4

• Feature Request | C sharp support?

  #18 opened 9 months ago by BenjaminShinar
  3

• Including/excluding files in certain paths

  #17 opened 10 months ago by nicovank
  0

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

  #9 opened 10 months 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 a year ago by ProExpertProg
  8