| commit | b4872157b9a3f676006ab1f7c2e920d4527f3dd9 | [log] [tgz] |
|---|---|---|
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | Thu Feb 07 03:19:45 2019 +0000 |
| committer | Copybara-Service <copybara-worker@google.com> | Mon Sep 21 05:47:57 2020 -0700 |
| tree | eac49dc34979837aad969648f829bcfefffbf00a | |
| parent | b4bd5568c86c992aedfedeecf1ebdcd7cba1e12c [diff] |
Move the SMT API to LLVM Moved everything SMT-related to LLVM and updated the cmake scripts. Differential Revision: https://reviews.llvm.org/D54978 llvm-svn: 353373 GitOrigin-RevId: eac500f0c340c00308039fdf5d9deaf3953fccd0