Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Go to file
Tony Garnock-Jones 70b8d875b7 Switch to symbolic specification of relative timeouts 2012-02-19 17:09:07 -05:00
experiments Minor rearrangements 2012-02-17 11:38:39 -05:00
prototype Prototype implementation code from racket-openwrt repo 2011-08-24 12:15:26 -04:00
TODO Split TODO 2012-02-15 10:32:40 -05:00
api.rkt Compute context for each question to break NS cycles. 2012-02-18 15:57:07 -05:00
codec.rkt Compute context for each question to break NS cycles. 2012-02-18 15:57:07 -05:00
driver.rkt Compute context for each question to break NS cycles. 2012-02-18 15:57:07 -05:00
mapping.rkt Codec from prototype, refactored slightly 2011-08-24 16:39:04 -04:00
network-query.rkt Switch to symbolic specification of relative timeouts 2012-02-19 17:09:07 -05:00
os-dns.rkt Sending an empty packet to the proxy causes it to dump its current cache contents, for debugging 2012-02-16 15:25:43 -05:00
proxy.rkt Switch to symbolic specification of relative timeouts 2012-02-19 17:09:07 -05:00
resolver.rkt Compute context for each question to break NS cycles. 2012-02-18 15:57:07 -05:00
send-signal.rkt Small program to send a debug-packet to the server. 2012-02-16 15:27:03 -05:00
simple-udp-service.rkt Move deps on racket-matrix 2012-02-15 10:41:15 -05:00
simplified-driver.rkt Compute context for each question to break NS cycles. 2012-02-18 15:57:07 -05:00
stress.rkt Compute context for each question to break NS cycles. 2012-02-18 15:57:07 -05:00
test-dns.rkt Compute context for each question to break NS cycles. 2012-02-18 15:57:07 -05:00
test-mapping.rkt Codec from prototype, refactored slightly 2011-08-24 16:39:04 -04:00
test-rrs.rkt Add a pathological case to experiment with 2012-02-18 12:30:04 -05:00
zonedb.rkt Cope with edge-case where a stale RRSET wasn't being freshened 2012-02-19 16:52:45 -05:00