9 commits

Author	SHA1	Message	Date
omahs	1957162c2a	all: fix typos (#24470)	2025-05-13 22:05:22 +03:00
Eliyaan (Nopana)	cf36360023	tools: save the modified content more frequently in v reduce, fix timeout leaks (#24405)	2025-05-04 12:24:05 +03:00
Eliyaan (Nopana)	8fb8fa2e12	tools: vreduce fix var names (#24373)	2025-04-30 21:02:25 +03:00
Eliyaan (Nopana)	3ca3e5c5ce	tools: use breadth first search in vreduce (#24369)	2025-04-30 20:11:37 +03:00
Eliyaan (Nopana)	80a9d27499	tools: support vreduce timeout, vreduce custom run command (#24359)	2025-04-30 12:13:12 +03:00
Eliyaan (Nopana)	81a2e7a772	tools: fix warnings in v reduce (#23709)	2025-02-13 21:32:01 +02:00
Delyan Angelov	c58563ce5a	tools: improve v reduce output; bump version, warn on failed string_reproduces/3, but continue to run	2025-02-12 14:52:58 +02:00
Eliyaan (Nopana)	6ed56eef64	tools: improve the v reduce parser for functions, and add more loops to reduce more (#23694)	2025-02-12 10:40:51 +02:00
Eliyaan (Nopana)	7e157caed7	tools: add v reduce program.v, in order to make smaller reproductions (rpdc.v files), before filing cgen bugs (#23636)	2025-02-03 12:28:47 +02:00