Cristian Cadar

@davidtr1037 I propose to close this issue at this point, and keep #62 open. If you still have a fix for this, it would be of course welcome!

Please feel free to reopen it via a new PR if you would like to take charge of it. We would need to carefully measure performance in light of @251...

Superseded by #1663

We should close this old PR, but I've added it to https://github.com/klee/klee/projects/4 in case someone wants to revive it at some point.

I hope this has been resolved, but please reopen with more info if not.

@AVHon we are of course happy to accept improvements to the KLEE website. I don't agree with all the suggestions, but I am happy to discuss them in the context...

Thanks, @jordr. This patch is clearly fine, but nevertheless I wouldn't like to merge any patches before the CI is up again. Could you or @MartinNowack perhaps add here the...

@MartinNowack great, thanks!

Right, by default we're using the system headers. I need to look closer at this, but that's why I wanted a test ;)

Thank you for reporting this. We are not actively extending KLEE-Web at the moment, but we would welcome such a PR.