Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Go to file
Tony Garnock-Jones 3273603406 Fix a bug I introduced during the TR conversion. NXDOMAIN was falling off the end of the match. 2013-03-25 13:12:28 -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
.gitignore .gitignore 2013-03-18 16:05:57 -04:00
TODO Handle zero-timeout RRs in subqueries correctly. 2013-03-18 16:05:57 -04:00
api-untyped.rkt Typed implementation WIP 2013-03-18 16:05:57 -04:00
api.rkt More pseudo-substruct pollution; proxy.rkt now works again 2013-03-20 16:11:23 -04:00
codec.rkt Pollute structure definitions with pseudo-substruct 2013-03-20 10:59:45 -04:00
driver.rkt Switch back to returning transitions rather than actions, to permit control over debug-names 2013-03-20 11:00:23 -04:00
mapping.rkt Typed implementation WIP 2013-03-18 16:05:57 -04:00
network-query.rkt Fix a bug I introduced during the TR conversion. NXDOMAIN was falling off the end of the match. 2013-03-25 13:12:28 -04:00
proxy.rkt TR proxy. 2013-03-20 17:12:11 -04:00
resolver.rkt Fix call to set-member?, which TR missed was ill-typed; see PR 13629 2013-03-25 13:01:54 -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 First steps of port to typed-matrix kernel. 2013-03-18 16:05:57 -04:00
simplified-driver.rkt First steps of port to typed-matrix kernel. 2013-03-18 16:05:57 -04:00
stress.rkt First steps of port to typed-matrix kernel. 2013-03-18 16:05:57 -04: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 Final TR conversion of driver 2013-03-18 16:05:57 -04:00
tk-dns.rkt Switch back to returning transitions rather than actions, to permit control over debug-names 2013-03-20 11:00:23 -04:00
zonedb.rkt More liberal notion of expiry, to avoid problems loading saved zones 2013-03-20 11:00:46 -04:00