Branches

• witness_cammand_support protected

  223711ca · reformat · Aug 27, 2025
  !320
• ctype-qualifiers protected

  dd956913 · Add CTypeQualifiers.isEmpty as small shortcut · Aug 26, 2025
  !312
• Taint_Analysis_CPAchecker protected

  e3b15d83 · Update `__VERIFIER_is_public` parameter in `pwdcheck2_safe.c` to `1`. · Aug 24, 2025
  !190
• witness-memsafety protected

  b5b36963 · Added documentation for all relevant methods for the valid-assumption generation and export · Aug 22, 2025
  !242
• pattern-matching-switch protected

  c93585cd · Refactoring: use switch instead of manual cast · Aug 20, 2025
  !311
• 1293-support-arguments-for-entry-function-in-smg2 protected

  3f5a6fab · SMG2: add some unfinished code for entry function **char argument. Builds most... · Aug 20, 2025
• lemmas-in-predicate-analysis protected

  34bb2f7a · Add test cases where the property is violated · Aug 18, 2025
  !173
• alias-encoding protected

  b0eb39a0 · Fix typo and parameter name in JavaDoc · Aug 14, 2025
  !309
• sequencedcollection protected

  1af4d728 · Update Refaster rules to include those for Java 21 · Aug 14, 2025
  !308
• refactorings protected

  4577229d · Replace Guava's ThreadFactoryBuilder with Thread.Builder · Aug 12, 2025
  !307
• 1306-assertions-in-witnesses protected

  574d2107 · Add option to control if witness validation should check that invariants · Aug 08, 2025
  !303
• ValueNoSuccessorDueToTypeInAssume protected

  cced8b98 · added some instanceof pattern matching to simplify code · Aug 07, 2025
  !277
• 1362-add-fallback-for-smt-solver-transformation-of-ieee-floating-points-to-bitvectors protected

  a5fe85a4 · Use name for new nondet variable for bv variable in... · Aug 06, 2025
  !299
• java-21 protected

  9a7a96c2 · Simplify code now that we have access to new method · Aug 01, 2025
  !301
• termination-instrumentation-with-arrays-index-memory-no-assign protected

  8449f5bb · Change InstrumentationAutomaton to not use assignment function · Jul 25, 2025
• ValueConsiderTypeInAssume protected

  95ba7410 · fixed error prone warning · Jul 25, 2025
  !228
• 1359-witnesses-encode-floating-point-nan-incorrectly protected

  cadc15ac · Add NaN witness export to be included in common equation export correctly by... · Jul 23, 2025
  !297
• release-4.1 protected

  2b0cd991 · Also recommend Java 21 in our documentation. · Jul 22, 2025
  !295
• 1235-configs-for-symbolic-execution-do-not-use-default-specification-and-resource-limits protected

  e14ae42d · Reduce default spec due to multi includes in symEx configs · Jul 21, 2025
• termination-instrumentation-with-arrays protected

  e64df793 · Style and code changes to adher to cpachecker convention · Jul 19, 2025