CKingX

Results 7 comments of CKingX

Lack of sparse file is really surprising. Pretty sure ntfs-3g fuse driver supported sparse files, though it is fuse. Also no communication puts a damper on the NTFS3 driver. This...

I am not xRiot. But I did check F2FS and it worked (albet with one mount error were I have to create the mount directory and then type CONTINUE (same...

Using JSON will also prevent ValueAfterTable TOML errors as well (and TOML Serde also states enums are not supported)

I could help with this! We could use a HashMap behind the scenes (will also ensure we don't have any duplicates). I will work on a PR soon

While httm doesn't provide snapshot functionality, there is sanoid by Jim Salter which can take snapshots on an interval (for example, keep 24 hours of snapshots, then maintain daily snapshots...

I will let you know by testing a new project. For now, Prusti does not support iterators and macros on my project so I could not immediately test it

Thank you! It seems to show the score for all the moves in the graph and in the infobox ![image](https://github.com/user-attachments/assets/bc4f0e49-fc2a-4f6b-b768-5b3ea6d99eda)