Page MenuHomePhabricator
Feed Advanced Search

Oct 13 2018

esteffin committed rL344464: [analyzer] Improved cmake configuration for Z3.
[analyzer] Improved cmake configuration for Z3
Oct 13 2018, 12:48 PM
esteffin committed rC344464: [analyzer] Improved cmake configuration for Z3.
[analyzer] Improved cmake configuration for Z3
Oct 13 2018, 12:48 PM
esteffin closed D50818: [analyzer] Improved cmake configuration for Z3.
Oct 13 2018, 12:47 PM · Restricted Project
esteffin committed rL344463: [analyzer] Small SMT API improvement.
[analyzer] Small SMT API improvement
Oct 13 2018, 12:45 PM
esteffin committed rC344463: [analyzer] Small SMT API improvement.
[analyzer] Small SMT API improvement
Oct 13 2018, 12:45 PM
esteffin closed D52031: [analyzer] Small SMT API improvement.
Oct 13 2018, 12:45 PM

Sep 19 2018

esteffin updated the diff for D50818: [analyzer] Improved cmake configuration for Z3.

Final patch ready to be applied

Sep 19 2018, 5:18 AM · Restricted Project

Sep 13 2018

esteffin created D52031: [analyzer] Small SMT API improvement.
Sep 13 2018, 6:43 AM
esteffin added a comment to D50818: [analyzer] Improved cmake configuration for Z3.

Ping...

Sep 13 2018, 6:12 AM · Restricted Project

Aug 23 2018

esteffin updated the diff for D50818: [analyzer] Improved cmake configuration for Z3.

Improved and changed the proposed patch accordingly to the comment.

Aug 23 2018, 11:06 AM · Restricted Project
esteffin added a comment to D50818: [analyzer] Improved cmake configuration for Z3.

@delcypher @ddcc @mikhail.ramalho Actually, I was thinking about another way of configuring Z3 without CMake entirely, and I would like to hear thoughts on how crazy that is.
What if we

  • Remove all CMake checks
  • Define the headers we need in the analyzer
  • When initializing Z3 objects (done when Z3-visitor or Z3-solver is enabled), we would try to open the dylib, check it's version, and fail if the dylib is not found or the version does not match.

This is less clean, but would give us a humongous advantage of just being able to drop Z3 dylib into a resource directory (or modifying the Clang rpath) in order to enable Z3,
with no recompilation needed.
This would be a huge benefit for those who don't recompile the compiler regularly.

Aug 23 2018, 9:15 AM · Restricted Project

Aug 16 2018

esteffin added inline comments to D50818: [analyzer] Improved cmake configuration for Z3.
Aug 16 2018, 9:14 AM · Restricted Project
esteffin added inline comments to D50818: [analyzer] Improved cmake configuration for Z3.
Aug 16 2018, 4:11 AM · Restricted Project

Aug 15 2018

esteffin created D50818: [analyzer] Improved cmake configuration for Z3.
Aug 15 2018, 3:49 PM · Restricted Project