This is an attempt to make the editor compatible with the (not yet released) WebPPL 0.9.7.
The main change is to no longer save the wrapped runner into a global variable, because WebPPL will do this itself from 0.9.7. (Also see #47.)
The other changes are my best guess as to what needs to happen to prepare for a new WebPPL release. If these are wrong or there are things I've missed let me know and I'll be happy to have another go! One particular concern is that running grunt browserify introduced lots of changes to docs/webppl-editor.js. Is this expected?
I've tested this locally by switching docs/index.html to point to the most recent WebPPL commit on dev and as far as I can tell things still work. (Including the dippl example that does async. work.)
This is an attempt to make the editor compatible with the (not yet released) WebPPL 0.9.7.
The main change is to no longer save the wrapped runner into a global variable, because WebPPL will do this itself from 0.9.7. (Also see #47.)
The other changes are my best guess as to what needs to happen to prepare for a new WebPPL release. If these are wrong or there are things I've missed let me know and I'll be happy to have another go! One particular concern is that running
grunt browserify
introduced lots of changes todocs/webppl-editor.js
. Is this expected?I've tested this locally by switching
docs/index.html
to point to the most recent WebPPL commit ondev
and as far as I can tell things still work. (Including the dippl example that does async. work.)