Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Go to file
Tony Garnock-Jones 37f242874b Match state rather than straight binding it 2012-01-13 18:01:38 -05:00
prototype Prototype implementation code from racket-openwrt repo 2011-08-24 12:15:26 -04:00
TODO Expand notes on test cases 2011-09-06 16:53:02 -04:00
api.rkt Add accidentally-omitted clause in RData definition. 2011-12-22 17:50:59 -05:00
codec.rkt Temporarily use relative paths 2011-10-03 16:07:28 -04:00
driver.rkt Split out RRs for testing into a separate module 2011-12-21 17:50:56 -05:00
dump-bytes.rkt Catch errors in service; dump-bytes! utility 2011-09-19 17:39:48 -04:00
edls.rkt Commentary 2011-12-13 15:20:21 -05:00
functional-queue.rkt Forgot to check this file in. 2012-01-09 19:30:37 -05:00
ground-udp-operations-unit.rkt Split out resolver into a separate unit and signature 2011-12-28 12:27:27 -05:00
mapping.rkt Codec from prototype, refactored slightly 2011-08-24 16:39:04 -04:00
network-query-sig.rkt Split resolver algorithm from network-query implementation 2011-12-30 13:57:54 -05:00
network-query-unit.rkt Redistribute rules and comments to appropriate locations. 2011-12-30 14:50:10 -05:00
os-big-bang-example.rkt Split out call to ground-vm from definition of main 2012-01-13 16:48:43 -05:00
os-big-bang.rkt Match state rather than straight binding it 2012-01-13 18:01:38 -05:00
os-example.rkt Remove struct runnable; provide default pattern-predicate; make os-big-bang virtualizable 2012-01-13 16:42:03 -05:00
os-udp-test.rkt Use (== expr) pattern in matches 2012-01-13 17:01:06 -05:00
os-udp.rkt Use (== expr) pattern in matches 2012-01-13 17:01:06 -05:00
os-userland-example.rkt Split example into beginnings of stdlib 2012-01-11 17:07:13 -05:00
os-userland-stdlib.rkt Use (== expr) pattern in matches 2012-01-13 17:01:06 -05:00
os-userland.rkt Make both userland and big-bang able to spawn raw siblings 2012-01-13 16:46:33 -05:00
os.rkt Cosmetic 2012-01-13 17:01:13 -05:00
proxy.rkt Redistribute rules and comments to appropriate locations. 2011-12-30 14:50:10 -05:00
resolver-sig.rkt Split resolver algorithm from network-query implementation 2011-12-30 13:57:54 -05:00
resolver-test.rkt Split resolver algorithm from network-query implementation 2011-12-30 13:57:54 -05:00
resolver-unit.rkt Redistribute rules and comments to appropriate locations. 2011-12-30 14:50:10 -05:00
simple-udp-service.rkt More consistent naming (event -> message, etc) 2011-12-16 11:42:06 -05:00
simplified-driver.rkt Split resolver algorithm from network-query implementation 2011-12-30 13:57:54 -05:00
stress.rkt Temporarily use relative paths 2011-10-03 16:07:28 -04:00
test-dns.rkt Explicitly comment the structure of a simple test case. 2011-09-06 16:39:47 -04:00
test-mapping.rkt Codec from prototype, refactored slightly 2011-08-24 16:39:04 -04:00
test-rrs.rkt Split out RRs for testing into a separate module 2011-12-21 17:50:56 -05:00
udp-operations-sig.rkt Split out resolver into a separate unit and signature 2011-12-28 12:27:27 -05:00
zonedb.rkt Split out resolver into a separate unit and signature 2011-12-28 12:27:27 -05:00