3 commits

Author	SHA1	Message	Date
Shunsuke Shibayama	cdd0b85516	Expose the Input query Id with cycle_initial (#1015)	2025-10-27 12:27:09 +00:00
Micha Reiser	d38145c295	Expose the query ID and the last provisional value to the cycle recovery function (#1012) ... * Expose the query ID and the last provisional value to the cycle recovery function * Mark cycle as converged if fallback value is the same as the last provisional * Make `cycle_fn` optional	2025-10-23 06:36:56 +00:00
Micha Reiser	ef9f9329be	Run fixpoint per strongly connected component (#999) ... * Run nested cycles in a single fixpoint iteration Fix serde attribute * Remove inline from `validate_same_iteration` * Nits * Move locking into sync table * More trying * More in progress work * More progress * Fix most parallel tests * More bugfixes * Short circuit in some cases * Short circuit in drop * Delete some unused code * A working solution * Simplify more * Avoid repeated query lookups in `transfer_lock` * Use recursion for unblocking * Fix hang in `maybe_changed_after` * Move claiming of transferred memos into a separate function * More aggressive use of attributes * Make re-entrant a const parameter * Smaller clean-ups * Only collect cycle heads one level deep * More cleanups * More docs * More comments * More documentation, cleanups * More documentation, cleanups * Remove inline attribute * Fix failing tracked structs test * Fix panic * Fix persistence test * Add test for panic in nested cycle * Allow cycle initial values same-stack * Try inlining fetch * Remove some inline attributes * Add safety comment * Clippy * Panic if `provisional_retry` runs too many times * Better handling of panics in cycles * Don't use const-generic for `REENTRANT` * More nit improvements * Remove `IterationCount::panicked` * Prefer outer most cycles in `outer_cycle` * Code review feedback * Iterate only once in panic test when running with miri	2025-10-16 09:23:03 +00:00