7 Commits

Author	SHA1	Message	Date
Andreas Rumpf	f3d07ff114	YRC: fixes typo (#25541) ... Unrelated CI failures.	2026-02-24 11:12:28 +01:00
Andreas Rumpf	6badeb1b4d	yrc progress (#25534)	2026-02-23 13:39:55 +01:00
ringabout	15c6249f2c	replace benign with gcsafe (#25527) ... Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	2026-02-20 16:41:06 +01:00
Andreas Rumpf	04933b773a	YRC: bugfixes (#25512)	2026-02-12 13:29:22 +01:00
Andreas Rumpf	5fa11c5686	YRC: bugfixes (#25504)	2026-02-11 17:45:40 +01:00
Andreas Rumpf	f62669a5d5	Yrc typos and omissions (#25500)	2026-02-10 13:21:35 +01:00
Andreas Rumpf	a690a9ac90	YRC: threadsafe cycle collection for Nim (#25495) ... First performance numbers: time tests/arc/torcbench -- YRC true peak memory: true real 0m0,163s user 0m0,161s sys 0m0,002s time tests/arc/torcbench -- ORC true peak memory: true real 0m0,107s user 0m0,104s sys 0m0,003s So it's 1.6x slower. But it's threadsafe and provably correct. (Lean and model checking via TLA+ used.) Of course there is always the chance that the implementation is wrong and doesn't match the model.	2026-02-10 00:04:11 +01:00