Tony Garnock-Jones
|
345965e473
|
Make handlers etc *required* to return a transition structure.
|
2012-07-23 17:21:31 -04:00 |
Tony Garnock-Jones
|
bfab626708
|
Make role names optional, and remove role/anon. Remove inessential
role names from apps. Make nested-vm a macro.
|
2012-07-23 15:22:18 -04:00 |
Tony Garnock-Jones
|
291ec07404
|
I've decided to rename "virtual" flows to "monitor" flows.
|
2012-07-04 16:36:15 -04:00 |
Tony Garnock-Jones
|
43d5fb9231
|
Update to use sequence-actions instead of extend-transition.
|
2012-07-04 16:28:44 -04:00 |
Tony Garnock-Jones
|
81cce62cf0
|
Update root set from http://www.internic.net/zones/named.root
|
2012-05-03 16:31:38 -04:00 |
Tony Garnock-Jones
|
f79bf86111
|
Initial translation of proxy and network-query to os2
|
2012-05-03 16:00:43 -04:00 |
Tony Garnock-Jones
|
f466fd6a05
|
Better debug-names.
|
2012-05-03 16:00:22 -04:00 |
Tony Garnock-Jones
|
d85237674a
|
Transparent -> prefab, for unify.rkt to work
|
2012-05-03 15:10:32 -04:00 |
Tony Garnock-Jones
|
f8676fcca5
|
Add debug names to processes
|
2012-05-03 15:09:54 -04:00 |
Tony Garnock-Jones
|
fc829f172f
|
First steps to getting the driver running with os2.
|
2012-05-02 18:46:35 -04:00 |
Tony Garnock-Jones
|
0f38c940ad
|
Detect lame delegations, and ignore servers producing such delegations.
|
2012-04-04 17:56:38 -04:00 |
Tony Garnock-Jones
|
6c8c6c5201
|
Track current-name, which we need to know to remove lame servers.
|
2012-04-04 17:55:33 -04:00 |
Tony Garnock-Jones
|
18facb4c9e
|
Correct contract documentation
|
2012-04-04 17:06:18 -04:00 |
Tony Garnock-Jones
|
f86c372baa
|
Fix dangling-subscription bug
|
2012-03-06 14:33:36 -05:00 |
Tony Garnock-Jones
|
b22f7edbd0
|
Use newly-added debug register from os.rkt to dump entire stack state
|
2012-03-05 18:30:17 -05:00 |
Tony Garnock-Jones
|
e7ad27f1d3
|
Topologically sort CNAME chains.
|
2012-02-24 17:53:53 -05:00 |
Tony Garnock-Jones
|
f23ad022a7
|
TODO update
|
2012-02-22 11:33:54 -05:00 |
Tony Garnock-Jones
|
ef9078e1a3
|
Distinguish between NS and CNAME subquestions.
|
2012-02-21 15:49:52 -05:00 |
Tony Garnock-Jones
|
6226ed01d5
|
Switch to using the racket logger instead of the equivalent of printf.
|
2012-02-21 15:31:33 -05:00 |
Tony Garnock-Jones
|
c6dc9db715
|
Cope with excessive gluelessness.
|
2012-02-21 12:45:36 -05:00 |
Tony Garnock-Jones
|
70b8d875b7
|
Switch to symbolic specification of relative timeouts
|
2012-02-19 17:09:07 -05:00 |
Tony Garnock-Jones
|
659cb13738
|
Cope with edge-case where a stale RRSET wasn't being freshened
|
2012-02-19 16:52:45 -05:00 |
Tony Garnock-Jones
|
d33e251dd7
|
Note on topological-sort of CNAMEs
|
2012-02-19 16:43:42 -05:00 |
Tony Garnock-Jones
|
42280b8d91
|
Comment re topological sorting
|
2012-02-19 12:38:57 -05:00 |
Tony Garnock-Jones
|
1d9e06eee5
|
Fix stupid zone expiry bug: timers are to be relative!
|
2012-02-19 12:37:55 -05:00 |
Tony Garnock-Jones
|
e8c13053f1
|
Supply explicit time from container to zone-expire-name
|
2012-02-19 12:37:32 -05:00 |
Tony Garnock-Jones
|
863ecf50b6
|
More debug output
|
2012-02-19 11:14:47 -05:00 |
Tony Garnock-Jones
|
f3d96227b0
|
Debug on referral incorporation
|
2012-02-19 10:56:45 -05:00 |
Tony Garnock-Jones
|
2490431364
|
Compute context for each question to break NS cycles.
|
2012-02-18 15:57:07 -05:00 |
Tony Garnock-Jones
|
32bf05a9d4
|
Correction to contract
|
2012-02-18 12:31:03 -05:00 |
Tony Garnock-Jones
|
71bf542eee
|
Add a pathological case to experiment with
|
2012-02-18 12:30:04 -05:00 |
Tony Garnock-Jones
|
43e43b548c
|
Correction to a data definition.
|
2012-02-18 12:29:22 -05:00 |
Tony Garnock-Jones
|
1d3cb6f094
|
It's really more like bad-answer than no-answer.
|
2012-02-18 11:16:17 -05:00 |
Tony Garnock-Jones
|
776e4ad58b
|
Turn on the DNS spy for now
|
2012-02-17 21:33:19 -05:00 |
Tony Garnock-Jones
|
33939ba1f0
|
Better debug messages
|
2012-02-17 21:33:10 -05:00 |
Tony Garnock-Jones
|
b991160eab
|
Handle name-error/NXDOMAIN when looking up nameservers
|
2012-02-17 21:32:56 -05:00 |
Tony Garnock-Jones
|
bee10f5cdd
|
More debug
|
2012-02-17 20:28:26 -05:00 |
Tony Garnock-Jones
|
79254cc7f4
|
More debug output
|
2012-02-17 17:10:53 -05:00 |
Tony Garnock-Jones
|
d2af6bf52e
|
Reindent
|
2012-02-17 16:09:54 -05:00 |
Tony Garnock-Jones
|
87943e435b
|
Replace use of first-only with match
|
2012-02-17 16:09:23 -05:00 |
Tony Garnock-Jones
|
1c3ebd17bd
|
Make stress.rkt use a more sensible question and get its port number from DNSPORT
|
2012-02-17 16:05:56 -05:00 |
Tony Garnock-Jones
|
3dd3370b4b
|
Cosmetic
|
2012-02-17 16:05:31 -05:00 |
Tony Garnock-Jones
|
231e297975
|
Handle abnormal response codes properly
|
2012-02-17 16:05:18 -05:00 |
Tony Garnock-Jones
|
8571900d29
|
The timer-driver and timer-relay now need names to be given explicitly.
|
2012-02-17 15:34:24 -05:00 |
Tony Garnock-Jones
|
b79ca309c4
|
Fix cache TTL poisoning; save and load zone data
|
2012-02-17 13:42:17 -05:00 |
Tony Garnock-Jones
|
4e7cc96d1b
|
Proper datatype for domain-names -> case-insensitive comparison
|
2012-02-17 12:12:48 -05:00 |
Tony Garnock-Jones
|
517f0e604d
|
Minor rearrangements
|
2012-02-17 11:38:39 -05:00 |
Tony Garnock-Jones
|
b390b9bc6f
|
Small program to send a debug-packet to the server.
|
2012-02-16 15:27:03 -05:00 |
Tony Garnock-Jones
|
f95f8c9603
|
Correct comment.
|
2012-02-16 15:25:59 -05:00 |
Tony Garnock-Jones
|
8d715290ee
|
Sending an empty packet to the proxy causes it to dump its current cache contents, for debugging
|
2012-02-16 15:25:43 -05:00 |