Tobias Zimmermann

Results 30 issues of Tobias Zimmermann

## Sorting - **I'm submitting a ...** - [ ] bug report - [x] feature request - [ ] support request - I confirm that I - [x] used the...

Pending feedback

I came across this issue in conjunction with cfi2017/bl3-save-core#1. When attempting to store a character's item and the serialization fails, an error is generated and the operation aborted. However, if...

It would be great if the icons could be cached somewhere after resizing (maybe based on the last modified timestamp for the best performance) to get faster builds. Right now...

wip
upcoming version
high priority

Hi Gagandeep, I have encountered a case where the polyhedra domain crashes with an internal null pointer exception when doing the following: * Create a top value with 3 dimensions....

Hi, I am encountering issues freeing some abstract values in the polyhedra domain. I have gotten the `EXC_BAD_ACCESS` exception in ~~two~~ ~~three~~ ~~four~~ ~~five~~ six different places so far: *...

Hi Gagandeep, I have run into another issue with the polyhedra domain. Consider the following two abstract values (with two dimensions each): * `x0 - x1 >= 0 ∧ x1...

I'm currently attempting to setup a new server with NixOS. As part of my config, I have the following: ``` { // ... age.secrets."initrd_host_ed25519_key".file = ./secrets/initrd_host_ed25519_key.age; boot.initrd.network.ssh.hostKeys = [config.age.secrets."inintrd_host_ed25519_key".path]; }...

I have created a grammar which causes `tree-sitter generate` to fail with the following error: ``` $ /home/cu3po42/development/tree-sitter-minerva/node_modules/.bin/tree-sitter generate thread 'main' panicked at 'no entry found for key', cli/src/generate/render.rs:1049:21 note:...

bug
parser-generation
crash

Hey there! Let me start by thanking you for the work on devenv. Overall I've had a very positive experience with it so far. However, I have noticed an explosion...

enhancement

Key 0x2F keyY is derived by NATIVE_FIRM, but the derivation procedure is arguably quite simple. It is probably best summarised by this [one line from SciresM/3ds-pohlig-hellmann](https://github.com/SciresM/3ds-pohlig-hellman/blob/master/keygen.py#L34): ```py keys = hashlib.sha256(binascii.unhexlify('%0512X'...