Commits

Branch selector

 stable

User selector

mikhailramalho

Datepicker

All time

Commit History

Commits on Dec 11, 2018

• [analyzer] Cleanup constructors in the Z3 backend

  Show description for 83ce74e
  

  mikhailramalho

  authored and

  George Karpenkov

  committed
  83ce74e

Commits on Nov 28, 2018

• [analyzer] Cleanup constructors in the Z3 backend

  Show description for 22af15b
  mikhailramalho

  committed
  22af15b

Commits on Oct 31, 2018

• [analyzer] Move canReasonAbout from Z3ConstraintManager to SMTConstraintManager

  Show description for 742efbb
  

  mikhailramalho

  authored and

  haoNoQ

  committed
  742efbb

• [analyzer] Fixed bitvector from model always being unsigned

  Show description for 289b223
  

  mikhailramalho

  authored and

  haoNoQ

  committed
  289b223

Commits on Oct 25, 2018

• [analyzer] Move canReasonAbout from Z3ConstraintManager to SMTConstraintManager

  Show description for 040bc25
  mikhailramalho

  committed
  040bc25

• [analyzer] Fixed bitvector from model always being unsigned

  Show description for b264f83
  mikhailramalho

  committed
  b264f83

Commits on Oct 2, 2018

• [analyzer] Improvements to the SMT API

  Show description for 06d4690
  mikhailramalho

  committed
  06d4690

Commits on Oct 1, 2018

• [analyzer] added cache for SMT queries in the SMTConstraintManager

  Show description for 31f8150
  

  mikhailramalho

  authored and

  George Karpenkov

  committed
  31f8150

• [analyzer] Moved all CSA code from the SMT API to a new header, SMTConv.h. NFC.

  Show description for f7f6fad
  

  mikhailramalho

  authored and

  George Karpenkov

  committed
  f7f6fad

• [analyzer] Templatefy SMTConstraintManager so more generic code can be moved from solver specific implementations. NFC.

  Show description for 517e486
  

  mikhailramalho

  authored and

  George Karpenkov

  committed
  517e486

• [analyzer] Delete SMTContext. NFC.

  Show description for d15e5e2
  

  mikhailramalho

  authored and

  George Karpenkov

  committed
  d15e5e2

Commits on Aug 23, 2018

• [analyzer] added cache for SMT queries in the SMTConstraintManager

  Show description for e29bf81
  mikhailramalho

  committed
  e29bf81

• [analyzer] Moved all CSA code from the SMT API to a new header, SMTConv.h. NFC.

  Show description for 60783c8
  mikhailramalho

  committed
  60783c8

• [analyzer] Templatefy SMTConstraintManager so more generic code can be moved from solver specific implementations. NFC.

  Show description for 420fb7b
  mikhailramalho

  committed
  420fb7b

• [analyzer] Delete SMTContext. NFC.

  Show description for 1aaf4d6
  mikhailramalho

  committed
  1aaf4d6

Commits on Jul 26, 2018

• [analyzer] Fixed method to get APSInt model

  Show description for c0a5214
  mikhailramalho

  committed
  c0a5214

Commits on Jul 25, 2018

• [analyzer] Update SMT API documentation and methods

  Show description for 21c0557
  mikhailramalho

  committed
  21c0557

• [analyzer] Fix compilation when LLVM_ENABLE_MODULES=ON

  Show description for b4e6971
  mikhailramalho

  committed
  b4e6971

• [analyzer] Use the macro REGISTER_TRAIT_WITH_PROGRAMSTATE in the Z3 backend

  Show description for 18b6344
  mikhailramalho

  committed
  18b6344

• [analyzer] Removed API used by the Refutation Manager from SMTConstraintManager and replace by proper calls to SMTSolver

  Show description for 7179078
  mikhailramalho

  committed
  7179078

• [analyzer] Moved code from SMTConstraintManager to SMTSolver

  Show description for 3750877
  mikhailramalho

  committed
  3750877

• [analyzer] Try to minimize the number of equivalent bug reports evaluated by the refutation manager

  Show description for 877e8da
  mikhailramalho

  committed
  877e8da

• [analyzer] Moved non solver specific code from Z3ConstraintManager to SMTConstraintManager

  Show description for 45c3889
  mikhailramalho

  committed
  45c3889

• [analyzer] Implemented SMT generic API

  Show description for c42f637
  mikhailramalho

  committed
  c42f637

• [analyzer] Create generic SMT Expr class

  Show description for 9a5865c
  mikhailramalho

  committed
  9a5865c

• [analyzer] Create generic SMT Sort Class

  Show description for 143e570
  mikhailramalho

  committed
  143e570

• [analyzer] Moved static Context to class member

  Show description for 7fffe4e
  mikhailramalho

  committed
  7fffe4e

• [analyzer] Create generic SMT Context class

  Show description for 5f3a8d4
  mikhailramalho

  committed
  5f3a8d4

Commits on Jul 19, 2018

• [analyzer] Memoize complexity of SymExpr

  Show description for 6efe165
  mikhailramalho

  committed
  6efe165

Commits on Jul 17, 2018

• [analyzer] Fix Z3 backend after D48205

  Show description for 387f78a
  mikhailramalho

  committed
  387f78a

Commits on Jul 16, 2018

• [analyzer] Fix the Z3 backend always generating unsigned APSInt

  Show description for 0b743c4
  mikhailramalho

  committed
  0b743c4

• [analyzer] Fix constraint being dropped when analyzing a program without taint tracking enabled

  Show description for 6fda594
  mikhailramalho

  committed
  6fda594

Commits on Jul 10, 2018

• [analyzer] Add option to set maximum symbol complexity threshold

  Show description for d94210c
  mikhailramalho

  committed
  d94210c

Commits on Jun 29, 2018

• [analyzer] Replace the vector of ConstraintSets by a single ConstraintSet and a function to merge ConstraintSets

  Show description for bcf5ad3
  mikhailramalho

  committed
  bcf5ad3

Commits on Jun 28, 2018

• [analyzer] fix test case expected warning

  Show description for 1670f60
  mikhailramalho

  committed
  1670f60

Pagination

Previous

Next