Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Find a file
2013-03-13 17:04:08 -04: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
api.rkt Transparent -> prefab, for unify.rkt to work 2012-05-03 15:10:32 -04:00
codec.rkt Update to new bitsyntax extension interface. 2013-03-13 17:04:08 -04:00
driver.rkt Make role names optional, and remove role/anon. Remove inessential 2012-07-23 15:22:18 -04:00
mapping.rkt Codec from prototype, refactored slightly 2011-08-24 16:39:04 -04:00
network-query.rkt Make handlers etc *required* to return a transition structure. 2012-07-23 17:21:31 -04:00
os2-dns.rkt Make handlers etc *required* to return a transition structure. 2012-07-23 17:21:31 -04:00
proxy.rkt Make handlers etc *required* to return a transition structure. 2012-07-23 17:21:31 -04:00
resolver.rkt Transparent -> prefab, for unify.rkt to work 2012-05-03 15:10:32 -04: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 Topologically sort CNAME chains. 2012-02-24 17:53:53 -05:00
test-mapping.rkt Codec from prototype, refactored slightly 2011-08-24 16:39:04 -04:00
test-rrs.rkt Update root set from http://www.internic.net/zones/named.root 2012-05-03 16:31:38 -04:00
TODO A new bug, re zero-timeout RRs 2012-09-19 16:26:52 -04:00
zonedb.rkt Transparent -> prefab, for unify.rkt to work 2012-05-03 15:10:32 -04:00