https://github.com/stan-dev/stan
History
Tip revision: 0ec9d00c8ff8101e6b32d46eccb7256088ad04bc authored by Sean Talts on 11 July 2018, 22:11:28 UTC
Merge branch 'develop' of github.com:stan-dev/stan into feature/timer
Tip revision: 0ec9d00

back to top