Cristian Cadar

I see. We should indeed look at other libraries, and also at enhancing klee-libc. But a Linux package should be able to include klee-uclibc.

That's really great, thank you, @lzaoral! Does this package include klee-uclibc support? I'm not that familiar with creating man pages, but if we could somehow generate together both man pages...

That's excellent news, thanks, @lzaoral !

BTW, I assume this would be a good starting point for someone wanting to create an Ubuntu package? If i'm not mistaken, that the only popular distro missing.

@andreafioraldi finding the maximum value is not free: it would require either an optimizing solver or a series of satisfiability queries. Furthermore, if the maximum value is really large, it...

@delcypher , I agree there is room for optimization here. On an orthogonal note, I wonder whether having an open issue for such things is the right solution. Right now,...

OK, I agree a file is not a good option. Several issues indexing existing ones or several Github "projects" (or a combination of these) seem the way to go. I...

OK, I created the project board https://github.com/klee/klee/projects/2

OK, I created a label "project", and also one "discussion"

BTW, my view is that a more concrete idea would be labelled "project", while a more vague one like in this case would be in the "discussion" stage.