Tomáš Jašek
Tomáš Jašek
If downloading versions in MCDownloadOnlineVersionList fails, then also downloading versions in MCDownloadVersionList fails. This is a problem if one wants to use only locally installed versions and play without internet...
When playing Minecraft for a while, it crashes because required assets are not available. mclauncher-api seemingly skips downloading some (random) assets.
Incomplete list of things to update: - [x] move pages explaining non-existing services & concepts (i.e. assets.minecraft.net, pre-1.6 launcher related stuff) somewhere out of the way to simplify wiki structure...
I think I've seen these not filled in by the API: + `version_type` + launcher brand? (not sure about the exact name)
Snippet from 1.14.1 pre-release: ```json "logging": { "client": { "argument": "-Dlog4j.configurationFile=${path}", "file": { "id": "client-1.12.xml", "sha1": "ef4f57b922df243d0cef096efe808c72db042149", "size": 877, "url": "https://launcher.mojang.com/v1/objects/ef4f57b922df243d0cef096efe808c72db042149/client-1.12.xml" }, "type": "log4j2-xml" } }, ```
Unit tests currently test the functionality of API. While this is neat feature we'd like to have, it introduces hassle to building with maven. And this is not what unit...
When verifying programs that use output like `printf,puts,fprintf`, Symbiotic is unable to tell the difference between output from klee and output from the verified program. To reproduce the problem, verify...
Some sv-benchmarks are preprocessed using glibc. Symbiotic doesn't seem to understand glibc's expansion of `assert` macro. It looks like this: `__assert("", "sources/sys/sv_comp.h", 5, "0"));` where `__assert` is an ordinary function...
Run `symbiotic --32 --prp memsafety --no-slice rc.c` with symbiotic 5f6b411 Where `rc.c` is the following: ```c // simple reference counter typedef struct { void *obj; int count; } rc_t; static...