doc: Separate build, installation, and usage docs

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

https://galoisinc.github.io/cclyzerpp/

BSD 3-Clause "New" or "Revised" License

137 stars 14 forks source link

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

Also:

Update Docker image docs
Separate dev/user docs
Document building with LLVM 10
Prefer running with opt, as that's what's available with the release artifacts (Debian packages/Docker images)

langston-barrett commented 2 years ago

@thinkmoore Thanks for the review!