Add a results metadata drawer

probmods / webppl-editor

Browser-based editor for WebPPL

Other

8 stars 1 forks source link

Add a results metadata drawer #29

Closed longouyang closed 8 years ago

longouyang commented 8 years ago

That shows the seed that was used and the runtime (hidden by default but pops out when you click an icon in the upper right hand side of the results box)

longouyang commented 8 years ago

(also would be nice to have compiled code and map)

longouyang commented 8 years ago

First pass with webppl version and random seed added in 88a64de:

drawer