Re: Rigorous specification for TCP, UDP, and Sockets

gnn_at_freebsd.org
Date: 03/29/05

  • Next message: Paul Willmann: "Plan to remove GIANT dependence in ixgb driver" 
    Date: Tue, 29 Mar 2005 10:20:48 +0900
To: Peter Sewell <Peter.Sewell@cl.cam.ac.uk>

    Hi Peter,

    Interesting paper and work. Are you plannning to share the tools as
    well? That's what I'd be most interested in seeing, basically the
    ability to turn your conformance tests into regression tests.

    Thanks,
    George

    _______________________________________________
    freebsd-net@freebsd.org mailing list
    http://lists.freebsd.org/mailman/listinfo/freebsd-net
    To unsubscribe, send any mail to "freebsd-net-unsubscribe@freebsd.org"

  • Next message: Paul Willmann: "Plan to remove GIANT dependence in ixgb driver"