4 Commits (881d6172845937bb0006341b7b46d275cf22791e)

Author	SHA1	Message	Date
Jules Villard	e29a9033bb	documentation for new libraries ... Summary: The documentation had gone out of sync with the new library names. Add or copy some short documentation for the main libraries, i.e. all of them except individual analyses (and scripts, third party, ..). The idea is that each library has some toplevel documentation `infer/src/<library_dir>/<LibraryName>.mld` that is linked to from the main entry point of the document infer/infer.mld. We can link to some important modules for each library from within their toplevel documentation, then the actual documentation should live inside the .mli's of the modules of the library as appropriate. Hopefully this leads to better documentation over time. At least now we can write some docs and they'll end up somewhere nice. Lots can be improved still at this point. Reviewed By: ngorogiannis Differential Revision: D21551955 fbshipit-source-id: 69a0cfa44	5 years ago
Jules Villard	a515d1f4b0	finish dune-ification with tests and main binaries ... Summary: - move unit/clang/ to clang/unit/ and make it a dune library - move unit/nullsafe/ to nullsafe/unit/ and make it a dune library - make unit/ a dune library - inline most of dune.common.in into dune.in and make more explicit rules for each binary as they don't depend on the same libraries - move inferunit from unit/ to ./ like the other toplevel binaries Reviewed By: skcho Differential Revision: D21440822 fbshipit-source-id: 075c693e0	5 years ago
Jules Villard	041ecc5b43	rename most libraries to be more consistent ... Summary: - Capitalise names - Remove Infer prefixes ``` git ls-files | grep /dune | xargs sed -i -e 's/absint/Absint/g' -e 's/InferIR/IR/g' -e 's/InferStdlib/IStdlib/g' -e 's/InferGenerated/ATDGenerated/g' -e 's/InferBase/IBase/g' -e 's/biabduction/Biabduction/g' -e 's/nullsafe/Nullsafe/g' -e 's/\bbo\b/BO/g' -e 's/\bBo\b/BO/g' -e 's/checkers/Checkers/g' -e 's/costlib/Costlib/g' -e 's/quandary/Quandary/g' -e 's/concurrency/Concurrency/g' -e 's/pulse/Pulse/g' -e 's/labs/Labs/g' -e 's/\bjava\b/JavaFrontend/g' -e 's/\bJava\b/JavaFrontend/' -e 's/JavaStubs/JavaFrontendStubs/' -e 's/integration/Integration/g' -e 's/InferCStubs/CStubs/g' ``` Reviewed By: ngorogiannis Differential Revision: D21440820 fbshipit-source-id: 1c5d10dd4	5 years ago
Jules Villard	6e68448e3b	clang/dune, al/dune, test_determinator/dune ... Summary: Using the same trick as for the java frontend: define a dune library that takes either all the modules in the directory (except possibly stubs) or none of the modules (except possible stubs). In order to break the circular dependency between al/ and clang/, introduce a dirty callback in clang/. Reviewed By: dulmarod Differential Revision: D21440823 fbshipit-source-id: ac6b40b4e	5 years ago