Revision 27c8bdb91db06555b4f2dcb2c26eee7085be5e27 authored by Lucas Randazzo on 15 February 2024, 09:17:06 UTC, committed by Marge Bot on 15 February 2024, 15:52:00 UTC
Keep first denunciation in case of conflict.
Works regardless of Validate's invariants.
1 parent 00838ef
History
File Mode Size
append_only_file.ml -rw-r--r-- 6.3 KB
append_only_file.mli -rw-r--r-- 844 bytes
append_only_file_intf.ml -rw-r--r-- 6.4 KB
async.ml -rw-r--r-- 3.7 KB
async.mli -rw-r--r-- 833 bytes
async_intf.ml -rw-r--r-- 1.6 KB
atomic_write.ml -rw-r--r-- 6.0 KB
atomic_write.mli -rw-r--r-- 967 bytes
checks.ml -rw-r--r-- 26.1 KB
checks.mli -rw-r--r-- 874 bytes
checks_intf.ml -rw-r--r-- 6.3 KB
chunked_suffix.ml -rw-r--r-- 12.7 KB
chunked_suffix.mli -rw-r--r-- 842 bytes
chunked_suffix_intf.ml -rw-r--r-- 4.1 KB
control_file.ml -rw-r--r-- 12.9 KB
control_file.mli -rw-r--r-- 840 bytes
control_file_intf.ml -rw-r--r-- 13.0 KB
dict.ml -rw-r--r-- 3.0 KB
dict.mli -rw-r--r-- 832 bytes
dict_intf.ml -rw-r--r-- 1.1 KB
dispatcher.ml -rw-r--r-- 5.2 KB
dispatcher.mli -rw-r--r-- 838 bytes
dispatcher_intf.ml -rw-r--r-- 3.9 KB
dune -rw-r--r-- 504 bytes
errors.ml -rw-r--r-- 5.4 KB
file_manager.ml -rw-r--r-- 37.7 KB
file_manager.mli -rw-r--r-- 840 bytes
file_manager_intf.ml -rw-r--r-- 11.1 KB
gc.ml -rw-r--r-- 12.4 KB
gc.mli -rw-r--r-- 2.2 KB
gc_args.ml -rw-r--r-- 2.2 KB
gc_stats.ml -rw-r--r-- 8.6 KB
gc_stats.mli -rw-r--r-- 1.5 KB
gc_worker.ml -rw-r--r-- 17.0 KB
gc_worker.mli -rw-r--r-- 1.6 KB
import.ml -rw-r--r-- 2.2 KB
inode.ml -rw-r--r-- 2.5 KB
inode.mli -rw-r--r-- 833 bytes
inode_intf.ml -rw-r--r-- 3.0 KB
io.ml -rw-r--r-- 9.8 KB
io.mli -rw-r--r-- 830 bytes
io_errors.ml -rw-r--r-- 3.6 KB
io_intf.ml -rw-r--r-- 5.2 KB
io_legacy.ml -rw-r--r-- 6.3 KB
io_legacy.mli -rw-r--r-- 822 bytes
io_legacy_intf.ml -rw-r--r-- 1.5 KB
irmin_pack_unix.ml -rw-r--r-- 1.8 KB
irmin_pack_unix.mli -rw-r--r-- 2.1 KB
lower.ml -rw-r--r-- 13.8 KB
lower.mli -rw-r--r-- 828 bytes
lower_intf.ml -rw-r--r-- 6.6 KB
lru.ml -rw-r--r-- 2.9 KB
lru.mli -rw-r--r-- 1.5 KB
pack_index.ml -rw-r--r-- 4.4 KB
pack_index.mli -rw-r--r-- 838 bytes
pack_index_intf.ml -rw-r--r-- 2.4 KB
pack_key.ml -rw-r--r-- 5.9 KB
pack_key.mli -rw-r--r-- 836 bytes
pack_key_intf.ml -rw-r--r-- 4.8 KB
pack_store.ml -rw-r--r-- 20.6 KB
pack_store.mli -rw-r--r-- 838 bytes
pack_store_intf.ml -rw-r--r-- 3.7 KB
pack_value.ml -rw-r--r-- 937 bytes
ranges.ml -rw-r--r-- 4.3 KB
ranges.mli -rw-r--r-- 1.6 KB
snapshot.ml -rw-r--r-- 12.5 KB
snapshot.mli -rw-r--r-- 836 bytes
snapshot_intf.ml -rw-r--r-- 2.3 KB
sparse_file.ml -rw-r--r-- 9.7 KB
sparse_file.mli -rw-r--r-- 839 bytes
sparse_file_intf.ml -rw-r--r-- 5.8 KB
stats.ml -rw-r--r-- 8.4 KB
stats.mli -rw-r--r-- 833 bytes
stats_intf.ml -rw-r--r-- 9.6 KB
store.ml -rw-r--r-- 27.2 KB
store.mli -rw-r--r-- 884 bytes
store_intf.ml -rw-r--r-- 13.3 KB
traverse_pack_file.ml -rw-r--r-- 15.4 KB
utils.ml -rw-r--r-- 3.0 KB

back to top