v0.1.25

Bump stitch.rs version to resolve this PR mlb2251/stitch#180

v0.1.24 Added Weighting

Added weighting:

• Now stitch_core.compress() can be called with a weights keyword argument that is a list of float weights equal in length to the number of programs. You can think of the "size" of the original corpus as now being the sum of size of each program multiplied by its weight. If we have multiple programs per task, it works as you would expect – the min is taken after multiplying each program size by its weight.
• Note that fields like init_cost, final_cost, and compressivity / multiplier / cumulative multiplier fields returned will all be with respect to the weighted value
• Weights default to all 1.0s so there is no change in behavior from the old behavior if you dont provide weights
• Weights can be used to deprioritize finding abstractions in lower-weight programs - while still fitting into the compression utility paradigm, since we can just imagine that the lower weight programs are treated as being smaller
• Per-task weights can be easily implemented by repeating the same weight for all programs within a task

v0.1.23

Bumping backend stitch version to f96ba0e:

• added structure penalty mlb2251/stitch@4083903
• added tagged lambdas and vars mlb2251/stitch@00c763c
• better automated benchmarking described in benchmarking.md in the stitch repo

v0.1.22

added Abstraction.from_dreamcoder()

v0.1.21

Bump stitch version to add no_curried_metavars and no_curried_bodies as config options

v0.1.20

fixed edge case of rewriting mlb2251/stitch#171

v0.1.19

abstraction_prefix && etalong

v0.1.18

What's Changed

Now compress(eta_long=True, utility_by_rewrite=True) allows for eta-long style compression

v0.1.15 fix dreamcoder

• added github actions to run make test, make claim-1 and make claim-2
• from_dreamcoder() now properly converts lambda to lam for the programs returned
• added dreamcoder_comparison support

Full Changelog: v0.1.14...v0.1.15

v0.1.14 critical fix to rewriting

• bump stitch version to include critical fix to rewrite_with_inventions(). Previously rewrite() was sensitive to the max_arity parameter, meaning it couldn't rewrite with an arity-3 abstraction by default and would silently fail to rewrite with them
• New version of stitch backend also fixes a crash during rewriting that happened when rewriting with an abstraction that has a zipper path not present in the set of programs to rewrite.
• added panic_loud to compress() and rewrite(),

Full Changelog: v0.1.13...v0.1.14