projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0536a74) | patch
Add support for SWIG 4 (#3041)
authorAndres Noetzli <noetzli@stanford.edu>
Wed, 5 Jun 2019 16:36:40 +0000 (09:36 -0700)
committerGitHub <noreply@github.com>
Wed, 5 Jun 2019 16:36:40 +0000 (09:36 -0700)
commitc587235d29d2e3e1cd52a9f76dde8f58c89ae37e
tree139dbbfd2b1494c1a886f064184a1ddd7b65e309tree
parent0536a743411b882cda88b18ca21cd5dc29828f54commit | diff
Add support for SWIG 4 (#3041)

SWIG 4 seems to change the name for `std::map<CVC4::Expr, CVC4::Expr>`
to include the implicit template argument for comparisons. To make the
code compatible with both SWIG 4.0.0 and older versions, this commit
creates an explicit instance of the template.
src/bindings/java/CMakeLists.txt diff | blob | history
src/smt/smt_engine.i diff | blob | history