Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Go to file
Tony Garnock-Jones 291ec07404 I've decided to rename "virtual" flows to "monitor" flows. 2012-07-04 16:36:15 -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
TODO TODO update 2012-02-22 11:33:54 -05:00
api.rkt Transparent -> prefab, for unify.rkt to work 2012-05-03 15:10:32 -04:00
codec.rkt Transparent -> prefab, for unify.rkt to work 2012-05-03 15:10:32 -04:00
driver.rkt Better debug-names. 2012-05-03 16:00:22 -04:00
mapping.rkt Codec from prototype, refactored slightly 2011-08-24 16:39:04 -04:00
network-query.rkt Update to use sequence-actions instead of extend-transition. 2012-07-04 16:28:44 -04:00
os2-dns.rkt I've decided to rename "virtual" flows to "monitor" flows. 2012-07-04 16:36:15 -04:00
proxy.rkt Update to use sequence-actions instead of extend-transition. 2012-07-04 16:28:44 -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
zonedb.rkt Transparent -> prefab, for unify.rkt to work 2012-05-03 15:10:32 -04:00