Code

Features/quick filter fix bug vs2019#3

Code

Draft

qinheping wants to merge 19 commits intodevelopqinheping/cbmc:developfrom features/quick-filter-fix-bug-vs2019qinheping/cbmc:features/quick-filter-fix-bug-vs2019Copy head branch name to clipboard

+576-114

Commits

Commits on Oct 13, 2023

• Restrict memory-analyzer build to Linux x86_64/i386

  Show description for a738f6d
  tautschnig

  committed
  a738f6d

Commits on Oct 18, 2023

• Add appropriate names to steps of code QL jobs

  Show description for 21ca56c
  thomasspriggs

  committed
  21ca56c

• Inline two small functions that are only used in one place

  martin-cs

  committed
  549558e

• Refactor three-way-merge so that it makes more sense

  Show description for 515f263
  martin-cs

  committed
  515f263

Commits on Oct 19, 2023

• Merge pull request diffblue#7929 from martin-cs/refactor/tidy-up-three-way-merge

  Show description for a6c5175
  martin-cs

  authored
  a6c5175

• Merge pull request diffblue#7967 from thomasspriggs/tas/name_code_ql_steps

  Show description for 2bab0b3
  thomasspriggs

  authored
  2bab0b3

Commits on Oct 20, 2023

• Merge pull request diffblue#7958 from tautschnig/bugfixes/memory-analyzer-config

  Show description for 10f277c
  

  Enrico Steffinlongo

  authored
  10f277c

• Use only symbols from the original goto as terminals in synthesizer

  Show description for 535bf95
  qinheping

  committed
  535bf95

• Merge pull request diffblue#7970 from qinheping/features/better-terminals-in-synthesizer

  Show description for a010865
  qinheping

  authored
  a010865

• Fix contains_symbol_prefix in goto-synthesizer

  Show description for 6f7210a
  qinheping

  committed
  6f7210a

• Add quick filter into goto-synthesizer

  Show description for 44e2221
  qinheping

  committed
  44e2221

• print cex for debug

  qinheping

  committed
  95f3ba3

Commits on Oct 22, 2023

• print terminals for debug

  qinheping

  committed
  3fd1fbe

Commits on Oct 23, 2023

• Print evaluation progress for debug

  qinheping

  committed
  e0fb994

• Checks only strengthening clauses

  qinheping

  committed
  a72e2ce

Commits on Oct 24, 2023

• Make tests failed

  qinheping

  committed
  153be82

• More detail of synthesis03 for debug

  qinheping

  committed
  9cc2930

• Try unsigned malloc

  qinheping

  committed
  6edad0b

Commits on Oct 26, 2023

• Try to reproduce bugs without synthesis

  qinheping

  committed
  abcdb01