Joshua Thayer

Update documentation and tutorial prose to reflect recent changes

1

We're about to merge (to master) many changes to Metaprob which render documentation and example prose out-of-date. Update all documentation, tutorial prose, and other non-code artifacts to reflect the changes...

removes AIDE

1

Once probcomp/inferenceql#13 is closed, we should remove AIDE from Metaprob.

This is funny PR. It's the history of adding CGPM, multimix, and search-by-example to the Metaprob examples directory, refactoring search-by-example, adding profiling code, doing various optimizations, then moving _all_ of...

Mostly for posterity. We probably don't want to do this before the problem sets are published.

We've changed how we refer to what is currently called a target trace- they're now called "observation" traces. Update the code to reflect this change.

Investigate namespace issue

1

Last night, @cameronfreer stumbled across a bug in the tutorial notebook: ``` (define [_ mh-tr _] (infer :procedure single-site-metropolis-hastings-step :inputs [circus-brothers [] initial-trace constraint-addresses])) => CompilerException java.lang.AssertionError: Assert failed: ["no...

It existed in `trace.clj`, and was used in tests. should we reintroduce it?

We had good tests for `sequence.cljc`, but no tests for `compound.clj`, which is to replace it.