syndicate-lang
/
racket-dns-2012
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • 20207a9c18 Remove clutter moved-to-github cleanup-for-marketplace Tony Garnock-Jones 2013-05-10 15:40:25 -0400
  • f9a1c9a425 racket-bitsyntax -> (planet tonyg/bitsyntax), and racket-typed-matrix -> marketplace Tony Garnock-Jones 2013-05-10 15:46:06 -0400
  • 67b4b6b011 #:prefab -> #:transparent typed-kernel Tony Garnock-Jones 2013-05-10 16:17:17 -0400
  • d19c82d152 Instantiate map explicitly since it now infers less. Tony Garnock-Jones 2013-05-10 16:16:18 -0400
  • 68d0930e88 Update TODO Tony Garnock-Jones 2013-05-10 15:41:44 -0400
  • 3273603406 Fix a bug I introduced during the TR conversion. NXDOMAIN was falling off the end of the match. pre-marketplace-conversion Tony Garnock-Jones 2013-03-25 13:12:28 -0400
  • 1439d621ab Fix call to set-member?, which TR missed was ill-typed; see PR 13629 Tony Garnock-Jones 2013-03-25 13:01:54 -0400
  • 087d28c9ec TR proxy. Tony Garnock-Jones 2013-03-20 17:10:51 -0400
  • 0bcfd18420 More pseudo-substruct pollution; proxy.rkt now works again Tony Garnock-Jones 2013-03-20 16:11:23 -0400
  • 7653cf545a WIP toward TR proxy Tony Garnock-Jones 2013-03-20 11:01:03 -0400
  • 9473d1e78d More liberal notion of expiry, to avoid problems loading saved zones Tony Garnock-Jones 2013-03-20 11:00:46 -0400
  • bd32469757 Switch back to returning transitions rather than actions, to permit control over debug-names Tony Garnock-Jones 2013-03-20 11:00:23 -0400
  • 5da7f0ac15 Pollute structure definitions with pseudo-substruct Tony Garnock-Jones 2013-03-20 10:59:45 -0400
  • 1b2e842a15 First pass at TRifying network-query.rkt Tony Garnock-Jones 2013-03-19 22:42:42 -0400
  • bdafaa6199 Final TR conversion of driver Tony Garnock-Jones 2013-03-18 15:45:55 -0400
  • 9f79a9b831 First pass conversion of zonedb to TR Tony Garnock-Jones 2013-03-16 11:50:04 -0400
  • 316834d681 Fix RData type using substructs. Tony Garnock-Jones 2013-03-16 10:26:56 -0400
  • 7215888fcb Annotations to let it use IPv4/IPv6 types. Tony Garnock-Jones 2013-03-13 18:27:13 -0400
  • af9fa2cea8 Typed implementation WIP Tony Garnock-Jones 2013-03-13 17:30:57 -0400
  • f68f9cb56a New property-based struct-map Tony Garnock-Jones 2013-03-13 17:23:18 -0400
  • 45e7d209b3 Update to new bitsyntax extension interface. Tony Garnock-Jones 2013-03-13 17:04:08 -0400
  • 36f41b8a06 Update D root RR per 1 Jan 2013 internic change. untyped-on-typed-kernel Tony Garnock-Jones 2013-01-12 14:27:00 -0500
  • d1e130961f Handle zero-timeout RRs in subqueries correctly. Tony Garnock-Jones 2012-12-06 16:00:58 -0500
  • 392d9d4091 Contract error was because of an uncaught use of os2 protocols Tony Garnock-Jones 2012-10-31 18:52:08 -0400
  • 510ba9d750 Further porting to typed kernel Tony Garnock-Jones 2012-10-31 17:48:55 -0400
  • a8b6d50c36 .gitignore Tony Garnock-Jones 2012-10-31 16:48:52 -0400
  • 8ad9dd34a2 First steps of port to typed-matrix kernel. Tony Garnock-Jones 2012-10-31 16:48:43 -0400
  • df0c210e4b Update to new bitsyntax extension interface. main Tony Garnock-Jones 2013-03-13 17:04:08 -0400
  • 7aa56a424d A new bug, re zero-timeout RRs Tony Garnock-Jones 2012-09-19 16:26:52 -0400
  • 345965e473 Make handlers etc *required* to return a transition structure. Tony Garnock-Jones 2012-07-23 17:21:31 -0400
  • bfab626708 Make role names optional, and remove role/anon. Remove inessential role names from apps. Make nested-vm a macro. Tony Garnock-Jones 2012-07-23 15:22:18 -0400
  • 291ec07404 I've decided to rename "virtual" flows to "monitor" flows. Tony Garnock-Jones 2012-07-04 16:36:15 -0400
  • 43d5fb9231 Update to use sequence-actions instead of extend-transition. Tony Garnock-Jones 2012-07-04 16:28:44 -0400
  • 81cce62cf0 Update root set from http://www.internic.net/zones/named.root Tony Garnock-Jones 2012-05-03 16:31:38 -0400
  • f79bf86111 Initial translation of proxy and network-query to os2 Tony Garnock-Jones 2012-05-03 16:00:43 -0400
  • f466fd6a05 Better debug-names. Tony Garnock-Jones 2012-05-03 16:00:22 -0400
  • d85237674a Transparent -> prefab, for unify.rkt to work Tony Garnock-Jones 2012-05-03 15:10:32 -0400
  • f8676fcca5 Add debug names to processes Tony Garnock-Jones 2012-05-03 15:09:54 -0400
  • fc829f172f First steps to getting the driver running with os2. Tony Garnock-Jones 2012-05-02 18:46:35 -0400
  • 0f38c940ad Detect lame delegations, and ignore servers producing such delegations. pre-os2 Tony Garnock-Jones 2012-04-04 17:56:38 -0400
  • 6c8c6c5201 Track current-name, which we need to know to remove lame servers. Tony Garnock-Jones 2012-04-04 17:55:33 -0400
  • 18facb4c9e Correct contract documentation Tony Garnock-Jones 2012-04-04 17:06:18 -0400
  • f86c372baa Fix dangling-subscription bug Tony Garnock-Jones 2012-03-06 14:33:36 -0500
  • b22f7edbd0 Use newly-added debug register from os.rkt to dump entire stack state Tony Garnock-Jones 2012-03-05 18:30:17 -0500
  • e7ad27f1d3 Topologically sort CNAME chains. Tony Garnock-Jones 2012-02-24 17:53:53 -0500
  • f23ad022a7 TODO update Tony Garnock-Jones 2012-02-22 11:33:54 -0500
  • ef9078e1a3 Distinguish between NS and CNAME subquestions. Tony Garnock-Jones 2012-02-21 15:49:52 -0500
  • 6226ed01d5 Switch to using the racket logger instead of the equivalent of printf. Tony Garnock-Jones 2012-02-21 15:31:33 -0500
  • c6dc9db715 Cope with excessive gluelessness. Tony Garnock-Jones 2012-02-21 12:45:36 -0500
  • 70b8d875b7 Switch to symbolic specification of relative timeouts Tony Garnock-Jones 2012-02-19 17:09:07 -0500
  • 659cb13738 Cope with edge-case where a stale RRSET wasn't being freshened Tony Garnock-Jones 2012-02-19 16:52:45 -0500
  • d33e251dd7 Note on topological-sort of CNAMEs Tony Garnock-Jones 2012-02-19 16:43:42 -0500
  • 42280b8d91 Comment re topological sorting Tony Garnock-Jones 2012-02-19 12:38:57 -0500
  • 1d9e06eee5 Fix stupid zone expiry bug: timers are to be relative! Tony Garnock-Jones 2012-02-19 12:37:55 -0500
  • e8c13053f1 Supply explicit time from container to zone-expire-name Tony Garnock-Jones 2012-02-19 12:37:32 -0500
  • 863ecf50b6 More debug output Tony Garnock-Jones 2012-02-19 11:14:47 -0500
  • f3d96227b0 Debug on referral incorporation Tony Garnock-Jones 2012-02-19 10:56:45 -0500
  • 2490431364 Compute context for each question to break NS cycles. Tony Garnock-Jones 2012-02-18 15:57:07 -0500
  • 32bf05a9d4 Correction to contract Tony Garnock-Jones 2012-02-18 12:31:03 -0500
  • 71bf542eee Add a pathological case to experiment with Tony Garnock-Jones 2012-02-18 12:30:04 -0500
  • 43e43b548c Correction to a data definition. Tony Garnock-Jones 2012-02-18 12:29:22 -0500
  • 1d3cb6f094 It's really more like bad-answer than no-answer. Tony Garnock-Jones 2012-02-18 11:16:17 -0500
  • 776e4ad58b Turn on the DNS spy for now Tony Garnock-Jones 2012-02-17 21:33:19 -0500
  • 33939ba1f0 Better debug messages Tony Garnock-Jones 2012-02-17 21:33:10 -0500
  • b991160eab Handle name-error/NXDOMAIN when looking up nameservers Tony Garnock-Jones 2012-02-17 21:32:56 -0500
  • bee10f5cdd More debug Tony Garnock-Jones 2012-02-17 20:28:26 -0500
  • 79254cc7f4 More debug output Tony Garnock-Jones 2012-02-17 17:10:53 -0500
  • d2af6bf52e Reindent Tony Garnock-Jones 2012-02-17 16:09:54 -0500
  • 87943e435b Replace use of first-only with match Tony Garnock-Jones 2012-02-17 16:09:23 -0500
  • 1c3ebd17bd Make stress.rkt use a more sensible question and get its port number from DNSPORT Tony Garnock-Jones 2012-02-17 16:05:56 -0500
  • 3dd3370b4b Cosmetic Tony Garnock-Jones 2012-02-17 16:05:31 -0500
  • 231e297975 Handle abnormal response codes properly Tony Garnock-Jones 2012-02-17 16:05:18 -0500
  • 8571900d29 The timer-driver and timer-relay now need names to be given explicitly. Tony Garnock-Jones 2012-02-17 15:34:24 -0500
  • b79ca309c4 Fix cache TTL poisoning; save and load zone data Tony Garnock-Jones 2012-02-17 13:42:17 -0500
  • 4e7cc96d1b Proper datatype for domain-names -> case-insensitive comparison Tony Garnock-Jones 2012-02-17 12:12:48 -0500
  • 517f0e604d Minor rearrangements Tony Garnock-Jones 2012-02-17 11:38:39 -0500
  • b390b9bc6f Small program to send a debug-packet to the server. Tony Garnock-Jones 2012-02-16 15:27:03 -0500
  • f95f8c9603 Correct comment. Tony Garnock-Jones 2012-02-16 15:25:59 -0500
  • 8d715290ee Sending an empty packet to the proxy causes it to dump its current cache contents, for debugging Tony Garnock-Jones 2012-02-16 15:25:43 -0500
  • 0c3ebff5f1 Avoid output buffering; also improve debug output Tony Garnock-Jones 2012-02-16 15:24:59 -0500
  • 83cf8f53a8 Fix bug in loop-detection: the new TTL-updating was confusing the set Tony Garnock-Jones 2012-02-16 15:24:21 -0500
  • 313677acf7 Move deps on racket-matrix Tony Garnock-Jones 2012-02-15 10:41:15 -0500
  • b109465b00 Split out to racket-matrix Tony Garnock-Jones 2012-02-15 10:34:17 -0500
  • 0bd5bb0935 Split TODO Tony Garnock-Jones 2012-02-15 10:32:40 -0500
  • cf333f335c Prepare for split Tony Garnock-Jones 2012-02-15 10:32:03 -0500
  • 720ca052be Remove unused dependency Tony Garnock-Jones 2012-02-15 10:25:28 -0500
  • 969bc2646e Age and expire cached RRs properly Tony Garnock-Jones 2012-02-09 16:24:43 -0500
  • 570f6fb915 Change hash-ref -> zone-ref etc. prior to improving TTL processing Tony Garnock-Jones 2012-02-09 15:19:59 -0500
  • a891956867 Introduce subscribe/fresh and use it in some places. Tony Garnock-Jones 2012-02-08 17:34:44 -0500
  • fe88c1cbb6 Update testing code Tony Garnock-Jones 2012-02-08 16:27:05 -0500
  • 3b98769e8d Fix stupid test-direction-problem in cname expansion Tony Garnock-Jones 2012-02-06 14:33:54 -0500
  • 40ef38963b Clear cache every N seconds (until I build a better mechanism) Tony Garnock-Jones 2012-02-06 14:24:30 -0500
  • b871a60c64 Better contract Tony Garnock-Jones 2012-02-06 14:17:38 -0500
  • 1203d9a18c Only look up nameserver names as far as necessary Tony Garnock-Jones 2012-02-06 14:10:40 -0500
  • 4b7c931527 Rearrange resolver/network-query interaction, in particular making network-query a separate os.rkt process. Tony Garnock-Jones 2012-02-02 19:38:04 -0500
  • ed4fe93405 Indenting elisp utilities. Tony Garnock-Jones 2012-02-06 13:44:38 -0500
  • 9c231ebe6c Rearrange timeout loop a little Tony Garnock-Jones 2012-01-31 13:44:09 -0500
  • e6568d49b5 Make network-query no longer directly aware of CompiledZones. Tony Garnock-Jones 2012-01-31 08:11:31 -0500
  • 6cde0922d9 Use latest knowledge in CNAME expansions Tony Garnock-Jones 2012-01-25 17:57:14 -0500
  • c84ed33697 Measure RTT for network queries Tony Garnock-Jones 2012-01-25 17:56:57 -0500