| commit | b4bd5568c86c992aedfedeecf1ebdcd7cba1e12c | [log] [tgz] |
|---|---|---|
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | Thu Feb 07 03:18:21 2019 +0000 |
| committer | Copybara-Service <copybara-worker@google.com> | Mon Sep 21 05:47:46 2020 -0700 |
| tree | 9d4be1dd6dbe66ca529f5fbde7285f633fe5b9c5 | |
| parent | 9548a04ded99ee38b952d82f03ec3f191bc7c7b8 [diff] |
Moved the whole SMT API to a single file. NFC. There is no advantage in having them in separate files, I doubt some will ever use them separately. This also makes it easier to move the API to LLVM. Differential Revision: https://reviews.llvm.org/D54977 llvm-svn: 353372 GitOrigin-RevId: 5f16ad9a1be845fef99155278bc5743e357664cd