[acl2/acl2] d383db: Updated useless-runes files. Fixed typos in comme...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: d383dbb668357ba4ac99e5a16ef8c417af2294b0
https://github.com/acl2/acl2/commit/d383dbb668357ba4ac99e5a16ef8c417af2294b0
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M basis-a.lisp
M books/centaur/4v-sexpr/.sys/nse...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/sexpr-lo...@useless-runes.lsp
M books/centaur/4v-sexpr/.sys/sexpr...@useless-runes.lsp
M books/centaur/aig/.sys/aig-...@useless-runes.lsp
M books/centaur/aig/.sys/mi...@useless-runes.lsp
M books/centaur/aignet/.sys/from-h...@useless-runes.lsp
M books/centaur/aignet/.sys/internal-obser...@useless-runes.lsp
M books/centaur/bitops/.sys/congr...@useless-runes.lsp
M books/centaur/bitops/.sys/ihsext...@useless-runes.lsp
M books/centaur/bitops/.sys/limited...@useless-runes.lsp
M books/centaur/bitops/.sys/rational...@useless-runes.lsp
M books/centaur/esim/occform/.sys/t...@useless-runes.lsp
M books/centaur/esim/vcd/.sys/vcd-...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/add-res...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/preli...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/t...@useless-runes.lsp
M books/centaur/esim/vltoe/.sys/zdri...@useless-runes.lsp
M books/centaur/fty/.sys/vis...@useless-runes.lsp
M books/centaur/gl/.sys/b...@useless-runes.lsp
M books/centaur/gl/.sys/rewr...@useless-runes.lsp
M books/centaur/glmc/.sys/bfr-m...@useless-runes.lsp
M books/centaur/glmc/.sys/glmc-gene...@useless-runes.lsp
M books/centaur/meta/.sys/world...@useless-runes.lsp
M books/centaur/misc/.sys/alist-can...@useless-runes.lsp
A books/centaur/misc/.sys/dfs-seen...@useless-runes.lsp
M books/centaur/misc/.sys/evaluator-m...@useless-runes.lsp
M books/centaur/misc/.sys/hons-alpho...@useless-runes.lsp
M books/centaur/misc/.sys/osets-wi...@useless-runes.lsp
M books/centaur/misc/.sys/tar...@useless-runes.lsp
M books/centaur/sv/svex/.sys/override-s...@useless-runes.lsp
M books/centaur/sv/svex/.sys/overrid...@useless-runes.lsp
M books/centaur/sv/svex/.sys/over...@useless-runes.lsp
M books/centaur/sv/svex/.sys/rewrit...@useless-runes.lsp
M books/centaur/sv/svex/.sys/rsh-c...@useless-runes.lsp
M books/centaur/sv/svex/.sys/symb...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/d...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/pro...@useless-runes.lsp
M books/centaur/sv/svtv/.sys/svtv-fs...@useless-runes.lsp
M books/centaur/sv/vl/.sys/mo...@useless-runes.lsp
M books/centaur/sv/vl/.sys/svstmt-...@useless-runes.lsp
M books/centaur/sv/vl/.sys/t...@useless-runes.lsp
M books/centaur/sv/vl/.sys/vl-s...@useless-runes.lsp
M books/centaur/vl/kit/.sys/li...@useless-runes.lsp
M books/centaur/vl/kit/.sys/prog...@useless-runes.lsp
M books/centaur/vl/lint/.sys/check...@useless-runes.lsp
M books/centaur/vl/lint/.sys/check-n...@useless-runes.lsp
M books/centaur/vl/lint/.sys/drop-missin...@useless-runes.lsp
M books/centaur/vl/lint/.sys/drop-user-...@useless-runes.lsp
M books/centaur/vl/lint/.sys/ifdef-...@useless-runes.lsp
M books/centaur/vl/lint/.sys/left...@useless-runes.lsp
M books/centaur/vl/lint/.sys/lu...@useless-runes.lsp
M books/centaur/vl/lint/.sys/odd...@useless-runes.lsp
M books/centaur/vl/lint/.sys/selfa...@useless-runes.lsp
M books/centaur/vl/lint/.sys/skip-...@useless-runes.lsp
M books/centaur/vl/lint/.sys/typo-...@useless-runes.lsp
M books/centaur/vl/lint/.sys/use-set...@useless-runes.lsp
M books/centaur/vl/loader/.sys/inject-...@useless-runes.lsp
M books/centaur/vl/loader/.sys/t...@useless-runes.lsp
M books/centaur/vl/loader/parser/.sys/ud...@useless-runes.lsp
M books/centaur/vl/loader/preprocessor/.sys/def...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/hid-...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/hier...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/imm...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/modnam...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/port-...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/print-w...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/remov...@useless-runes.lsp
M books/centaur/vl/mlib/.sys/scope...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/argre...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/basic...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/bi...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/make-impl...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/portde...@useless-runes.lsp
M books/centaur/vl/transforms/annotate/.sys/shado...@useless-runes.lsp
M books/centaur/vl/transforms/unparam/.sys/lin...@useless-runes.lsp
M books/centaur/vl/transforms/unparam/.sys/t...@useless-runes.lsp
M books/centaur/vl/util/.sys/os...@useless-runes.lsp
M books/centaur/vl/util/.sys/string...@useless-runes.lsp
M books/centaur/vl2014/.sys/wf-reas...@useless-runes.lsp
M books/centaur/vl2014/kit/.sys/li...@useless-runes.lsp
M books/centaur/vl2014/kit/.sys/prog...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/check...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/check-n...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/drop-missin...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/drop-user-...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/left...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/lu...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/multidri...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/port...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/selfa...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/skip-...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/typo-...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/use-set...@useless-runes.lsp
M books/centaur/vl2014/lint/.sys/use...@useless-runes.lsp
M books/centaur/vl2014/loader/.sys/inject-...@useless-runes.lsp
M books/centaur/vl2014/loader/.sys/t...@useless-runes.lsp
M books/centaur/vl2014/loader/parser/.sys/ud...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/hier...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/imm...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/modnam...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/port-...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/print-w...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/remov...@useless-runes.lsp
M books/centaur/vl2014/mlib/.sys/scope...@useless-runes.lsp
M books/centaur/vl2014/server/.sys/file-...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/delay...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/expand-f...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/gate...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/prop...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/replica...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/unuse...@useless-runes.lsp
M books/centaur/vl2014/transforms/.sys/weirdi...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/combin...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/edge...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/edge...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/latc...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/latch...@useless-runes.lsp
M books/centaur/vl2014/transforms/always/.sys/ut...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/argre...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/make-impl...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/portde...@useless-runes.lsp
M books/centaur/vl2014/transforms/annotate/.sys/shado...@useless-runes.lsp
M books/centaur/vl2014/transforms/unparam/.sys/lin...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/os...@useless-runes.lsp
M books/centaur/vl2014/util/.sys/string...@useless-runes.lsp
M books/clause-processors/.sys/meta-ext...@useless-runes.lsp
R books/clause-processors/SULFA/books/sat/.sys/sulfa-d...@useless-runes.lsp
M books/coi/dtrees/.sys/ba...@useless-runes.lsp
M books/coi/dtrees/.sys/ch...@useless-runes.lsp
M books/coi/dtrees/.sys/de...@useless-runes.lsp
M books/coi/dtrees/.sys/eq...@useless-runes.lsp
M books/coi/dtrees/.sys/er...@useless-runes.lsp
M books/coi/dtrees/.sys/le...@useless-runes.lsp
M books/coi/dtrees/.sys/r...@useless-runes.lsp
M books/coi/dtrees/.sys/roy...@useless-runes.lsp
M books/coi/dtrees/.sys/s...@useless-runes.lsp
M books/coi/maps/.sys/ma...@useless-runes.lsp
M books/coi/maps/.sys/typed...@useless-runes.lsp
M books/coi/osets/.sys/conve...@useless-runes.lsp
M books/coi/osets/.sys/ext...@useless-runes.lsp
M books/coi/osets/.sys/list...@useless-runes.lsp
M books/coi/osets/.sys/multi...@useless-runes.lsp
M books/coi/osets/.sys/mult...@useless-runes.lsp
M books/coi/osets/.sys/ou...@useless-runes.lsp
M books/coi/osets/.sys/primi...@useless-runes.lsp
M books/coi/osets/.sys/set-pr...@useless-runes.lsp
M books/coi/osets/.sys/so...@useless-runes.lsp
M books/coi/paths/.sys/cp-...@useless-runes.lsp
M books/coi/records/.sys/mem-d...@useless-runes.lsp
M books/hints/.sys/basic...@useless-runes.lsp
M books/hints/.sys/use...@useless-runes.lsp
M books/ihs/.sys/basic-de...@useless-runes.lsp
M books/intel/svtv-to-sva/.sys/svtv-to-...@useless-runes.lsp
M books/kestrel/.sys/top...@useless-runes.lsp
M books/kestrel/.sys/t...@useless-runes.lsp
M books/kestrel/acl2pl/.sys/func...@useless-runes.lsp
M books/kestrel/acl2pl/.sys/val...@useless-runes.lsp
M books/kestrel/alists-light/.sys/lookup...@useless-runes.lsp
M books/kestrel/alists-light/.sys/map-look...@useless-runes.lsp
M books/kestrel/apt/.sys/drop-irrele...@useless-runes.lsp
M books/kestrel/apt/.sys/rename...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/a...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/ceilin...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/cei...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/div...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/ex...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/floor-a...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/floor-m...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/flo...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/fl...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/integer...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/lo...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/mo...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/m...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/nonnegative-in...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/pl...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/r...@useless-runes.lsp
M books/kestrel/arithmetic-light/.sys/ti...@useless-runes.lsp
A books/kestrel/arm/.sys/ar...@useless-runes.lsp
A books/kestrel/arm/.sys/decode...@useless-runes.lsp
A books/kestrel/arm/.sys/dec...@useless-runes.lsp
A books/kestrel/arm/.sys/mem...@useless-runes.lsp
A books/kestrel/arm/.sys/portc...@useless-runes.lsp
A books/kestrel/arm/.sys/pseud...@useless-runes.lsp
A books/kestrel/arm/.sys/st...@useless-runes.lsp
M books/kestrel/axe/.sys/arithmetic...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-clause...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-rul...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-syntax-...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-syntax...@useless-runes.lsp
M books/kestrel/axe/.sys/axe-syntaxp-e...@useless-runes.lsp
M books/kestrel/axe/.sys/basic...@useless-runes.lsp
M books/kestrel/axe/.sys/bitops...@useless-runes.lsp
M books/kestrel/axe/.sys/boolean-...@useless-runes.lsp
M books/kestrel/axe/.sys/bv-array-...@useless-runes.lsp
M books/kestrel/axe/.sys/bv-arra...@useless-runes.lsp
M books/kestrel/axe/.sys/bv-intr...@useless-runes.lsp
M books/kestrel/axe/.sys/bv-list-...@useless-runes.lsp
M books/kestrel/axe/.sys/bv-rul...@useless-runes.lsp
M books/kestrel/axe/.sys/concretize-w...@useless-runes.lsp
M books/kestrel/axe/.sys/conjunctions-a...@useless-runes.lsp
M books/kestrel/axe/.sys/cont...@useless-runes.lsp
M books/kestrel/axe/.sys/convert-to-...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-arr...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-const...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-si...@useless-runes.lsp
M books/kestrel/axe/.sys/dag-varia...@useless-runes.lsp
M books/kestrel/axe/.sys/dag...@useless-runes.lsp
M books/kestrel/axe/.sys/da...@useless-runes.lsp
M books/kestrel/axe/.sys/el...@useless-runes.lsp
M books/kestrel/axe/.sys/equality-assu...@useless-runes.lsp
M books/kestrel/axe/.sys/equivalence-c...@useless-runes.lsp
M books/kestrel/axe/.sys/equivalen...@useless-runes.lsp
M books/kestrel/axe/.sys/evaluate-tes...@useless-runes.lsp
M books/kestrel/axe/.sys/evaluate-...@useless-runes.lsp
M books/kestrel/axe/.sys/evaluat...@useless-runes.lsp
M books/kestrel/axe/.sys/eval...@useless-runes.lsp
M books/kestrel/axe/.sys/find-probable...@useless-runes.lsp
A books/kestrel/axe/.sys/imported...@useless-runes.lsp
M books/kestrel/axe/.sys/lifter...@useless-runes.lsp
M books/kestrel/axe/.sys/logops-r...@useless-runes.lsp
M books/kestrel/axe/.sys/make-ax...@useless-runes.lsp
M books/kestrel/axe/.sys/make-axe-syntaxp...@useless-runes.lsp
M books/kestrel/axe/.sys/make-axe-synt...@useless-runes.lsp
M books/kestrel/axe/.sys/make-evalu...@useless-runes.lsp
M books/kestrel/axe/.sys/make-ev...@useless-runes.lsp
M books/kestrel/axe/.sys/make-rewri...@useless-runes.lsp
M books/kestrel/axe/.sys/memoi...@useless-runes.lsp
M books/kestrel/axe/.sys/merge-term-into...@useless-runes.lsp
M books/kestrel/axe/.sys/node-replacement-...@useless-runes.lsp
M books/kestrel/axe/.sys/node-replac...@useless-runes.lsp
M books/kestrel/axe/.sys/normali...@useless-runes.lsp
M books/kestrel/axe/.sys/possibly-neg...@useless-runes.lsp
M books/kestrel/axe/.sys/prove-w...@useless-runes.lsp
M books/kestrel/axe/.sys/prove-w...@useless-runes.lsp
M books/kestrel/axe/.sys/prover...@useless-runes.lsp
M books/kestrel/axe/.sys/prover...@useless-runes.lsp
M books/kestrel/axe/.sys/prover-st...@useless-runes.lsp
M books/kestrel/axe/.sys/prune-dag-a...@useless-runes.lsp
M books/kestrel/axe/.sys/prune-dag...@useless-runes.lsp
M books/kestrel/axe/.sys/prune...@useless-runes.lsp
M books/kestrel/axe/.sys/refined-assum...@useless-runes.lsp
M books/kestrel/axe/.sys/refined-assu...@useless-runes.lsp
M books/kestrel/axe/.sys/renumber...@useless-runes.lsp
M books/kestrel/axe/.sys/result-ar...@useless-runes.lsp
M books/kestrel/axe/.sys/rewrite...@useless-runes.lsp
M books/kestrel/axe/.sys/rewrit...@useless-runes.lsp
M books/kestrel/axe/.sys/rewriter-...@useless-runes.lsp
M books/kestrel/axe/.sys/rewrite...@useless-runes.lsp
M books/kestrel/axe/.sys/rul...@useless-runes.lsp
M books/kestrel/axe/.sys/stp-count...@useless-runes.lsp
M books/kestrel/axe/.sys/sweep-and-m...@useless-runes.lsp
M books/kestrel/axe/.sys/tactic...@useless-runes.lsp
M books/kestrel/axe/.sys/test-...@useless-runes.lsp
A books/kestrel/axe/.sys/tester...@useless-runes.lsp
M books/kestrel/axe/.sys/translate-...@useless-runes.lsp
M books/kestrel/axe/.sys/trim-intro...@useless-runes.lsp
M books/kestrel/axe/.sys/unguarde...@useless-runes.lsp
M books/kestrel/axe/.sys/unroll-s...@useless-runes.lsp
M books/kestrel/axe/examples/.sys/aes-blas...@useless-runes.lsp
M books/kestrel/axe/jvm/.sys/axe-syntax-f...@useless-runes.lsp
M books/kestrel/axe/jvm/.sys/axe-syntax-f...@useless-runes.lsp
M books/kestrel/axe/jvm/.sys/axe-syntaxp-...@useless-runes.lsp
M books/kestrel/axe/jvm/.sys/evalua...@useless-runes.lsp
R books/kestrel/axe/jvm/.sys/formal-unit...@useless-runes.lsp
R books/kestrel/axe/jvm/.sys/formal-un...@useless-runes.lsp
M books/kestrel/axe/jvm/.sys/jvm-ru...@useless-runes.lsp
M books/kestrel/axe/jvm/.sys/lifter-u...@useless-runes.lsp
M books/kestrel/axe/jvm/.sys/lif...@useless-runes.lsp
M books/kestrel/axe/jvm/.sys/output-i...@useless-runes.lsp
M books/kestrel/axe/jvm/.sys/rewrit...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/teste...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/tes...@useless-runes.lsp
R books/kestrel/axe/jvm/.sys/unroll-java...@useless-runes.lsp
R books/kestrel/axe/jvm/.sys/unroll-j...@useless-runes.lsp
R books/kestrel/axe/jvm/.sys/unroll-j...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/unrolle...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/unro...@useless-runes.lsp
A books/kestrel/axe/jvm/.sys/unro...@useless-runes.lsp
M books/kestrel/axe/r1cs/.sys/axe-evalu...@useless-runes.lsp
M books/kestrel/axe/r1cs/.sys/axe-pro...@useless-runes.lsp
M books/kestrel/axe/r1cs/.sys/axe-syntaxp-e...@useless-runes.lsp
M books/kestrel/axe/r1cs/.sys/lift-r1...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/assum...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/eval...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/lifter...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/read-an...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/read-over-...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/regi...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/rewr...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/risc-v...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/run-unti...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/sup...@useless-runes.lsp
R books/kestrel/axe/risc-v/.sys/syntax-e...@useless-runes.lsp
A books/kestrel/axe/risc-v/.sys/syntaxp-...@useless-runes.lsp
A books/kestrel/axe/risc-v/.sys/t...@useless-runes.lsp
R books/kestrel/axe/risc-v/.sys/unr...@useless-runes.lsp
A books/kestrel/axe/risc-v/.sys/unro...@useless-runes.lsp
M books/kestrel/axe/risc-v/.sys/write-over-...@useless-runes.lsp
M books/kestrel/axe/risc-v/examples/add/.sys/add-n...@useless-runes.lsp
A books/kestrel/axe/risc-v/examples/add/.sys/add-position...@useless-runes.lsp
M books/kestrel/axe/x86/.sys/evalua...@useless-runes.lsp
M books/kestrel/axe/x86/.sys/loop-...@useless-runes.lsp
M books/kestrel/axe/x86/.sys/prove-eq...@useless-runes.lsp
M books/kestrel/axe/x86/.sys/rewrit...@useless-runes.lsp
M books/kestrel/axe/x86/.sys/rule-...@useless-runes.lsp
M books/kestrel/axe/x86/.sys/syntaxp-ev...@useless-runes.lsp
M books/kestrel/axe/x86/.sys/tester-...@useless-runes.lsp
M books/kestrel/axe/x86/.sys/tes...@useless-runes.lsp
R books/kestrel/axe/x86/.sys/unroll-...@useless-runes.lsp
A books/kestrel/axe/x86/.sys/unro...@useless-runes.lsp
M books/kestrel/axe/x86/.sys/x86-...@useless-runes.lsp
A books/kestrel/axe/x86/examples/switch/.sys/sup...@useless-runes.lsp
M books/kestrel/bitcoin/.sys/bi...@useless-runes.lsp
M books/kestrel/bitcoin/.sys/bip39...@useless-runes.lsp
M books/kestrel/bitcoin/.sys/bi...@useless-runes.lsp
M books/kestrel/booleans/.sys/bool...@useless-runes.lsp
A books/kestrel/booleans/.sys/booli...@useless-runes.lsp
M books/kestrel/booleans/.sys/boo...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/all-unsig...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/append...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/array-p...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bits-to-byte...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-array-c...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-arra...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-array-con...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-array-c...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-array-c...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-ar...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-array-...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-arr...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-arra...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-a...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-a...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bv-list-read...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bvnot...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bvxor...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/byte-t...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/bytes-...@useless-runes.lsp
A books/kestrel/bv-lists/.sys/map-bvp...@useless-runes.lsp
A books/kestrel/bv-lists/.sys/map-...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/map-pack...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/map-p...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/map-un...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/packbv-an...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/packb...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/packbv...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/packbv-...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/pac...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/packbvs...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/pac...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/pack...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/pac...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/unpa...@useless-runes.lsp
M books/kestrel/bv-lists/.sys/unsigned-...@useless-runes.lsp
M books/kestrel/bv/.sys/ad...@useless-runes.lsp
M books/kestrel/bv/.sys/ar...@useless-runes.lsp
M books/kestrel/bv/.sys/a...@useless-runes.lsp
M books/kestrel/bv/.sys/b...@useless-runes.lsp
M books/kestrel/bv/.sys/bit...@useless-runes.lsp
M books/kestrel/bv/.sys/bit...@useless-runes.lsp
M books/kestrel/bv/.sys/bit...@useless-runes.lsp
M books/kestrel/bv/.sys/bi...@useless-runes.lsp
M books/kestrel/bv/.sys/bit...@useless-runes.lsp
M books/kestrel/bv/.sys/bit...@useless-runes.lsp
M books/kestrel/bv/.sys/bv-s...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bva...@useless-runes.lsp
M books/kestrel/bv/.sys/bvcat...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bvc...@useless-runes.lsp
M books/kestrel/bv/.sys/bvc...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bvminu...@useless-runes.lsp
M books/kestrel/bv/.sys/bvm...@useless-runes.lsp
M books/kestrel/bv/.sys/bvm...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bvsx-...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/bvum...@useless-runes.lsp
M books/kestrel/bv/.sys/bv...@useless-runes.lsp
M books/kestrel/bv/.sys/convert-t...@useless-runes.lsp
M books/kestrel/bv/.sys/floor-m...@useless-runes.lsp
M books/kestrel/bv/.sys/getbit...@useless-runes.lsp
M books/kestrel/bv/.sys/get...@useless-runes.lsp
M books/kestrel/bv/.sys/if-becomes...@useless-runes.lsp
M books/kestrel/bv/.sys/in...@useless-runes.lsp
M books/kestrel/bv/.sys/leftrota...@useless-runes.lsp
M books/kestrel/bv/.sys/leftro...@useless-runes.lsp
M books/kestrel/bv/.sys/leftr...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/log...@useless-runes.lsp
M books/kestrel/bv/.sys/ones-co...@useless-runes.lsp
M books/kestrel/bv/.sys/overflow-an...@useless-runes.lsp
M books/kestrel/bv/.sys/pick-...@useless-runes.lsp
M books/kestrel/bv/.sys/put...@useless-runes.lsp
M books/kestrel/bv/.sys/right...@useless-runes.lsp
M books/kestrel/bv/.sys/rot...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/rul...@useless-runes.lsp
M books/kestrel/bv/.sys/ru...@useless-runes.lsp
M books/kestrel/bv/.sys/sbvdiv...@useless-runes.lsp
M books/kestrel/bv/.sys/sbvdivdo...@useless-runes.lsp
M books/kestrel/bv/.sys/sbvlt...@useless-runes.lsp
M books/kestrel/bv/.sys/sb...@useless-runes.lsp
M books/kestrel/bv/.sys/sbvmo...@useless-runes.lsp
M books/kestrel/bv/.sys/sbvrem...@useless-runes.lsp
M books/kestrel/bv/.sys/singl...@useless-runes.lsp
M books/kestrel/bv/.sys/sl...@useless-runes.lsp
M books/kestrel/bv/.sys/trim-elim...@useless-runes.lsp
M books/kestrel/bv/.sys/trim-elim-r...@useless-runes.lsp
M books/kestrel/bv/.sys/trim-int...@useless-runes.lsp
M books/kestrel/bv/.sys/unsigned-byte-...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/adjus...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/apco...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/arr...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/convert-in...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-str...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-str...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-str...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-binary-s...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-...@useless-runes.lsp
R books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-e...@useless-runes.lsp
R books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-expr-...@useless-runes.lsp
R books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-expr-c...@useless-runes.lsp
R books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-ex...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-ex...@useless-runes.lsp
A books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-expr...@useless-runes.lsp
A books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-expr...@useless-runes.lsp
A books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-expr...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/exec-...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/flexible-a...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/inte...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/not-...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/object-de...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/promot...@useless-runes.lsp
M books/kestrel/c/atc/symbolic-execution-rules/.sys/type-o...@useless-runes.lsp
M books/kestrel/c/language/.sys/abstract-synt...@useless-runes.lsp
M books/kestrel/c/language/.sys/abstrac...@useless-runes.lsp
M books/kestrel/c/language/.sys/arithmetic...@useless-runes.lsp
M books/kestrel/c/language/.sys/array-op...@useless-runes.lsp
M books/kestrel/c/language/.sys/computati...@useless-runes.lsp
M books/kestrel/c/language/.sys/dynamic-...@useless-runes.lsp
M books/kestrel/c/language/.sys/err...@useless-runes.lsp
A books/kestrel/c/language/.sys/execution-limi...@useless-runes.lsp
A books/kestrel/c/language/.sys/execution-withou...@useless-runes.lsp
M books/kestrel/c/language/.sys/flexible-array...@useless-runes.lsp
A books/kestrel/c/language/.sys/frame-and-s...@useless-runes.lsp
M books/kestrel/c/language/.sys/function-e...@useless-runes.lsp
M books/kestrel/c/language/.sys/gra...@useless-runes.lsp
M books/kestrel/c/language/.sys/ident...@useless-runes.lsp
M books/kestrel/c/language/.sys/integer-o...@useless-runes.lsp
M books/kestrel/c/language/.sys/integer...@useless-runes.lsp
M books/kestrel/c/language/.sys/keyw...@useless-runes.lsp
M books/kestrel/c/language/.sys/object-de...@useless-runes.lsp
A books/kestrel/c/language/.sys/object-type-...@useless-runes.lsp
M books/kestrel/c/language/.sys/opera...@useless-runes.lsp
M books/kestrel/c/language/.sys/pointer-o...@useless-runes.lsp
M books/kestrel/c/language/.sys/portable-asci...@useless-runes.lsp
M books/kestrel/c/language/.sys/real-op...@useless-runes.lsp
M books/kestrel/c/language/.sys/scalar-o...@useless-runes.lsp
M books/kestrel/c/language/.sys/static-s...@useless-runes.lsp
M books/kestrel/c/language/.sys/structure-...@useless-runes.lsp
M books/kestrel/c/language/.sys/tag-envi...@useless-runes.lsp
M books/kestrel/c/language/.sys/ty...@useless-runes.lsp
M books/kestrel/c/language/.sys/val...@useless-runes.lsp
A books/kestrel/c/language/.sys/variable-resolut...@useless-runes.lsp
A books/kestrel/c/language/.sys/variable-visibil...@useless-runes.lsp
A books/kestrel/c/language/implementation-environments/.sys/bool-f...@useless-runes.lsp
M books/kestrel/c/language/implementation-environments/.sys/char-f...@useless-runes.lsp
M books/kestrel/c/language/implementation-environments/.sys/integer-form...@useless-runes.lsp
M books/kestrel/c/language/implementation-environments/.sys/integer...@useless-runes.lsp
M books/kestrel/c/language/implementation-environments/.sys/schar-...@useless-runes.lsp
M books/kestrel/c/language/implementation-environments/.sys/signed-...@useless-runes.lsp
M books/kestrel/c/language/implementation-environments/.sys/t...@useless-runes.lsp
M books/kestrel/c/language/implementation-environments/.sys/uchar-...@useless-runes.lsp
A books/kestrel/c/language/implementation-environments/.sys/vers...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/abstract-synt...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/abstract-syn...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/abstract-synt...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/abstract-s...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/abstracti...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/ascii-id...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/code-en...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/compila...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/disambi...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/disamb...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/external-pr...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/file-...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/fi...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/forma...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/gra...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/implementatio...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/input...@useless-runes.lsp
R books/kestrel/c/syntax/.sys/keyw...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/langdef...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/le...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/parser-...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/parser...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/par...@useless-runes.lsp
R books/kestrel/c/syntax/.sys/preproc...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/prepro...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/preproces...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/preprocess...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/preprocess...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/preproces...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/preproces...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/prepro...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/pri...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/prin...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/pur...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/rea...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/stan...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/storage-spe...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/type-speci...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/ty...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/unamb...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/validation-...@useless-runes.lsp
A books/kestrel/c/syntax/.sys/valid...@useless-runes.lsp
M books/kestrel/c/syntax/.sys/vali...@useless-runes.lsp
A books/kestrel/c/syntax/tests/.sys/compila...@useless-runes.lsp
A books/kestrel/c/syntax/tests/.sys/le...@useless-runes.lsp
A books/kestrel/c/syntax/tests/.sys/parser...@useless-runes.lsp
A books/kestrel/c/syntax/tests/.sys/preproces...@useless-runes.lsp
A books/kestrel/c/syntax/tests/.sys/preproces...@useless-runes.lsp
A books/kestrel/c/syntax/tests/.sys/prepro...@useless-runes.lsp
A books/kestrel/c/syntax/tests/.sys/rea...@useless-runes.lsp
M books/kestrel/c/syntax/tests/.sys/vali...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/constant-p...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/cop...@useless-runes.lsp
A books/kestrel/c/transformation/.sys/input-pr...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/proof-genera...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/proof-ge...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/ren...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/simp...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/speci...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/split-...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/split-...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/spli...@useless-runes.lsp
A books/kestrel/c/transformation/.sys/split-...@useless-runes.lsp
A books/kestrel/c/transformation/.sys/spli...@useless-runes.lsp
R books/kestrel/c/transformation/.sys/splitg...@useless-runes.lsp
R books/kestrel/c/transformation/.sys/spli...@useless-runes.lsp
M books/kestrel/c/transformation/.sys/variables-in-co...@useless-runes.lsp
A books/kestrel/c/transformation/.sys/wrap-...@useless-runes.lsp
A books/kestrel/c/transformation/.sys/wra...@useless-runes.lsp
M books/kestrel/c/transformation/command-line/.sys/wrap...@useless-runes.lsp
M books/kestrel/c/transformation/tests/free-vars/.sys/free...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/asg...@useless-runes.lsp
A books/kestrel/c/transformation/tests/simpadd0/.sys/asg-...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/b...@useless-runes.lsp
A books/kestrel/c/transformation/tests/simpadd0/.sys/blo...@useless-runes.lsp
R books/kestrel/c/transformation/tests/simpadd0/.sys/cast-int...@useless-runes.lsp
R books/kestrel/c/transformation/tests/simpadd0/.sys/cast-lon...@useless-runes.lsp
A books/kestrel/c/transformation/tests/simpadd0/.sys/ca...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/cons...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/de...@useless-runes.lsp
A books/kestrel/c/transformation/tests/simpadd0/.sys/dow...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/file-...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/g...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/glo...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/i...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/ife...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/log...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/lo...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/nonint...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/nonint...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/nonint...@useless-runes.lsp
R books/kestrel/c/transformation/tests/simpadd0/.sys/nosim...@useless-runes.lsp
R books/kestrel/c/transformation/tests/simpadd0/.sys/nosimp...@useless-runes.lsp
R books/kestrel/c/transformation/tests/simpadd0/.sys/nosimp...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/pa...@useless-runes.lsp
A books/kestrel/c/transformation/tests/simpadd0/.sys/pure-ex...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/retur...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/stmt...@useless-runes.lsp
M books/kestrel/c/transformation/tests/simpadd0/.sys/terna...@useless-runes.lsp
A books/kestrel/c/transformation/tests/simpadd0/.sys/un...@useless-runes.lsp
R books/kestrel/c/transformation/tests/simpadd0/.sys/v...@useless-runes.lsp
A books/kestrel/c/transformation/tests/simpadd0/.sys/vari...@useless-runes.lsp
A books/kestrel/c/transformation/tests/simpadd0/.sys/wh...@useless-runes.lsp
A books/kestrel/c/transformation/tests/split-gso/.sys/spli...@useless-runes.lsp
R books/kestrel/c/transformation/tests/split-gso/.sys/spli...@useless-runes.lsp
M books/kestrel/c/transformation/tests/subst-free/.sys/subst...@useless-runes.lsp
A books/kestrel/c/transformation/tests/wrap-fn/.sys/wra...@useless-runes.lsp
M books/kestrel/c/transformation/utilities/.sys/call-...@useless-runes.lsp
M books/kestrel/c/transformation/utilities/.sys/collect...@useless-runes.lsp
M books/kestrel/c/transformation/utilities/.sys/free...@useless-runes.lsp
M books/kestrel/c/transformation/utilities/.sys/fresh...@useless-runes.lsp
A books/kestrel/c/transformation/utilities/.sys/rena...@useless-runes.lsp
M books/kestrel/c/transformation/utilities/.sys/subst...@useless-runes.lsp
M books/kestrel/clause-processors/.sys/simple-su...@useless-runes.lsp
M books/kestrel/clause-processors/.sys/subst...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/blak...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/blake-c...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/blake-c...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/bla...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/blake2s-exten...@useless-runes.lsp
M books/kestrel/crypto/blake/.sys/bla...@useless-runes.lsp
M books/kestrel/crypto/ecdsa/.sys/deterministic-ecdsa-...@useless-runes.lsp
M books/kestrel/crypto/ecdsa/.sys/deterministic-ecd...@useless-runes.lsp
M books/kestrel/crypto/ecdsa/.sys/deterministic-...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/secp256k1-dom...@useless-runes.lsp
M books/kestrel/crypto/ecurve/.sys/secp256...@useless-runes.lsp
M books/kestrel/crypto/keccak/.sys/keccak-t...@useless-runes.lsp
M books/kestrel/crypto/keccak/.sys/kec...@useless-runes.lsp
M books/kestrel/crypto/mimc/.sys/mimcs...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/baby-jubjub-s...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/bls12-3...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/bn-254-gr...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/ed25519-b...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/ed25519-g...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/goldilocks-...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/jubjub-sub...@useless-runes.lsp
A books/kestrel/crypto/primes/.sys/koala...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/nist-p-256...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/nist-p-256-...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/secp256k1-...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/secp256k1-...@useless-runes.lsp
M books/kestrel/crypto/primes/.sys/t...@useless-runes.lsp
M books/kestrel/crypto/r1cs/.sys/valua...@useless-runes.lsp
M books/kestrel/crypto/r1cs/dense/.sys/constrain...@useless-runes.lsp
M books/kestrel/crypto/r1cs/dense/.sys/example-c...@useless-runes.lsp
M books/kestrel/crypto/r1cs/dense/.sys/example...@useless-runes.lsp
M books/kestrel/crypto/r1cs/dense/.sys/r1...@useless-runes.lsp
M books/kestrel/crypto/r1cs/dense/.sys/te...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/.sys/p1...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/gadgets/.sys/na...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/gadgets/.sys/non...@useless-runes.lsp
M books/kestrel/crypto/r1cs/sparse/gadgets/.sys/range...@useless-runes.lsp
M books/kestrel/crypto/r1cs/tools/.sys/filter-and-combi...@useless-runes.lsp
M books/kestrel/crypto/salsa/.sys/salsa2...@useless-runes.lsp
M books/kestrel/crypto/salsa/.sys/sal...@useless-runes.lsp
M books/kestrel/crypto/sha-2/.sys/sha...@useless-runes.lsp
M books/kestrel/crypto/sha-2/.sys/sha...@useless-runes.lsp
M books/kestrel/crypto/sha-3/.sys/sh...@useless-runes.lsp
A books/kestrel/crypto/tea/.sys/inve...@useless-runes.lsp
M books/kestrel/crypto/tea/.sys/tea-...@useless-runes.lsp
M books/kestrel/crypto/tea/.sys/t...@useless-runes.lsp
M books/kestrel/ethereum/.sys/t...@useless-runes.lsp
M books/kestrel/ethereum/evm/.sys/e...@useless-runes.lsp
M books/kestrel/ethereum/evm/.sys/sup...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/baby-...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/blake2s-mi...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/edwards2mont...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/montgomery2e...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/montgomer...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/montgomeryd...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/multimux...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/multimux...@useless-runes.lsp
M books/kestrel/ethereum/semaphore/.sys/r1cs-pro...@useless-runes.lsp
M books/kestrel/file-io-light/.sys/read-file-into...@useless-runes.lsp
M books/kestrel/floats/.sys/ieee-floa...@useless-runes.lsp
M books/kestrel/floats/.sys/ieee-floats...@useless-runes.lsp
M books/kestrel/floats/.sys/ieee-...@useless-runes.lsp
M books/kestrel/floats/.sys/ro...@useless-runes.lsp
M books/kestrel/floats/.sys/r...@useless-runes.lsp
A books/kestrel/fty/.sys/any-n...@useless-runes.lsp
A books/kestrel/fty/.sys/characte...@useless-runes.lsp
A books/kestrel/fty/.sys/charac...@useless-runes.lsp
M books/kestrel/fty/.sys/deffixtype-...@useless-runes.lsp
M books/kestrel/fty/.sys/defset...@useless-runes.lsp
M books/kestrel/fty/.sys/nat...@useless-runes.lsp
M books/kestrel/fty/.sys/pos...@useless-runes.lsp
M books/kestrel/fty/.sys/s...@useless-runes.lsp
M books/kestrel/fty/.sys/strin...@useless-runes.lsp
A books/kestrel/fty/.sys/string-str...@useless-runes.lsp
M books/kestrel/fty/.sys/symbo...@useless-runes.lsp
M books/kestrel/java/language/.sys/gra...@useless-runes.lsp
M books/kestrel/java/language/.sys/ident...@useless-runes.lsp
M books/kestrel/java/language/.sys/keywords-...@useless-runes.lsp
M books/kestrel/java/language/.sys/keyw...@useless-runes.lsp
M books/kestrel/java/language/.sys/unicode-c...@useless-runes.lsp
M books/kestrel/json-parser/.sys/parse...@useless-runes.lsp
M books/kestrel/jvm/.sys/ad...@useless-runes.lsp
M books/kestrel/jvm/.sys/a...@useless-runes.lsp
M books/kestrel/jvm/.sys/arr...@useless-runes.lsp
M books/kestrel/jvm/.sys/class-fi...@useless-runes.lsp
M books/kestrel/jvm/.sys/cla...@useless-runes.lsp
M books/kestrel/jvm/.sys/do-ins...@useless-runes.lsp
M books/kestrel/jvm/.sys/intern...@useless-runes.lsp
M books/kestrel/jvm/.sys/jvm-f...@useless-runes.lsp
M books/kestrel/jvm/.sys/jvm-r...@useless-runes.lsp
M books/kestrel/jvm/.sys/jvm-...@useless-runes.lsp
M books/kestrel/jvm/.sys/j...@useless-runes.lsp
M books/kestrel/jvm/.sys/met...@useless-runes.lsp
M books/kestrel/jvm/.sys/util...@useless-runes.lsp
M books/kestrel/lists-light/.sys/evens-a...@useless-runes.lsp
M books/kestrel/lists-light/.sys/group...@useless-runes.lsp
M books/kestrel/lists-light/.sys/gr...@useless-runes.lsp
M books/kestrel/lists-light/.sys/intersect...@useless-runes.lsp
M books/kestrel/lists-light/.sys/list...@useless-runes.lsp
M books/kestrel/lists-light/.sys/member...@useless-runes.lsp
M books/kestrel/lists-light/.sys/no-duplica...@useless-runes.lsp
M books/kestrel/lists-light/.sys/pe...@useless-runes.lsp
M books/kestrel/lists-light/.sys/reva...@useless-runes.lsp
M books/kestrel/lists-light/.sys/rev...@useless-runes.lsp
M books/kestrel/lists-light/.sys/subset...@useless-runes.lsp
M books/kestrel/lists-light/.sys/ung...@useless-runes.lsp
M books/kestrel/memory/.sys/make-memory-re...@useless-runes.lsp
M books/kestrel/memory/.sys/memory-...@useless-runes.lsp
M books/kestrel/memory/.sys/memo...@useless-runes.lsp
M books/kestrel/memory/.sys/memo...@useless-runes.lsp
M books/kestrel/memory/.sys/memo...@useless-runes.lsp
M books/kestrel/number-theory/.sys/defprim...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/bv-rul...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/bv-r...@useless-runes.lsp
M books/kestrel/prime-fields/.sys/equal-of-add-c...@useless-runes.lsp
M books/kestrel/risc-v/executable/.sys/decoding-...@useless-runes.lsp
M books/kestrel/risc-v/executable/.sys/execution-...@useless-runes.lsp
M books/kestrel/risc-v/optimized/.sys/state...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/execu...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/execu...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/feat...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/rv3...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/rv6...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/seman...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/seman...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/stat...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/stat...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/stat...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/stat...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/stat...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/stat...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/sta...@useless-runes.lsp
R books/kestrel/risc-v/specialized/.sys/suppor...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv32im-le/.sys/exec...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv32im-le/.sys/feat...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv32im-le/.sys/portc...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv32im-le/.sys/sema...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv32im-le/.sys/sta...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv32im-le/.sys/suppor...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv32im-le/.sys/t...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv64im-le/.sys/exec...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv64im-le/.sys/feat...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv64im-le/.sys/portc...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv64im-le/.sys/sema...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv64im-le/.sys/sta...@useless-runes.lsp
A books/kestrel/risc-v/specialized/rv64im-le/.sys/t...@useless-runes.lsp
M books/kestrel/risc-v/specification/.sys/deco...@useless-runes.lsp
M books/kestrel/risc-v/specification/.sys/enco...@useless-runes.lsp
M books/kestrel/risc-v/specification/.sys/exec...@useless-runes.lsp
M books/kestrel/risc-v/specification/.sys/feat...@useless-runes.lsp
M books/kestrel/risc-v/specification/.sys/instru...@useless-runes.lsp
M books/kestrel/risc-v/specification/.sys/reads-ov...@useless-runes.lsp
M books/kestrel/risc-v/specification/.sys/semantics-e...@useless-runes.lsp
M books/kestrel/risc-v/specification/.sys/sema...@useless-runes.lsp
M books/kestrel/risc-v/specification/.sys/sta...@useless-runes.lsp
M books/kestrel/sets/.sys/se...@useless-runes.lsp
A books/kestrel/smt-lib/.sys/fixed-size-...@useless-runes.lsp
A books/kestrel/smt-lib/.sys/in...@useless-runes.lsp
M books/kestrel/syntheto/language/.sys/abstrac...@useless-runes.lsp
M books/kestrel/syntheto/language/.sys/deep-to...@useless-runes.lsp
M books/kestrel/syntheto/shallow/.sys/te...@useless-runes.lsp
M books/kestrel/terms-light/.sys/classify-la...@useless-runes.lsp
M books/kestrel/terms-light/.sys/empty-eva...@useless-runes.lsp
M books/kestrel/terms-light/.sys/hel...@useless-runes.lsp
M books/kestrel/terms-light/.sys/subst-var-...@useless-runes.lsp
M books/kestrel/terms-light/.sys/subst-var-...@useless-runes.lsp
M books/kestrel/terms-light/.sys/substitute-constant...@useless-runes.lsp
M books/kestrel/terms-light/.sys/substitute-l...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/appen...@useless-runes.lsp
A books/kestrel/typed-lists-light/.sys/integer...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/intege...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/keywor...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/map-str...@useless-runes.lsp
M books/kestrel/typed-lists-light/.sys/pseudo-t...@useless-runes.lsp
M books/kestrel/utilities/.sys/array...@useless-runes.lsp
M books/kestrel/utilities/.sys/conjuncts-an...@useless-runes.lsp
M books/kestrel/utilities/.sys/conjuncts-a...@useless-runes.lsp
M books/kestrel/utilities/.sys/defstobj-...@useless-runes.lsp
M books/kestrel/utilities/.sys/extend-path...@useless-runes.lsp
M books/kestrel/utilities/.sys/fast-al...@useless-runes.lsp
M books/kestrel/utilities/.sys/make...@useless-runes.lsp
M books/kestrel/utilities/.sys/os...@useless-runes.lsp
M books/kestrel/utilities/.sys/temp...@useless-runes.lsp
M books/kestrel/utilities/.sys/te...@useless-runes.lsp
A books/kestrel/utilities/.sys/untranslate...@useless-runes.lsp
M books/kestrel/wasm/.sys/parse-...@useless-runes.lsp
M books/kestrel/x86/.sys/alt-...@useless-runes.lsp
M books/kestrel/x86/.sys/assumptions...@useless-runes.lsp
M books/kestrel/x86/.sys/assumpt...@useless-runes.lsp
M books/kestrel/x86/.sys/assump...@useless-runes.lsp
M books/kestrel/x86/.sys/assump...@useless-runes.lsp
M books/kestrel/x86/.sys/assum...@useless-runes.lsp
M books/kestrel/x86/.sys/bytes-...@useless-runes.lsp
M books/kestrel/x86/.sys/canonical...@useless-runes.lsp
M books/kestrel/x86/.sys/condi...@useless-runes.lsp
M books/kestrel/x86/.sys/fl...@useless-runes.lsp
M books/kestrel/x86/.sys/flo...@useless-runes.lsp
M books/kestrel/x86/.sys/linear...@useless-runes.lsp
M books/kestrel/x86/.sys/memo...@useless-runes.lsp
M books/kestrel/x86/.sys/read-an...@useless-runes.lsp
M books/kestrel/x86/.sys/read-an...@useless-runes.lsp
M books/kestrel/x86/.sys/read-bytes-an...@useless-runes.lsp
M books/kestrel/x86/.sys/read-over-w...@useless-runes.lsp
M books/kestrel/x86/.sys/read-over-w...@useless-runes.lsp
M books/kestrel/x86/.sys/read-over-...@useless-runes.lsp
M books/kestrel/x86/.sys/readers-an...@useless-runes.lsp
M books/kestrel/x86/.sys/register-reader...@useless-runes.lsp
M books/kestrel/x86/.sys/run-unti...@useless-runes.lsp
M books/kestrel/x86/.sys/run-unti...@useless-runes.lsp
M books/kestrel/x86/.sys/run-unti...@useless-runes.lsp
M books/kestrel/x86/.sys/run-unti...@useless-runes.lsp
M books/kestrel/x86/.sys/suppo...@useless-runes.lsp
M books/kestrel/x86/.sys/suppo...@useless-runes.lsp
M books/kestrel/x86/.sys/supp...@useless-runes.lsp
M books/kestrel/x86/.sys/supp...@useless-runes.lsp
A books/kestrel/x86/.sys/supp...@useless-runes.lsp
M books/kestrel/x86/.sys/sup...@useless-runes.lsp
M books/kestrel/x86/.sys/write-over-w...@useless-runes.lsp
M books/kestrel/x86/.sys/write-over-w...@useless-runes.lsp
M books/kestrel/x86/.sys/x86-c...@useless-runes.lsp
M books/kestrel/x86/.sys/z...@useless-runes.lsp
M books/kestrel/x86/parsers/.sys/elf-...@useless-runes.lsp
M books/kestrel/x86/parsers/.sys/mach-o...@useless-runes.lsp
M books/kestrel/x86/parsers/.sys/parse-e...@useless-runes.lsp
M books/kestrel/x86/parsers/.sys/parse-ma...@useless-runes.lsp
M books/kestrel/x86/parsers/.sys/parse-...@useless-runes.lsp
M books/kestrel/x86/parsers/.sys/parsed-exec...@useless-runes.lsp
M books/kestrel/x86/parsers/.sys/parser...@useless-runes.lsp
M books/kestrel/x86/parsers/.sys/pe-t...@useless-runes.lsp
M books/kestrel/x86/tools/.sys/unroll-x8...@useless-runes.lsp
A books/kestrel/xml/.sys/build-book-...@useless-runes.lsp
M books/kestrel/xml/.sys/xml-p...@useless-runes.lsp
A books/kestrel/xml/.sys/x...@useless-runes.lsp
M books/kestrel/yul/language/.sys/abstrac...@useless-runes.lsp
M books/kestrel/yul/language/.sys/dynamic-...@useless-runes.lsp
M books/kestrel/yul/language/.sys/mo...@useless-runes.lsp
M books/kestrel/yul/language/.sys/static-shado...@useless-runes.lsp
M books/kestrel/yul/language/.sys/static-s...@useless-runes.lsp
M books/kestrel/yul/library-extensions/.sys/os...@useless-runes.lsp
M books/kestrel/yul/transformations/.sys/renaming-var...@useless-runes.lsp
M books/kestrel/zcash/.sys/jub...@useless-runes.lsp
M books/kestrel/zcash/.sys/pedersen-hash-inje...@useless-runes.lsp
M books/kestrel/zcash/gadgets/.sys/a-3-3-1-...@useless-runes.lsp
M books/kestrel/zcash/gadgets/.sys/a-3-3-...@useless-runes.lsp
M books/kestrel/zcash/gadgets/.sys/a-3-3-...@useless-runes.lsp
M books/kestrel/zcash/gadgets/.sys/a-3-3-...@useless-runes.lsp
M books/kestrel/zcash/gadgets/.sys/a-3-3-...@useless-runes.lsp
M books/kestrel/zip/.sys/un...@useless-runes.lsp
M books/projects/abnf/notation/.sys/abstrac...@useless-runes.lsp
M books/projects/abnf/notation/.sys/sema...@useless-runes.lsp
M books/projects/abnf/operations/.sys/numeric-ran...@useless-runes.lsp
M books/projects/aleo/bft/next/.sys/certif...@useless-runes.lsp
M books/projects/aleo/bft/next/.sys/mess...@useless-runes.lsp
M books/projects/aleo/bft/next/.sys/successor-predece...@useless-runes.lsp
M books/projects/aleo/leo/early-version/tests/.sys/parse-l...@useless-runes.lsp
M books/projects/aleo/vm/circuits/axe/.sys/blake2s1...@useless-runes.lsp
M books/projects/aleo/vm/circuits/axe/.sys/blake2...@useless-runes.lsp
M books/projects/aleo/vm/circuits/axe/.sys/poseidon...@useless-runes.lsp
M books/projects/aleo/vm/circuits/axe/.sys/sup...@useless-runes.lsp
M books/projects/aleo/vm/circuits/samples/.sys/boo...@useless-runes.lsp
M books/projects/apply-model-2/.sys/apply...@useless-runes.lsp
M books/projects/apply-model/.sys/apply...@useless-runes.lsp
M books/projects/apply/.sys/ba...@useless-runes.lsp
M books/projects/bls12-377-curves/primes/.sys/bls12-377-...@useless-runes.lsp
M books/projects/bls12-377-curves/primes/.sys/bls12-3...@useless-runes.lsp
M books/projects/bls12-377-curves/primes/.sys/edwards-bls12-37...@useless-runes.lsp
M books/projects/bls12-377-curves/primes/.sys/t...@useless-runes.lsp
M books/projects/hol-in-acl2/acl2/.sys/lem...@useless-runes.lsp
M books/projects/hol-in-acl2/acl2/.sys/theo...@useless-runes.lsp
A books/projects/hol-in-acl2/acl2/.sys/t...@useless-runes.lsp
A books/projects/hol-in-acl2/examples/.sys/eval-po...@useless-runes.lsp
A books/projects/hol-in-acl2/examples/.sys/eval-pol...@useless-runes.lsp
A books/projects/hol-in-acl2/examples/.sys/eval-poly-...@useless-runes.lsp
A books/projects/hol-in-acl2/examples/.sys/eval-p...@useless-runes.lsp
A books/projects/hol-in-acl2/examples/.sys/ex1-thy...@useless-runes.lsp
M books/projects/pfcs/.sys/abstract-synt...@useless-runes.lsp
M books/projects/pfcs/.sys/abstract-s...@useless-runes.lsp
M books/projects/poseidon/.sys/ingonya...@useless-runes.lsp
M books/projects/poseidon/.sys/instant...@useless-runes.lsp
M books/projects/set-theory/.sys/prove...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/linear...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/three-byte-op...@useless-runes.lsp
M books/projects/x86isa/machine/.sys/vex-opcode...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/.sys/b...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/.sys/move...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/.sys/move...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/.sys/mo...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/.sys/subro...@useless-runes.lsp
M books/projects/x86isa/machine/instructions/.sys/x...@useless-runes.lsp
M books/projects/x86isa/proofs/dataCopy/.sys/data...@useless-runes.lsp
M books/projects/x86isa/proofs/powOfTwo/.sys/powO...@useless-runes.lsp
M books/std/bitsets/.sys/bit...@useless-runes.lsp
M books/std/bitsets/.sys/sbit...@useless-runes.lsp
M books/std/omaps/.sys/co...@useless-runes.lsp
M books/std/osets/.sys/cardi...@useless-runes.lsp
M books/std/osets/.sys/del...@useless-runes.lsp
M books/std/osets/.sys/diffe...@useless-runes.lsp
M books/std/osets/.sys/elemen...@useless-runes.lsp
M books/std/osets/.sys/inte...@useless-runes.lsp
M books/std/osets/.sys/m...@useless-runes.lsp
M books/std/osets/.sys/membe...@useless-runes.lsp
M books/std/osets/.sys/ou...@useless-runes.lsp
M books/std/osets/.sys/primi...@useless-runes.lsp
M books/std/osets/.sys/quan...@useless-runes.lsp
M books/std/osets/.sys/so...@useless-runes.lsp
M books/std/osets/.sys/t...@useless-runes.lsp
M books/std/osets/.sys/under-s...@useless-runes.lsp
M books/std/osets/.sys/un...@useless-runes.lsp
A books/std/strings/.sys/ascii...@useless-runes.lsp
A books/std/strings/.sys/letter-us...@useless-runes.lsp
M books/std/util/.sys/add-io-pairs...@useless-runes.lsp
M books/std/util/.sys/add-io-pairs...@useless-runes.lsp
M books/std/util/.sys/add-io-pair...@useless-runes.lsp
M books/std/util/.sys/add-io-pa...@useless-runes.lsp
M books/std/util/.sys/def...@useless-runes.lsp
M books/system/.sys/pseudo-go...@useless-runes.lsp
M books/system/apply/.sys/apply...@useless-runes.lsp
M books/system/doc/acl2-doc.lisp
M history-management.lisp
M induct.lisp
M interface-raw.lisp
M other-events.lisp
M rewrite.lisp
M translate.lisp

Log Message:
-----------
Updated useless-runes files. Fixed typos in comments.

Thanks to Eric Smith for pointing out (using Gemini) that there were
occurrences of "to to" and "the the" in comments and :DOC -- those are
the typos I fixed.


Commit: 7456a760b3f0fdf680276aba9c5acf810ab50efe
https://github.com/acl2/acl2/commit/7456a760b3f0fdf680276aba9c5acf810ab50efe
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M books/kestrel/c/atc/generation-contexts.lisp
M books/kestrel/event-macros/applicability-conditions.lisp

Log Message:
-----------
Merge remote-tracking branch 'remotes/origin/master'


Compare: https://github.com/acl2/acl2/compare/2c51ae7fedd1...7456a760b3f0

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