projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e234ff5) | patch
Remove regex header from cvc4cpp.cpp (#5826)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Thu, 28 Jan 2021 20:51:28 +0000 (14:51 -0600)
committerGitHub <noreply@github.com>
Thu, 28 Jan 2021 20:51:28 +0000 (14:51 -0600)
commit2f4bae4b4ffe6e913925f3d8f2c857a01aeea3bd
tree09aa68a87615a64766aa4ce5240771cf9444b974tree
parente234ff58f561ac97642df15c698962faa9d1e5e4commit | diff
Remove regex header from cvc4cpp.cpp (#5826)

This PR replaces the heavy hammer std::regex_match for checking numbers with string operations
src/api/cvc4cpp.cpp diff | blob | history
src/api/cvc4cpp.h diff | blob | history
test/unit/api/term_black.cpp diff | blob | history
test/unit/parser/parser_black.h diff | blob | history