The generated code using std::log is in in ([WIP] Add `using std::pow` to model code generator (Issue #1809 in math) by bbbales2 · Pull Request #2906 · stan-dev/stan · GitHub) and there’s a pull to remove the mingw stuff from stan::math (Added arithmetic version of pow (Fixes: #1809) by bbbales2 · Pull Request #1810 · stan-dev/math · GitHub).
@rok_cesnovar can you add a using std::log into the stanc3 code generator? The top of the .hpp generated by the old compiler looks like:
// Code generated by Stan version 2.22.0
#include <stan/model/model_header.hpp>
namespace rosenbrock_model_namespace {
using std::istream;
using std::string;
using std::stringstream;
using std::vector;
using std::pow;
using stan::io::dump;
using stan::math::lgamma;
using stan::model::prob_grad;
using namespace stan::math;
static int current_statement_begin__;
This makes me wonder though – should stanc3 somehow be built into the upstream tests? We’re using stanc2 right now and that seems like we might accidentally miss things.
I made myself a reminder to come back after the release and schedule a meeting to talk about the interaction of std and stan::math.