Steffen Smolka
Steffen Smolka
Is there any chance you were planning on adding support for s-expressions (and in particular https://github.com/janestreet/ppx_sexp_conv)? This would allow using this library with Jane Steet's "core".
This is just an idea, but I think it would be nice to provide a vector/matrix interface that abstracts away the concrete encoding, spare or dense. The abstraction layer would...
Is there a way to disable explicit disambiguation (via the pop up window) on MacOS? It makes it very hard to type fast. Thanks!
I would like to gauge the communities interest in and feeback on the following proposal: add a p4c backend that generates a protobuf dump of a P4 AST (after the...
Currently, `p4c` does not allow one to parameterize an action over an extern, such as a meter or a counter. For example: ``` acl_common_actions.p4(20): [--Werror=type-error] error: direct_counter: Action parameters cannot...
As discussed in today's WG meeting, the definition of read-write symmetry in the spec is currently fuzzy, and the spec makes no gurantees ("reads and writes [...] **should** be symmetrical...
Once #297 and #295 have landed, we should update the WORKSPACE.bazel file of the example project introduced in #297 to point at the v1.2 release, so as to set a...
Structured and unstructured annotations share most info (their name, their source location) and differ only in their payload. Using a single message for all annotations will simplify consumption of the...