diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-25 22:37:54 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:13:25 +0000 |
| commit | a4598d64ef5f8386b28019bb64b7ad2d6e0c9d7e (patch) | |
| tree | eed0c83bd797cafdd5a9fcc1a129508d3a5150a6 /kernel | |
| parent | 2fff574741ae0af47c8665636347d0a0d3cef5e6 (diff) | |
| download | yosys-a4598d64ef5f8386b28019bb64b7ad2d6e0c9d7e.tar.gz yosys-a4598d64ef5f8386b28019bb64b7ad2d6e0c9d7e.tar.bz2 yosys-a4598d64ef5f8386b28019bb64b7ad2d6e0c9d7e.zip | |
Hole value recovery and specialization implementation for `qbfsat` command.
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/log.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/kernel/log.h b/kernel/log.h index cd0e8185c..5478482ac 100644 --- a/kernel/log.h +++ b/kernel/log.h @@ -29,18 +29,25 @@ #if defined(__GNUC__) && !defined( __clang__) && ( __GNUC__ == 4 && __GNUC_MINOR__ <= 8) #include <boost/xpressive/xpressive.hpp> #define YS_REGEX_TYPE boost::xpressive::sregex + #define YS_REGEX_MATCH_TYPE boost::xpressive::smatch #define YS_REGEX_NS boost::xpressive #define YS_REGEX_COMPILE(param) boost::xpressive::sregex::compile(param, \ boost::xpressive::regex_constants::nosubs | \ boost::xpressive::regex_constants::optimize) + #define YS_REGEX_COMPILE_WITH_SUBS(param) boost::xpressive::sregex::compile(param, \ + boost::xpressive::regex_constants::optimize) # else #include <regex> #define YS_REGEX_TYPE std::regex + #define YS_REGEX_MATCH_TYPE std::smatch #define YS_REGEX_NS std #define YS_REGEX_COMPILE(param) std::regex(param, \ std::regex_constants::nosubs | \ std::regex_constants::optimize | \ std::regex_constants::egrep) + #define YS_REGEX_COMPILE_WITH_SUBS(param) std::regex(param, \ + std::regex_constants::optimize | \ + std::regex_constants::egrep) #endif #ifndef _WIN32 |