Sebastian Poeplau

Results 7 issues of Sebastian Poeplau

## Expected behavior When running code which produces a lot of output in the CIDER REPL buffer, the output should show reasonably fast (within the limits of Emacs' capabilities regarding...

duplicate
enhancement

Git-plus [currently uses](https://github.com/akonwi/git-plus/blob/master/lib/models/git-delete-branch.js#L20) `git branch -D ` to delete local branches. The [man page](https://git-scm.com/docs/git-branch) entry for `-D` reads: > Shortcut for --delete --force. It would be nice if git-plus used...

enhancement

The arity-3 version of `metrics.timers/deftimer` tries to call `timer` with 3 arguments, which is not implemented. I guess it should either be dropped or call `timer-with-reservoir`. On a related note,...

This is an attempt at making the code for asynchronous fuzzing easier to understand. Feel free to reject the PR if you think it's not clearer than what we started...

SymCC inserts calls at the beginning of each basic block, as well as for calls and returns, to support the QSYM backend's context-aware pruning. Recent versions of LLVM have support...

enhancement

### Expected behavior Consider the following case: Someone spawns an RDS instance and accidentally exposes it publicly. We generate a violation, they fix the configuration and resolve the violation. A...

I would like to propose that we agree on some policy for LLVM compatibility. The README currently says that we support any version between 8 and 15, and our CI...