salsa/tests/parallel
Shunsuke Shibayama 17bc55d699
Some checks failed
Test / Test (push) Has been cancelled
Release-plz / Release-plz release (push) Has been cancelled
Release-plz / Release-plz PR (push) Has been cancelled
Book / Book (push) Has been cancelled
Test / Miri (push) Has been cancelled
Test / Shuttle (push) Has been cancelled
Test / Benchmarks (push) Has been cancelled
Book / Deploy (push) Has been cancelled
pass Cycle to the cycle recovery function (#1028)
* pass `CycleHeads` to the cycle recovery function

* remove the second parameter `Id` of `cycle_fn`

* Update cycle.rs

* Revert "Update cycle.rs"

This reverts commit cc35b82a99.

* partially revert changes in #1021

There was actually no need to run `recover_from_cycle` if the query is converged

* Expose `Cycle` instead of `CycleHeads`

* add `Cycle::map`

* Separate `previous_value` from `Cycle`

This is more ergonomic when sharing `Cycle`

* `Cycle` should be passed by ref

* add `Cycle::id`

* Update execute.rs

* Update memo.rs

* defer `head_ids` creation

* Revert "defer `head_ids` creation"

This reverts commit 23b4ba79e7.

* make all `Cycle` fields private and provide public accessor methods
2025-11-21 07:39:30 +00:00
..
cycle_a_t1_b_t2.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
cycle_a_t1_b_t2_fallback.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
cycle_ab_peeping_c.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
cycle_iteration_mismatch.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
cycle_nested_deep.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
cycle_nested_deep_conditional.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
cycle_nested_deep_conditional_changed.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
cycle_nested_deep_panic.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
cycle_nested_three_threads.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
cycle_nested_three_threads_changed.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
cycle_panic.rs pass Cycle to the cycle recovery function (#1028) 2025-11-21 07:39:30 +00:00
cycle_provisional_depending_on_itself.rs Expose the Input query Id with cycle_initial (#1015) 2025-10-27 12:27:09 +00:00
main.rs Fix hangs in multithreaded fixpoint iteration (#1010) 2025-10-23 06:15:01 +00:00
setup.rs Replace loom with shuttle (#876) 2025-05-23 15:28:51 +00:00
signal.rs Replace loom with shuttle (#876) 2025-05-23 15:28:51 +00:00