projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59c85cd) | patch
Adds a macro to SWIG to ignore the override and final C++11 keywords in older version...
authorTim King <taking@cs.nyu.edu>
Fri, 27 Oct 2017 03:13:25 +0000 (20:13 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 27 Oct 2017 03:13:25 +0000 (20:13 -0700)
commit425bfb52e2a6aca7a968ccf3785356ac469ec046
tree1d502359073af41942cb0473394e34f50f249506tree
parent59c85cd022a38ec371a78f93fba7b2be35203055commit | diff
Adds a macro to SWIG to ignore the override and final C++11 keywords in older versions of SWIG. (#1281)
src/cvc4.i diff | blob | history
src/smt/command.h diff | blob | history