fix(dfr): simplify initialization and add namespaces where possible.

This commit is contained in:
Antoniu Pop
2022-04-07 13:20:52 +01:00
committed by Antoniu Pop
parent c79cedf557
commit 615109d432
8 changed files with 330 additions and 196 deletions

View File

@@ -8,7 +8,7 @@
#include "concretelang-c/Support/CompilerEngine.h"
#include "concretelang/ClientLib/KeySetCache.h"
#include "concretelang/ClientLib/Serializers.h"
#include "concretelang/Runtime/runtime_api.h"
#include "concretelang/Runtime/DFRuntime.hpp"
#include "concretelang/Support/CompilerEngine.h"
#include "concretelang/Support/JITSupport.h"
#include "concretelang/Support/Jit.h"