Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Projects
Debugging
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Software-verification
Kestrel-books
Crypto-hdwallet
Apt
Error-checking
Abnf
Fty-extensions
Isar
Kestrel-utilities
Soft
Bv
Imp-language
Event-macros
C
Java
Bitcoin
Ethereum
Yul
Zcash
ACL2-programming-language
Prime-fields
Json
Syntheto
File-io-light
Read-file-into-byte-array-stobj
Read-file-into-character-array-stobj
Write-objects-to-file!
Read-objects-from-book
Write-strings-to-file!
Write-strings-to-file
Write-objects-to-file
Write-bytes-to-file!
Read-objects-from-file
Read-object-from-file
Read-file-into-byte-list
Write-strings-to-channel
Write-bytes-to-file
Write-bytes-to-channel
Read-file-into-character-list
Number-theory
Cryptography
Lists-light
Builtins
Axe
Solidity
Std-extensions
Helpers
Htclient
Typed-lists-light
Arithmetic-light
X86isa
Axe
Execloader
Math
Testing-utilities
Kestrel-books
File-io-light
A lightweight library for file input and output.
Subtopics
Read-file-into-byte-array-stobj
Read the bytes from a file into a stobj array.
Read-file-into-character-array-stobj
Read the characters from a file into a stobj array.
Write-objects-to-file!
Write a list of ACL2 objects to a file, when ttags are needed to write.
Read-objects-from-book
Read the forms in a book.
Write-strings-to-file!
Write strings to a file when not allowed without a trust tag.
Write-strings-to-file
Write strings to a file.
Write-objects-to-file
Write a list of ACL2 objects to a file.
Write-bytes-to-file!
Write bytes to a file when not allowed without a trust tag.
Read-objects-from-file
Read the ACL2 objects from a file.
Read-object-from-file
Read an ACL2 object from a file.
Read-file-into-byte-list
Read a file into a list of bytes.
Write-strings-to-channel
Write strings to an output channel.
Write-bytes-to-file
Write bytes to a file.
Write-bytes-to-channel
Write bytes to an output channel.
Read-file-into-character-list
Read a file into a character-list.