Permalink
Commits on Dec 3, 2016
  1. Merge pull request #268 from yomimono/fix-create-ipv6

    take a list of ips in ipv6.connect
    yomimono committed on GitHub Dec 3, 2016
Commits on Dec 2, 2016
  1. Merge pull request #269 from yomimono/arp-result-types

    resultify arp; kill ipv4 routing exception; tcp ignores route failures
    yomimono committed on GitHub Dec 2, 2016
Commits on Nov 29, 2016
  1. resultify arp; kill ipv4 routing exception; tcp ignores route failures

    Include `No_route as a possible error from Static_ipv4 and Ipv6.write
    functions.
    
    If Error `No_route is returned from a write function invoked by
    lib/tcp/wire.ml (in other words, when sending a TCP packet), proceed as
    if the write had succeeded, allowing TCP's normal timeouts and recovery
    to attempt to restore the connection.
    yomimono committed Nov 28, 2016
Commits on Nov 20, 2016
  1. Merge pull request #267 from yomimono/higherlevel-error

    let's push write errors upward.
    yomimono committed on GitHub Nov 20, 2016
Commits on Nov 18, 2016
  1. let's push write errors upward.

    Remove exception "Refused" in TCP.  Resolve several FIXME's related to
    errors.  Generally, the previous error behavior is preserved; a few
    comments have been added where this seemed nonoptimal.
    
    Also, some minor improvements in code architecture in the unix/
    directory -- put some shared tcp sockets code in the new internal
    Tcp_socket module and share it between tcpv4_socket.ml and
    tcpv6_socket.ml, rather than duplicating it.  (A number of other issues
    in these modules remain unaddressed.)
    yomimono committed Oct 14, 2016
Commits on Nov 17, 2016
  1. Merge pull request #266 from hannesm/runtime

    use mirage-runtime (and Mirage_pp instead of M_util)
    hannesm committed on GitHub Nov 17, 2016
Commits on Nov 15, 2016
Commits on Nov 14, 2016
  1. Merge pull request #264 from hannesm/pp_util

    renamed M_pp to M_util in mirage-types
    yomimono committed on GitHub Nov 14, 2016
Commits on Nov 12, 2016
Commits on Nov 9, 2016
  1. Merge pull request #263 from yomimono/restore-automatic-listener

    Restore the previous call to `listen` in STACK.connect, and document it.
    yomimono committed on GitHub Nov 9, 2016
Commits on Nov 8, 2016
Commits on Nov 4, 2016
  1. Merge pull request #262 from yomimono/print-listen

    changes to direct-stack-related log messages
    yomimono committed on GitHub Nov 4, 2016
Commits on Nov 3, 2016
  1. Merge pull request #261 from yomimono/masterful-travis

    point travis back at master
    yomimono committed on GitHub Nov 3, 2016
  2. point travis back at master

    yomimono committed Nov 3, 2016
  3. Merge pull request #260 from yomimono/normalize-ipv4

    depend on charrua-client for dhcp client
    yomimono committed on GitHub Nov 3, 2016
Commits on Nov 2, 2016
  1. Remove DHCP. Static_ipv4 needs to inform arp of its ip. Make the test…

    …s pass.
    
    DHCP is no longer directly used; those unikernels wishing to configure
    their IPV4 interfaces by means of DHCP can use the Dhcp_ipv4 module,
    which takes a V1_LWT.DHCP_CLIENT argument to its connect function and
    sets the IP parameters according to the lease information there.
    Accordingly, remove the DHCP subdirectory and sublibrary.
    
    Tests should use Static_ipv4, since none of them intend to test DHCP.
    
    Users of STACKV4 (including tests) need to call `listen` when they're
    ready.  `listen` will no longer automatically be called for them and
    overwritten by later calls.  It is hoped that this will be less
    confusing for users of the STACKV4 functor than the previous behavior.
    
    Fix a longstanding bug where Static_ipv4 didn't inform the underlying ARP
    implementation of the IP address if it was set as an argument to
    `connect`.
    yomimono committed Nov 2, 2016
  2. Prepare for additional ipv4 module by making previous one Static_ipv4.

    Move ipv4.ml{i} to static_ipv4.ml{i}.  Split the Routing submodule into
    its own shareable module.  Move some code which doesn't need to be
    within the Ipv4.Make definition into a common module.
    yomimono committed Nov 1, 2016
Commits on Oct 31, 2016
  1. Merge pull request #259 from hannesm/open-result

    Open result in tests
    yomimono committed on GitHub Oct 31, 2016
Commits on Oct 29, 2016
  1. also test 4.03

    hannesm committed Oct 29, 2016
  2. oasis setup

    hannesm committed Oct 29, 2016
  3. open Result in tests

    hannesm committed Oct 29, 2016
Commits on Oct 20, 2016
  1. Merge pull request #258 from hannesm/network-error

    Network error
    yomimono committed on GitHub Oct 20, 2016
Commits on Oct 10, 2016
  1. write changes, fix tests (again, should be further rewritten when err…

    …ors are passed further up the stack)
    hannesm committed Oct 6, 2016
Commits on Oct 6, 2016
Commits on Oct 5, 2016
  1. Merge pull request #256 from hannesm/fix

    fix tests
    hannesm committed on GitHub Oct 5, 2016
Commits on Oct 4, 2016
  1. fix tests

    hannesm committed Oct 4, 2016
  2. Merge pull request #255 from yomimono/remove-id

    remove unused id types
    yomimono committed on GitHub Oct 4, 2016
Commits on Oct 3, 2016
  1. remove unused id types

    yomimono committed Oct 3, 2016
  2. Merge pull request #254 from hannesm/fix-random

    tests need stdlibrandom as well
    hannesm committed on GitHub Oct 3, 2016