Tony Garnock-Jones
|
67b4b6b011
|
#:prefab -> #:transparent
|
2013-05-10 16:36:01 -04:00 |
Tony Garnock-Jones
|
d19c82d152
|
Instantiate map explicitly since it now infers less.
|
2013-05-10 16:36:01 -04:00 |
Tony Garnock-Jones
|
68d0930e88
|
Update TODO
|
2013-05-10 15:41:44 -04:00 |
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 |
Tony Garnock-Jones
|
1439d621ab
|
Fix call to set-member?, which TR missed was ill-typed; see PR 13629
|
2013-03-25 13:01:54 -04:00 |
Tony Garnock-Jones
|
087d28c9ec
|
TR proxy.
|
2013-03-20 17:12:11 -04:00 |
Tony Garnock-Jones
|
0bcfd18420
|
More pseudo-substruct pollution; proxy.rkt now works again
|
2013-03-20 16:11:23 -04:00 |
Tony Garnock-Jones
|
7653cf545a
|
WIP toward TR proxy
|
2013-03-20 11:01:03 -04:00 |
Tony Garnock-Jones
|
9473d1e78d
|
More liberal notion of expiry, to avoid problems loading saved zones
|
2013-03-20 11:00:46 -04:00 |
Tony Garnock-Jones
|
bd32469757
|
Switch back to returning transitions rather than actions, to permit control over debug-names
|
2013-03-20 11:00:23 -04:00 |
Tony Garnock-Jones
|
5da7f0ac15
|
Pollute structure definitions with pseudo-substruct
|
2013-03-20 10:59:45 -04:00 |
Tony Garnock-Jones
|
1b2e842a15
|
First pass at TRifying network-query.rkt
|
2013-03-19 22:42:42 -04:00 |
Tony Garnock-Jones
|
bdafaa6199
|
Final TR conversion of driver
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
9f79a9b831
|
First pass conversion of zonedb to TR
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
316834d681
|
Fix RData type using substructs.
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
7215888fcb
|
Annotations to let it use IPv4/IPv6 types.
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
af9fa2cea8
|
Typed implementation WIP
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
f68f9cb56a
|
New property-based struct-map
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
45e7d209b3
|
Update to new bitsyntax extension interface.
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
36f41b8a06
|
Update D root RR per 1 Jan 2013 internic change.
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
d1e130961f
|
Handle zero-timeout RRs in subqueries correctly.
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
392d9d4091
|
Contract error was because of an uncaught use of os2 protocols
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
510ba9d750
|
Further porting to typed kernel
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
a8b6d50c36
|
.gitignore
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
8ad9dd34a2
|
First steps of port to typed-matrix kernel.
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
7aa56a424d
|
A new bug, re zero-timeout RRs
|
2012-09-19 16:26:52 -04:00 |
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 |