Gerion Entrup

Results 35 issues of Gerion Entrup

I'm a user of mpv and Strawberry. Strawberry has a GUI while mpv has not, Strawberry is meant to controlled by a mouse while mpv is meant to control by...

enhancement

On the website some posts are posted to multiple subreddit and linked via "other discussions" in the old style website and "view discussion in x other communities" in the normal...

Appearently, the GraphTraits interface does not work with newer LLVMs anymore. I have tested this with the svf example. In my option the depth first search iterator loop should compile...

This has the main advantage that ninja uses all cores per default resulting in a faster compilation on machines with more or less than 4 cores. See #302 for more...

Especially when using SVF as library, it would be nice if all symbols and preprocessor constants are prefixed with SVF, i.e. to use a namespace SVF for C++ itself and...

I'm trying to build an ICFG _with_ function pointers. I have expected that SVF supports that (in an iterative manner). With a bit of trying around, it seems, that is...

I'am experiencing a segfault within the construction of the PAG. The relevant code snippet, that triggers the error is: ``` SVFModule* svfModule = LLVMModuleSet::getLLVMModuleSet()->buildSVFModule(get_module()); assert(svfModule != nullptr && "SVF Module...

**Acknowledgments** Please check the following boxes with an `x` if they apply: * [x] The feature I want to propose would be useful for the majority of users, not only...

enhancement 🏗️

Currently, this works in TikZ: ```tex \documentclass{article} \usepackage{tikz} \usetikzlibrary{arrows.meta} \begin{document} \begin{tikzpicture} \draw[red] (0,0) -- (1,1); \draw[blue, shorten = 2pt] (0,0) -- (1,1); \end{tikzpicture} \end{document} ``` Sometimes you want (like in...

Feature Request

I have connected via SIP to a FRITZ!Box (FRITZ!OS 7.29). Normal phone calls work fine, but call forwarding does not work (to another local phone, managed by the box). Wenn...

external
info needed
SIP/SDP