probcomp / Venturecxx

Primary implementation of the Venture probabilistic programming system
http://probcomp.csail.mit.edu/venture/
GNU General Public License v3.0
28 stars 6 forks source link

Resurrect the Venture tutorial #299

Closed axch closed 8 years ago

axch commented 8 years ago

f5683f157b4193be63e84a237f919c2889cda7da broke the Venture tutorial, because sample x and force x = foo no longer work.

Options:

axch commented 8 years ago

Blocked on #51

raxraxraxraxrax commented 8 years ago

Somewhat naively, doing #298 here seems better than the other two options, so unless someone makes noise, I suggest we do that.

axch commented 8 years ago

Only thing left here is a mysterious problem: the last program somehow manages to coerce mh into creating a negative regen count. Reproduction instructions:

venture -f examples/tutorial-2015/gp-6.vnts
axch commented 8 years ago

Remaining problem punted to #337, which I judge not to be part of the 0.5 release; closing this as complete except for that.