Andrew V. Teylu

I'm worried I have a different opinion to you guys though ... my opinion here is that we *should not* be fixing issues in external libraries. I would much prefer...

So Michael Tautschnig is a prominent Debian contributor https://qa.debian.org/[email protected] and packages CBMC for Debian -- however, even *he* has commits against CBMC that *do not* adhere to that rule: https://github.com/diffblue/cbmc/blob/develop/src/util/allocate_objects.cpp...

## On the overall copyright I have a few contributions here and there to STP, and nowhere near the number of that of Trevor/Dan/Mate, however I feel that this: ```...

## Authors I (genuinely) think the best way to resolve this issue is to drop the `authors` bit from the top of each file and do this: 1. If the...

> I don't think it's reasonable to transfer copyright over from other contributors to Vijay and David without the other contributor's permission. In the past some contributors have insisted on...

I've been trying to make a more polished attempt to process the commit history; I wrote a script here: https://github.com/andrewvaughanj/parse_stp_history/blob/master/parse_stp_history.py This script walks all commits from the start of the...

> This is dangerous, e.g. a file with a bad coverage is by a error in the unittest now uncovered and therefore removed from the report. Now your coverage is...

@latk @Spacetown thanks both for the insightful comments here. Just so we're all on same page: this isn't "make or break" for me, and given I also maintain other open-source...

Not a huge deal, but I've also just come across this issue. This issue (for me) goes away if I remove `-g` from the call to `clang -emit-llvm` -- is...

Other things that *do* work: ``` klee foo_klee_test.bc #