| .. |
|
vmm_asn.ml
|
move stuff around
|
2018-10-26 21:30:54 +02:00 |
|
vmm_asn.mli
|
move stuff around
|
2018-10-26 21:30:54 +02:00 |
|
vmm_commands.ml
|
since argument for log_subscribe and console_subscribe
|
2018-10-26 21:29:59 +02:00 |
|
vmm_commands.mli
|
since argument for log_subscribe and console_subscribe
|
2018-10-26 21:29:59 +02:00 |
|
vmm_compress.ml
|
compression, fixes #6
|
2018-03-22 17:00:08 +01:00 |
|
vmm_compress.mli
|
copyright
|
2018-10-26 21:29:59 +02:00 |
|
vmm_core.ml
|
add policy does nothing when received policy is equal to stored one
|
2018-10-28 19:41:06 +01:00 |
|
vmm_core.mli
|
add policy does nothing when received policy is equal to stored one
|
2018-10-28 19:41:06 +01:00 |
|
vmm_lwt.ml
|
wip: vmmc_bistro
|
2018-10-28 02:03:27 +02:00 |
|
vmm_lwt.mli
|
wip: vmmc_bistro
|
2018-10-28 02:03:27 +02:00 |
|
vmm_resources.ml
|
resources: remove_vm and remove_policy - no need to intertwine into a single remove
|
2018-10-28 19:50:48 +01:00 |
|
vmm_resources.mli
|
resources: remove_vm and remove_policy - no need to intertwine into a single remove
|
2018-10-28 19:50:48 +01:00 |
|
vmm_ring.ml
|
- Vmm_ring is now polymorph (alows to store log_entry :D)
|
2018-10-26 21:29:59 +02:00 |
|
vmm_ring.mli
|
- Vmm_ring is now polymorph (alows to store log_entry :D)
|
2018-10-26 21:29:59 +02:00 |
|
vmm_tls.ml
|
vmmp_request
|
2018-10-28 22:14:39 +01:00 |
|
vmm_tls.mli
|
vmmp_request
|
2018-10-28 22:14:39 +01:00 |
|
vmm_tls_lwt.ml
|
vmmd_tls: close sockets appropriately
|
2018-10-28 19:19:38 +01:00 |
|
vmm_tls_lwt.mli
|
vmmd_tls: close sockets appropriately
|
2018-10-28 19:19:38 +01:00 |
|
vmm_trie.ml
|
copyright
|
2018-10-26 21:29:59 +02:00 |
|
vmm_trie.mli
|
copyright
|
2018-10-26 21:29:59 +02:00 |
|
vmm_unix.ml
|
more cleanups
|
2018-10-26 21:29:59 +02:00 |
|
vmm_unix.mli
|
cleanups
|
2018-10-26 21:29:59 +02:00 |
|
vmm_vmmd.ml
|
resources: remove_vm and remove_policy - no need to intertwine into a single remove
|
2018-10-28 19:50:48 +01:00 |
|
vmm_vmmd.mli
|
fewer lists, read replies (to sockets) in vmmd
|
2018-10-26 21:30:54 +02:00 |
