Georg Wiese d91ae4f90a Bug fix in ProcessingSequenceIterator (#2117) ...

Fixes a bug I encountered in #2109:
- For blog machines, we have a cache which tracks a sequence of solving
steps that led to a success in the past.
- However, the needed sequence could be different from call to call. In
particular, it could depend on the operation ID.
- Because of that, in #1562, we added that the "default" sequence
iterator is always run after the cached sequence.
- But, we never called `report_progress()` on the default iterator,
which led to a bug in #2109.

2024-11-19 20:09:18 +00:00

..

src

Bug fix in ProcessingSequenceIterator (#2117)

2024-11-19 20:09:18 +00:00

Cargo.toml

Use jit compiler to generate fixed column values. (#1825)

2024-10-03 17:10:58 +00:00