Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.

historical

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tony Garnock-Jones df0c210e4b Update to new bitsyntax extension interface.		10 years ago
experiments	Minor rearrangements	11 years ago
prototype	Prototype implementation code from racket-openwrt repo	12 years ago
TODO	A new bug, re zero-timeout RRs	11 years ago
api.rkt	Transparent -> prefab, for unify.rkt to work	11 years ago
codec.rkt	Update to new bitsyntax extension interface.	10 years ago
driver.rkt	Make role names optional, and remove role/anon. Remove inessential	11 years ago
mapping.rkt	Codec from prototype, refactored slightly	12 years ago
network-query.rkt	Make handlers etc *required* to return a transition structure.	11 years ago
os2-dns.rkt	Make handlers etc *required* to return a transition structure.	11 years ago
proxy.rkt	Make handlers etc *required* to return a transition structure.	11 years ago
resolver.rkt	Transparent -> prefab, for unify.rkt to work	11 years ago
send-signal.rkt	Small program to send a debug-packet to the server.	11 years ago
simple-udp-service.rkt	Move deps on racket-matrix	11 years ago
simplified-driver.rkt	Compute context for each question to break NS cycles.	11 years ago
stress.rkt	Compute context for each question to break NS cycles.	11 years ago
test-dns.rkt	Topologically sort CNAME chains.	11 years ago
test-mapping.rkt	Codec from prototype, refactored slightly	12 years ago
test-rrs.rkt	Update root set from http://www.internic.net/zones/named.root	11 years ago
zonedb.rkt	Transparent -> prefab, for unify.rkt to work	11 years ago