Tony Garnock-Jones
|
e7f3e79053
|
CPS-convert resolve-from-zone to expose network I/O actions.
|
2012-01-24 14:25:44 -05:00 |
|
Tony Garnock-Jones
|
58b8d9c35b
|
Switch "exn?" to "exn:fail?" in a few important spots, to avoid catching SIGINT
|
2012-01-23 11:27:51 -05:00 |
|
Tony Garnock-Jones
|
43a6f52cd8
|
Fix a type error: DNS packets need to stay in the DNS layer
|
2012-01-23 11:22:52 -05:00 |
|
Tony Garnock-Jones
|
1f969de125
|
Use a nested-vm in big-bang-driver to split the UDP and DNS layers
|
2012-01-16 18:33:00 -05:00 |
|
Tony Garnock-Jones
|
d24ca2a2c8
|
os-big-bang version of simplified-driver.rkt
|
2012-01-16 18:12:26 -05:00 |