Rob Springer
Rob Springer
View types (xls/ir/value_view.h) are handy because they allow inputs to be passed into and outputs to be received from JIT calls without having to hit the heap a bunch to...
When writing the AES-GCM code, I mistakenly referenced `aes_128::aes_128_encrypt`, which doesn't exist, instead of `aes_128::aes_encrypt`, which does. Rather than getting a nice "Could not find function"-style error, I instead got:...
``` proc foo { config { spawn does_not_exist(...)(...); () } next(tok: Token) { ... } } ``` Trying to interpret this results in the error message "ParseError: Cannot find a...
Similar to issue #662 : can I pass a channel to a function? Can I recv on it inside a function? What other potential restrictions are there on channel usage?
Get the following error when running the GCM GHASH test (in flight; will be submitted soon) DSLX interpreter *without the --compare=none* flag: ``` xls/modules/aes/aes_128_ghash.x:334:26-334:41 0332: [u8:0x9e, u8:0x5e, u8:0x57, u8:0x14], 0333:...
In the unit test gf_128_mul_test (maybe not committed yet), I triggered an error when the test accidentally ended with: ``` let z = gf128_mul(b, a); assert_eq(z, expected) () ``` Note...
It'd be convenient to be able to check, well, all sorts of things statically in DSLX programs. One example I can think of is for a parameterized AES implementation to...
Now that we're starting to land procs, we should figure out the story for fuzzin' 'em. Might be a bit hard, but it definitely needs doing.
If I have a function and a proc (that has a state parameter) defined in the same file, and a unit test for that function but no unit test for...
The following DSLX causes a boom (out-of-bounds vector access) in the constexpr evaluator: ``` type Block = u8[4][4]; fn foo() { let bar = Block:[]; () } ``` 1. The...