[acl2/acl2] 9bc99d: Added verified quicksort using (local) stobj array...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 9bc99d41971c6b93744a3a1255b753edb021d7ff
https://github.com/acl2/acl2/commit/9bc99d41971c6b93744a3a1255b753edb021d7ff
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-06-30 (Tue, 30 Jun 2026)

Changed paths:
A books/demos/claude/qsort-examples.lisp
A books/demos/claude/qsort.lisp
M books/doc/relnotes.lisp
M books/sorting/qsort.lisp
M books/top.lisp

Log Message:
-----------
Added verified quicksort using (local) stobj arrays, generated by Claude using acl2-mcp, in new communinty books subdirectory demos/claude/. Added a new entry for the set theory library in :DOC note-8-8-books.



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[MattKaufmann]

Branch: refs/heads/testing