folders.dox
No OneTemporary

File Metadata

Created
Sun, Feb 15, 11:53 AM

folders.dox

/**
* \dir analysis
* \brief Data structures and providers for analysis step. Everything that depends on reasoner Clasp API.
*
* \dir aux
* \brief Auxiliary files
*
* \dir compilation
* \brief Code related to compilation step. Everything that depends on compiler toolchain LLVM internals
*
* \dir pass
* \brief Various passes to gather data and perforrm analysis and compilation
*
* \dir query
* \brief Code for exrtacting solutions from reasoner output and influence compilation
*/

Event Timeline