mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-05-31 09:05:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
23,006 Commits 93 Branches 71 Tags
ringabout-patch-1
Commit Graph

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