Closed riastradh-probcomp closed 8 years ago
This should be merged after https://github.com/probcomp/Venturecxx/pull/611 to implement log-space Beta. This is the remainder of the resolution for https://github.com/probcomp/Venturecxx/issues/606, at least if we don't choose to introduce an alternative VentureProbability type. See commit message of https://github.com/probcomp/Venturecxx/commit/2658f06cc9ab8725318829b6079d6fb2cdb05f18 for rationale over direct-space or log-space.
Botched various things about this. Will make replacement pull request.
This should be merged after https://github.com/probcomp/Venturecxx/pull/611 to implement log-space Beta. This is the remainder of the resolution for https://github.com/probcomp/Venturecxx/issues/606, at least if we don't choose to introduce an alternative VentureProbability type. See commit message of https://github.com/probcomp/Venturecxx/commit/2658f06cc9ab8725318829b6079d6fb2cdb05f18 for rationale over direct-space or log-space.