Specification of
BufferedRandomAccessFile.java,
a caching layer that TLC uses to speed up interaction with the filesystem.
Copied from the TLA⁺ source code on 2024/6/14.
Repository navigation
braf
Directory actions
More options
Directory actions
More options
braf
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||