index
:
bookshelf.git
main
ACL2 で作ってみた自作ライブラリ関連
Masaya Tojo
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Collapse
)
Author
2022-07-18
lists/perm: Solve Free warnings.
Masaya Tojo
2022-07-18
lists/perm: Move member-remove1.
Masaya Tojo
2022-07-16
lists: perm: Add guards.
Masaya Tojo
2022-07-16
lists: remove-nth, shuffle: Add remove-nth and shuffle.
Masaya Tojo
2022-07-16
perm: Moved to lists directory.
Masaya Tojo
2022-07-15
perm: Add (in-package "ACL2").
Masaya Tojo
2022-07-15
perm: Update Makefile.
Masaya Tojo
* Makefile(all): Add perm.cert * Makefile(perm.cert): New rule.
2022-07-15
perm: New file.
Masaya Tojo
* perm.lisp: New file.
2022-07-15
huffman-encode: rationalp-0-count-and-remove: Use `mv-nth` function.
Masaya Tojo
2022-07-14
huffman-encode: Refactor.
Masaya Tojo
2022-07-14
huffman-encode: decode1-append-encode-1: Renamed.
Masaya Tojo
2022-07-14
huffman-encode: consp-encode-1, consp-encode: Fix hypotheses.
Masaya Tojo
2022-07-14
huffman-encode: Rearrange functions and thiorems.
Masaya Tojo
2022-07-14
huffman-encode: huffman-leaf-listp: Removed.
Masaya Tojo
2022-07-14
huffman-encode: Rearrange functions and thiorems about node-count.
Masaya Tojo
2022-07-14
huffman-encode: Refactor.
Masaya Tojo
2022-07-14
huffman-encode: rationalp-weight/leaf: Fix.
Masaya Tojo
2022-07-14
huffman-encode: symbol-list-leaf-symbol: Rename.
Masaya Tojo
2022-07-14
huffman-encode: Rearrance functions.
Masaya Tojo
2022-07-14
huffman-encode: Remove huffman-leafp function.
Masaya Tojo
2022-07-14
huffman-encode: Update comment.
Masaya Tojo
2022-07-14
huffman-encode: Rearrange codes.
Masaya Tojo
2022-07-14
huffman-encode: node-count: Add guards.
Masaya Tojo
2022-07-14
.gitignore: Add `temp-emacs-file.lsp` file.
Masaya Tojo
2022-07-14
Add huffman-encode.
Masaya Tojo
2022-07-14
Add LICENSE file.
Masaya Tojo
2022-07-14
Add .gitignore file.
Masaya Tojo