Check if the KLEE-2.3 directory actually necessary to add here

[sampollard]

When preparing for open-source release there's the klee-2.3 part (in the GaTech internal repo). I see a few files (like Shyamali's readme) that are definitely different, but can we confirm that we don't need the whole klee-2.3 repo, and can just point to a particular version? If not, we have permission to open-source our development branches of KLEE as well, so that may be a better place for the changes.

[vlkale]

I don't think we need to get rid of KLEE-23 directory, at least not immediately. I do think open-sourcing our development branches of Klee from X-stack would be good.

[sampollard]

For what it's worth, we got open-source approval for the whole project, which means we don't have to add files here only. So it's possible to fork from the KLEE repos directly on Github, or we could copy the tree in here.

[sampollard]

Assigning this to @vlkale and Rick to determine the best path forward here - perhaps a submodule, or perhaps just list as a dependency.

[sampollard]

After a discussion with Rick, it seems simplest to just add the snapshot of klee to this repo directly. Once @naegling gets access he'll copy the code in from the Gatech repo.