Simeon Miteff

Need documentation for permitted map key types (or: vector as map key generates bad code)

2

Spicy accepts `vector` as a `map` key but the generated code does not compile: This: ``` global m: map = map(); ``` ...fails like this: ``` /tmp/test_553c969fdb1644ef-3b1b3dab4d11b66e.cc:26:136: required from here...

Compiler abort on unit as map key

1

The following program: ``` module test; type Key = unit {a: uint8;}; global m: map; m[[$a=1]] = 1; print m; ``` ...causes `spicy` to abort with a failed assertion: ```console...

Compiler abort with struct containing un-sized bytes

1

This: ``` module test; type Test = struct { t: bytes; # &size=3; }; global s: Test = [$t=b"foo"]; print s; ``` ...does not compile: ```console $ spicyc -j struct_init.spicy...

Type error in code generated for map get() call

3

Hi! I want to use the `map` type's `get()` method to build a map of counts with a default of 0: ``` module test; global m: map = map(); m[0]...

Update dnet on PyPi to make this fork installable via pip

1

The [current module](https://pypi.org/project/dnet/) on PyPi is the old python2-only version. It would be fantastic if this fork could get merged/blessed as the new upstream `dnet`. If that isn't possible perhaps...

script_id$type_name values incomplete for composite types

1

The following script: ```zeek global v1: vector of count; global v2: set[count]; event zeek_init() { print global_ids()["v1"]$type_name; print global_ids()["v2"]$type_name; } ``` Outputs: ``` vector table ``` The first is lossy...

Pointers to Vivado compatible xvcd?

1

Hi Patrick You mention: > Other people have builds that work with Vivado, use theirs... Is there a particular version you recommend for use with Vivado? I've tried https://github.com/RHSResearchLLC/xvcd which...

Using the `-macos-be-damned` flag extends certificate validity from the default 2 years and 30 days (the max allowable by Apple stuff) to 100 years, which is useful for insecure applications...

Missing tag/release for version 0.17

2

Could we please get a release on github to correspond to libais version 0.17?