Commits · d970ab63e22eb5918774953da6b99ac27e5832a0 · Roger Ferrer / llvm-epi · GitLab

Aug 29, 2018
- [analyzer] Move analyzer-eagerly-assume to AnalyzerOptions, enable by default · a393e68b
  George Karpenkov authored Aug 29, 2018
  a393e68b
Jun 06, 2018
- [Analyzer][Z3] Test fixes for Z3 constraint manager · a7d25d59
  Vlad Tsyrklevich authored Jun 06, 2018
  a7d25d59
Mar 03, 2017
- Reland 4: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 184c6242
  Dominic Chen authored Mar 03, 2017
  184c6242
- Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support... · 09d66f75
  Dominic Chen authored Mar 02, 2017
  09d66f75
- Reland 3: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · feaf9ff5
  Dominic Chen authored Mar 02, 2017
  feaf9ff5
Mar 02, 2017
- Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support... · 4a90bf8c
  Dominic Chen authored Mar 02, 2017
  4a90bf8c
- Reland 2: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 1cb0256a
  Dominic Chen authored Mar 02, 2017
  1cb0256a
Feb 28, 2017
- Revert "Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers" · 00355a51
  Dominic Chen authored Feb 28, 2017
  00355a51
- Reland: [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 59cd8933
  Dominic Chen authored Feb 28, 2017
  59cd8933
Feb 27, 2017
- Revert "[analyzer] NFC: Update test infrastructure to support multiple constraint managers" · 8589e10c
  Dominic Chen authored Feb 27, 2017
  8589e10c
- [analyzer] NFC: Update test infrastructure to support multiple constraint managers · 02064a30
  Dominic Chen authored Feb 27, 2017
  02064a30
Feb 23, 2016
- [analyzer] Improve pointer arithmetic checker. · d1abcf79
  Gabor Horvath authored Feb 23, 2016
  d1abcf79
Sep 17, 2015
- [analyzer] Add generateErrorNode() APIs to CheckerContext. · e39bd407
  Devin Coughlin authored Sep 16, 2015
  e39bd407
Sep 09, 2015
- Revert "[Static Analyzer] BugReporter.cpp:2869: Assertion failed:... · 00691e31
  Devin Coughlin authored Sep 08, 2015
  00691e31
Aug 27, 2015
- [Static Analyzer] BugReporter.cpp:2869: Assertion failed:... · e9984b28
  Gabor Horvath authored Aug 27, 2015
  e9984b28