Results 15 issues of shinnar

There is an existing ad-hoc set of tests for our our optimizers. We should factor out a standard set of tests that are generic over the choice of optimizer, that...

as per sklearn, they should be prefixed with the operator they are for: Parameters passed to the fit method of each step, where each parameter name is prefixed such that...

currently, only pipelines (BasePipeline and its children) implement this. It should be implemented for all Operators

This would give us qcert-runtime, and qcert (which could depend on qcert-runtime). This would allow projects to use qcert-runtime as a dependency, and qcert as a dev-dependency, for example.

javascript
infrastructure

It prefixes all variables emmitted with "v", but the avoidance code does not account for this. As a result, "this", for example, is suffixed to avoid a conflict (needlessly, since...

bug
javascript

Currently, the ocaml based native qcert binary has a CLI, but the generated javascript version used in the npm package does not. We should be able to reuse most/all of...

enhancement
javascript

Speculative optimizations (due to, e.g. iter_cost) may be logged even though they are rejected.

bug
coq

Add 3.10 to the master text matrix. Change PR default python version to 3.9