aboutsummaryrefslogtreecommitdiffstats
path: root/lib/concepts/Encoding.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-10-01FOL program encoding and decodingMarcos Magueta1-0/+2
2026-09-25dune fmtMarcos Magueta1-73/+54
2026-08-27Branch serializationEstevan Castilho1-7/+24
2026-08-23Tidy upEstevan Castilho1-2/+91
2026-08-23Revert "format"Marcos Magueta1-46/+56
2026-08-23formatMarcos Magueta1-56/+46
2026-07-30B-trees & serialization with bencodeEstevan Castilho1-0/+182