Here is a list of all files with brief descriptions:

[detail level 1234]

► ast
► analysis
Aggregate.cpp
Aggregate.h
Analysis.h
AuxArity.cpp
AuxArity.h
ClauseNormalisation.cpp
ClauseNormalisation.h
ComponentLookup.cpp
ComponentLookup.h
Constraint.h
ConstraintSystem.h
Functor.cpp
Functor.h
Ground.cpp
Ground.h
IOType.cpp
IOType.h
PolymorphicObjects.cpp
PolymorphicObjects.h
PrecedenceGraph.cpp
PrecedenceGraph.h
ProfileUse.cpp
ProfileUse.h
RecursiveClauses.cpp
RecursiveClauses.h
RedundantRelations.cpp
RedundantRelations.h
RelationDetailCache.cpp
RelationDetailCache.h
RelationSchedule.cpp
RelationSchedule.h
SCCGraph.cpp
SCCGraph.h
SumTypeBranches.cpp
SumTypeBranches.h
TopologicallySortedSCCGraph.cpp
TopologicallySortedSCCGraph.h
Type.cpp
Type.h
TypeConstraints.cpp
TypeConstraints.h
TypeEnvironment.cpp
TypeEnvironment.h
TypeSystem.cpp
TypeSystem.h
► tests
ast_parser_utils_test.cpp
ast_print_test.cpp
ast_program_test.cpp
ast_transformers_test.cpp
ast_utils_test.cpp
constraints_test.cpp
type_system_test.cpp
► transform
AddNullariesToAtomlessAggregates.cpp
AddNullariesToAtomlessAggregates.h
ComponentChecker.cpp
ComponentChecker.h
ComponentInstantiation.cpp
ComponentInstantiation.h
Conditional.h
DebugReporter.cpp
DebugReporter.h
ExecutionPlanChecker.cpp
ExecutionPlanChecker.h
Fixpoint.h
FoldAnonymousRecords.cpp
FoldAnonymousRecords.h
GroundedTermsChecker.cpp
GroundedTermsChecker.h
GroundWitnesses.cpp
GroundWitnesses.h
InlineRelations.cpp
InlineRelations.h
IOAttributes.h
IODefaults.h
MagicSet.cpp
MagicSet.h
MaterializeAggregationQueries.cpp
MaterializeAggregationQueries.h
MaterializeSingletonAggregation.cpp
MaterializeSingletonAggregation.h
Meta.cpp
Meta.h
MinimiseProgram.cpp
MinimiseProgram.h
NameUnnamedVariables.cpp
NameUnnamedVariables.h
NormaliseMultiResultFunctors.cpp
NormaliseMultiResultFunctors.h
Null.h
PartitionBodyLiterals.cpp
PartitionBodyLiterals.h
Pipeline.h
PragmaChecker.cpp
PragmaChecker.h
Provenance.cpp
Provenance.h
ReduceExistentials.cpp
ReduceExistentials.h
RemoveBooleanConstraints.cpp
RemoveBooleanConstraints.h
RemoveEmptyRelations.cpp
RemoveEmptyRelations.h
RemoveRedundantRelations.cpp
RemoveRedundantRelations.h
RemoveRedundantSums.cpp
RemoveRedundantSums.h
RemoveRelationCopies.cpp
RemoveRelationCopies.h
ReorderLiterals.cpp
ReorderLiterals.h
ReplaceSingletonVariables.cpp
ReplaceSingletonVariables.h
ResolveAliases.cpp
ResolveAliases.h
ResolveAnonymousRecordAliases.cpp
ResolveAnonymousRecordAliases.h
SemanticChecker.cpp
SemanticChecker.h
SimplifyAggregateTargetExpression.cpp
SimplifyAggregateTargetExpression.h
Transformer.cpp
Transformer.h
TypeChecker.cpp
TypeChecker.h
UniqueAggregationVariables.cpp
UniqueAggregationVariables.h
While.h
► utility
BindingStore.cpp
BindingStore.h
LambdaNodeMapper.h
NodeMapper.h
SipsMetric.cpp
SipsMetric.h
Utils.cpp
Utils.h
Visitor.h
Aggregator.h
AlgebraicDataType.h
Argument.h
Atom.h
Attribute.h
BinaryConstraint.h
BooleanConstraint.h
BranchDeclaration.h
BranchInit.h
Clause.h
Component.h
ComponentInit.h
ComponentType.h
Constant.h
Constraint.h
Counter.h
Directive.h
ExecutionOrder.h
ExecutionPlan.h
Functor.h
FunctorDeclaration.h
IntrinsicFunctor.h
Literal.h
Negation.h
NilConstant.h
Node.h
NumericConstant.h
Pragma.h
Program.cpp
Program.h
ProvenanceNegation.h
QualifiedName.h
RecordInit.h
RecordType.h
Relation.h
StringConstant.h
SubroutineArgument.h
SubsetType.h
Term.h
TranslationUnit.h
Type.h
TypeCast.h
UnionType.h
UnnamedVariable.h
UserDefinedFunctor.h
Variable.h
► ast2ram
AstToRamTranslator.cpp
AstToRamTranslator.h
ClauseTranslator.cpp
ClauseTranslator.h
Location.h
ProvenanceClauseTranslator.cpp
ProvenanceClauseTranslator.h
ValueIndex.cpp
ValueIndex.h
► include
► souffle
► datastructure
Brie.h
BTree.h
EquivalenceRelation.h
LambdaBTree.h
PiggyList.h
Table.h
UnionFind.h
► io
gzfstream.h
IOSystem.h
ReadStream.h
ReadStreamCSV.h
ReadStreamJSON.h
ReadStreamSQLite.h
SerialisationStream.h
WriteStream.h
WriteStreamCSV.h
WriteStreamJSON.h
WriteStreamSQLite.h
► profile
Cell.h
CellInterface.h
Cli.h
DataComparator.h
EventProcessor.h
htmlCssChartist.h
htmlCssStyle.h
HtmlGenerator.h
htmlJsChartistMin.h
htmlJsChartistPlugin.h
htmlJsMain.h
htmlJsTableSort.h
htmlJsUtil.h
htmlMain.h
Iteration.h
Logger.h
OutputProcessor.h
ProfileDatabase.h
ProfileEvent.h
ProgramRun.h
Reader.h
Relation.h
Row.h
Rule.h
StringUtils.h
Table.h
Tui.h
UserInputReader.h
► provenance
Explain.h
ExplainProvenance.h
ExplainProvenanceImpl.h
ExplainTree.h
► swig
SwigInterface.h
► utility
CacheUtil.h
ContainerUtil.h
EvaluatorUtil.h
FileUtil.h
FunctionalUtil.h
json11.h
MiscUtil.h
ParallelUtil.h
span.h
StreamUtil.h
StringUtil.h
tinyformat.h
BinaryConstraintOps.h
CompiledOptions.h
CompiledSouffle.h
RamTypes.h
RecordTable.h
SignalHandler.h
SouffleInterface.h
SymbolTable.h
TypeAttribute.h
► interpreter
► tests
interpreter_relation_test.cpp
ram_arithmetic_test.cpp
ram_relation_test.cpp
BrieIndex.cpp
BTreeIndex.cpp
Context.h
Engine.cpp
Engine.h
EqrelIndex.cpp
Generator.cpp
Generator.h
Index.h
Node.h
ProgInterface.h
ProvenanceIndex.cpp
Relation.h
Util.h
ViewContext.h
► parser
ParserDriver.cpp
ParserDriver.h
ParserUtils.cpp
ParserUtils.h
SrcLocation.cpp
SrcLocation.h
► ram
► analysis
Analysis.h
Complexity.cpp
Complexity.h
Index.cpp
Index.h
Level.cpp
Level.h
Relation.cpp
Relation.h
► tests
matching_test.cpp
max_matching_test.cpp
ram_condition_equal_clone_test.cpp
ram_expression_equal_clone_test.cpp
ram_operation_equal_clone_test.cpp
ram_relation_equal_clone_test.cpp
ram_statement_equal_clone_test.cpp
ram_type_conversion_test.cpp
► transform
ChoiceConversion.cpp
ChoiceConversion.h
CollapseFilters.cpp
CollapseFilters.h
Conditional.h
EliminateDuplicates.cpp
EliminateDuplicates.h
ExpandFilter.cpp
ExpandFilter.h
HoistAggregate.cpp
HoistAggregate.h
HoistConditions.cpp
HoistConditions.h
IfConversion.cpp
IfConversion.h
IndexedInequality.cpp
IndexedInequality.h
Loop.h
MakeIndex.cpp
MakeIndex.h
Meta.h
Parallel.cpp
Parallel.h
ReorderConditions.cpp
ReorderConditions.h
ReorderFilterBreak.cpp
ReorderFilterBreak.h
ReportIndex.h
Sequence.h
Transformer.cpp
Transformer.h
TupleId.cpp
TupleId.h
► utility
LambdaNodeMapper.h
NodeMapper.h
Utils.h
Visitor.h
AbstractAggregate.h
AbstractChoice.h
AbstractConditional.h
AbstractExistenceCheck.h
AbstractLog.h
AbstractOperator.h
AbstractParallel.h
Aggregate.h
AutoIncrement.h
BinRelationStatement.h
Break.h
Call.h
Choice.h
Clear.h
Condition.h
Conjunction.h
Constant.h
Constraint.h
DebugInfo.h
EmptinessCheck.h
ExistenceCheck.h
Exit.h
Expression.h
Extend.h
False.h
Filter.h
FloatConstant.h
IndexAggregate.h
IndexChoice.h
IndexOperation.h
IndexScan.h
IntrinsicOperator.h
IO.h
ListStatement.h
LogRelationTimer.h
LogSize.h
LogTimer.h
Loop.h
Negation.h
NestedIntrinsicOperator.h
NestedOperation.h
Node.h
Operation.h
PackRecord.h
Parallel.h
ParallelAggregate.h
ParallelChoice.h
ParallelIndexAggregate.h
ParallelIndexChoice.h
ParallelIndexScan.h
ParallelScan.h
Program.h
Project.h
ProvenanceExistenceCheck.h
Query.h
Relation.h
RelationOperation.h
RelationSize.h
RelationStatement.h
Scan.h
Sequence.h
SignedConstant.h
Statement.h
SubroutineArgument.h
SubroutineReturn.h
Swap.h
TranslationUnit.h
True.h
TupleElement.h
TupleOperation.h
UndefValue.h
UnpackRecord.h
UnsignedConstant.h
UserDefinedOperator.h
► reports
DebugReport.cpp
DebugReport.h
ErrorReport.h
► synthesiser
Relation.cpp
Relation.h
Synthesiser.cpp
Synthesiser.h
► tests
binary_relation_test.cpp
brie_test.cpp
btree_multiset_test.cpp
btree_set_test.cpp
compiled_tuple_test.cpp
eqrel_datastructure_test.cpp
graph_utils_test.cpp
parallel_utils_test.cpp
profile_util_test.cpp
record_table_test.cpp
symbol_table_test.cpp
table_test.cpp
test.h
util_test.cpp
AggregateOp.h
config.h
FunctorOps.cpp
FunctorOps.h
Global.cpp
Global.h
GraphUtils.h
LogStatement.h
main.cpp
RelationTag.h
souffle_prof.cpp