CyB3RC0nN0R

icon indicating a website link https://git.kske.dev/kske icon indicating an email [email protected]

icon location Stuttgart, Germany icon location You know who I am.

Results 2 issues of CyB3RC0nN0R

dev-vcs/git: add -ffat-lto-objects workaround

2 comment

When compiling git without this workaround, cloning a remote repository results in a "bad object" error (the object in question seems to be random) most of the time. I am...

Detailed Proofs

This pull request introduces positional annotations to the TSTP proof output. The compact positions of an opcode's arguments in a derivation are stored as additional numeric arguments. Currently, only the...

enhancement