<feed xmlns='http://www.w3.org/2005/Atom'>
<title>pure/research/experiments/036-faster-loops/bfs-run.c, branch master</title>
<subtitle>Verified execution runtime unifying state, persistence, and replication.
</subtitle>
<id>http://git.yeowoo.org/pure/atom?h=master</id>
<link rel='self' href='http://git.yeowoo.org/pure/atom?h=master'/>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/'/>
<updated>2026-10-04T16:39:18Z</updated>
<entry>
<title>Wait for a counter before searching in bfs-run, and the runs of research 121</title>
<updated>2026-10-04T16:39:18Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-04T16:39:18Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=aa1c8597ef5ca81ae466ca7d8fe35d903cf78e97'/>
<id>urn:sha1:aa1c8597ef5ca81ae466ca7d8fe35d903cf78e97</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Say where a search's time goes and how to make it and long views fast, with criteria (020)</title>
<updated>2026-10-04T15:53:54Z</updated>
<author>
<name>eunhhu</name>
<email>necpition205@gmail.com</email>
</author>
<published>2026-10-04T15:53:54Z</published>
<link rel='alternate' type='text/html' href='http://git.yeowoo.org/pure/commit/?id=e6bd261b845f5b88d454d0ddaf0b11c12a76e25d'/>
<id>urn:sha1:e6bd261b845f5b88d454d0ddaf0b11c12a76e25d</id>
<content type='text'>
</content>
</entry>
</feed>
