Releases: mutable-org/mutable
Releases · mutable-org/mutable
v0.0.61: [PE] No cost-based pruning for beam search.
Initializing cost-based pruning for beam search renders beam search incomplete. The initial cost upper bound may be less than the cost of any path found by beam search. In such a case, beam search terminates without finding a single plan.
v0.0.60
[Util] Move utilities into designated directory.
v0.0.59: [PE] Extend heuristic search by cost-based pruning
During heuristic search, whenever we find a goal state during state expansion, we know that the shortest path is no more costly than the current cost `g` by which we reached that goal state. We can exploit this fact to prune all states that are more costly from the search. This is done by remembering the least cost by which a goal was reached in `least_path_cost`. Whenever a new state with equal or higher `g` is generated during expansion, that state can immediately be discarded. This does not violate soundness, completeness, or optimality. The amount of pruning achieved by this method highly depends on the search problem and needs extensive evaluation. Heuristic search with cost-based pruning can be bootstrapped by running a greedy search first, which gives us an upper bound for the cost of a shortest path. This cost is then used to initialize `least_path_cost`. Currently, we use GOO for initializing `least_path_cost`.
v0.0.58
[Doc] Update our Preliminaries doc for Pipenv.
v0.0.57: Revert "[Benchmark] Adapt data generation of integer columns."
This reverts commit 82788c4fe369430b6cdf78361ce738cc6a61258c.
v0.0.56
[Benchmark] Fix hyper timeout value
v0.0.55: [CMake] Fix missing build byproducts.
Some build byproducts were missing or incorrect. This lead to build configuration errors for static library builds.
v0.0.54: [Binaryen] Update Binaryen to version 112.
With that update, `wasm::IString::operator bool()` was made `explicit`. We therefore must explicitly convert the name to `bool`.
v0.0.53
[Eval] Add planner config `PEall` in eval script.
v0.0.52
[Benchmark] Adapt data generation of integer columns.