Tony Garnock-Jones
|
67b4b6b011
|
#:prefab -> #:transparent
|
2013-05-10 16:36:01 -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
|
5da7f0ac15
|
Pollute structure definitions with pseudo-substruct
|
2013-03-20 10:59:45 -04:00 |
Tony Garnock-Jones
|
316834d681
|
Fix RData type using substructs.
|
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
|
8ad9dd34a2
|
First steps of port to typed-matrix kernel.
|
2013-03-18 16:05:57 -04:00 |
Tony Garnock-Jones
|
d85237674a
|
Transparent -> prefab, for unify.rkt to work
|
2012-05-03 15:10:32 -04:00 |
Tony Garnock-Jones
|
ef9078e1a3
|
Distinguish between NS and CNAME subquestions.
|
2012-02-21 15:49:52 -05:00 |
Tony Garnock-Jones
|
c6dc9db715
|
Cope with excessive gluelessness.
|
2012-02-21 12:45:36 -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
|
43e43b548c
|
Correction to a data definition.
|
2012-02-18 12:29:22 -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
|
4e7cc96d1b
|
Proper datatype for domain-names -> case-insensitive comparison
|
2012-02-17 12:12:48 -05:00 |
Tony Garnock-Jones
|
4b7c931527
|
Rearrange resolver/network-query interaction, in particular making
network-query a separate os.rkt process.
|
2012-02-08 17:35:56 -05:00 |
Tony Garnock-Jones
|
70ff41e188
|
Add accidentally-omitted clause in RData definition.
|
2011-12-22 17:50:59 -05:00 |
Tony Garnock-Jones
|
faaa81b310
|
Move (and generalise) resolver logic from server into zonedb.rkt for reuse by proxy.
|
2011-12-21 17:50:28 -05:00 |
Tony Garnock-Jones
|
70773faf33
|
Codec from prototype, refactored slightly
|
2011-08-24 16:39:04 -04:00 |