lily
lily
The virtio_net driver included in snabb has not been updated to the [Virtio 1.0 specification](http://docs.oasis-open.org/virtio/virtio/v1.0/virtio-v1.0.html). This means that virtio devices will eventually stop supporting it as they drop legacy driver...
Examples
It would be great if https://docs.rs/z3 had some top-level documentation with full usage examples for the crate, or linked to useful examples elsewhere. As it is, it's a bit intimidating...
The [convoy pattern](http://adam.chlipala.net/cpdt/html/MoreDep.html) is invaluable for writing functions over dependent types. It would be nice to have a good example of it here too.
From the spec: `faces_vertices` and `faces_edges` should align in start so that `faces_edges[f][i]` is the edge connecting `faces_vertices[f][i]` and `faces_vertices[f][(i+1)%d]` where `d` is the degree of face `f`. The [diagonal-cp](https://github.com/edemaine/fold/blob/main/examples/diagonal-cp.fold)...
Attempting to run `find_symbol(string)` on a Mach-O binary results in the error: ``` File "cle/loader.py", line 473, in find_symbol if sym.is_import: AttributeError: 'list' object has no attribute 'is_import' ``` This...
Protocols which use integrity protection often additionally require that an attacker cannot, for instance, gain information about the key by learning whether some (message, tag) combination is valid. The MAC...
This is because proof-general's `proof-face-specs` function defines its color classes like: ``` ((((type x) (class color) (background light)) (:background "#eaf8ff" :extend t)) (((type x) (class color) (background dark)) (:background "darkslateblue"...
Some people prefer to use yellow for the inside of the loop. This PR allows autodetecting this preference according via a cross mark on the exterior border.  
It's useful to be able to get the body of a function or let-binding as a term with free variables rather than as a function. This works unless `context[]` is...
When launching an existing virtual cluster, don't attempt to authenticate to the supervisor with the pre-keysystem method of using the preseeded authorized ssh key. Doing so won't work because that...