]> begriffs open source - acsl-example/commit
begriffs.com / projects / acsl-example / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: bed1d3e) | patch
The claude.md hurt performance main
authorJoe Nelson <joe@begriffs.com>
Mon, 8 Sep 2025 05:00:00 +0000 (00:00 -0500)
committerJoe Nelson <joe@begriffs.com>
Mon, 8 Sep 2025 05:00:00 +0000 (00:00 -0500)
commitcdf27bfaa131e85234c62f504765b8c5f3f625cd
tree23d66f01a7c0d68b5878db6750d9e590948b03e7tree | snapshot
parentbed1d3e28cfa96c311c613714cecd77174332c01commit | diff
The claude.md hurt performance
CLAUDE.md [deleted file] blob | history
provably correct C with weakest preconditions