This repository has been archived on 2024-05-23. You can view files and clone it, but cannot push or open issues or pull requests.
dns-toy/lib
2023-07-04 13:12:45 +02:00
..
debug.ml add ip utils and print ip when its probably an IP adress in data field 2023-06-19 23:15:49 +02:00
dune Add debugging stuff 2023-06-14 16:35:14 +02:00
network.ml make it compatible with new changes 2023-07-04 10:50:15 +02:00
query.ml don't ask for recursion 2023-07-04 09:41:06 +02:00
response.ml fix: decode of the compressed name 2023-07-04 13:12:45 +02:00
types.ml add a type for DNS 2023-07-04 10:49:37 +02:00
utils.ml fix: decode of the compressed name 2023-07-04 13:12:45 +02:00