Release/4.0.0

.github/workflows/ci.yml

@@ -35,7 +35,7 @@ jobs:
       - name: Setup Python
         uses: actions/setup-python@v4
         with:
-          python-version: 3.8
+          python-version: '3.10'
           cache: 'pip' # uses requirements.txt
 
       - name: Install Python dependencies
@@ -47,23 +47,23 @@ jobs:
       - name: "Run MyPy Type Checker - DiscoPoP Library"
         run: python -m mypy --config-file=mypy.ini -p discopop_library
 
-      - name: "Run MyPy Type Checker - DiscoPoP Profiler - DEPRECATED"
-        run: python -m mypy --config-file=mypy.ini -p DEPRECATED_discopop_profiler
-
-      - name: "Run MyPy Type Checker - DiscoPoP Wizard - DEPRECATED"
-        run: python -m mypy --config-file=mypy.ini -p DEPRECATED_discopop_wizard
+#      - name: "Run MyPy Type Checker - DiscoPoP Profiler - DEPRECATED"
+#        run: python -m mypy --config-file=mypy.ini -p DEPRECATED_discopop_profiler
+#
+#      - name: "Run MyPy Type Checker - DiscoPoP Wizard - DEPRECATED"
+#        run: python -m mypy --config-file=mypy.ini -p DEPRECATED_discopop_wizard
 
       - name: "Check formatting of DiscoPoP Explorer"
         run: python -m black -l 120 --check discopop_explorer
 
       - name: "Check formatting of DiscoPoP Library"
         run: python -m black -l 120 --check discopop_library
 
-      - name: "Check formatting of DiscoPoP Profiler - DEPRECATED"
-        run: python -m black -l 120 --check DEPRECATED_discopop_profiler
-
-      - name: "Check formatting of DiscoPoP Wizard - DEPRECATED"
-        run: python -m black -l 120 --check DEPRECATED_discopop_wizard
+#      - name: "Check formatting of DiscoPoP Profiler - DEPRECATED"
+#        run: python -m black -l 120 --check DEPRECATED_discopop_profiler
+#
+#      - name: "Check formatting of DiscoPoP Wizard - DEPRECATED"
+#        run: python -m black -l 120 --check DEPRECATED_discopop_wizard
 
   execute_cxx_unit_tests:
     runs-on: ubuntu-20.04
@@ -76,7 +76,7 @@ jobs:
       - name: Setup Python
         uses: actions/setup-python@v4
         with:
-          python-version: 3.8
+          python-version: '3.10'
           cache: 'pip' # uses requirements.txt
 
       - name: Install Python dependencies
@@ -95,13 +95,17 @@ jobs:
           sudo ln -s /usr/bin/llvm-link-11 /usr/bin/llvm-link || true
           sudo ln -s /usr/bin/opt-11 /usr/bin/opt || true
           sudo apt-get install -y python3-tk
+          sudo apt-get install -y libboost-all-dev
 
       - name: "Setup DiscoPoP Profiler - Build"
         run: |
           rm -rf build
           mkdir build
           cd build
-          cmake -DCMAKE_BUILD_TYPE=Debug ..
+          cmake \
+           -DCMAKE_BUILD_TYPE=Debug \
+           -DDP_CALLTREE_PROFILING=1 \
+           ..
           make -j3
 
       - name: C++ unit tests
@@ -119,7 +123,7 @@ jobs:
       - name: Setup Python
         uses: actions/setup-python@v4
         with:
-          python-version: 3.8
+          python-version: '3.10'
           cache: 'pip' # uses requirements.txt
 
       - name: Install Python dependencies
@@ -138,13 +142,18 @@ jobs:
           sudo ln -s /usr/bin/llvm-link-11 /usr/bin/llvm-link || true
           sudo ln -s /usr/bin/opt-11 /usr/bin/opt || true
           sudo apt-get install -y python3-tk
+          sudo apt-get install -y libboost-all-dev
 
       - name: "Setup DiscoPoP Profiler - Build"
         run: |
           rm -rf build
           mkdir build
           cd build
-          cmake -DCMAKE_BUILD_TYPE=Debug ..
+          cmake \
+           -DCMAKE_BUILD_TYPE=Debug \
+           -DDP_CALLTREE_PROFILING=1 \
+           -DDP_CALLTREE_PROFILING_METADATA_CUTOFF=0 \
+           ..
           make -j3
 
       - name: Python end-to-end-tests

.gitignore

@@ -71,6 +71,10 @@ coverage.xml
 # Profiling reports
 profiling_stats.txt
 
+# Code structure diagrams
+classes.svg
+packages.svg
+
 # Translations
 *.mo
 *.pot
@@ -163,4 +167,4 @@ _deps
 !/test/**/Makefile
 
 **/.discopop
-**/prog
+**/prog

.pre-commit-config.yaml

@@ -42,7 +42,7 @@ repos:
 
 # black -- more info: https://github.com/psf/black/blob/main/docs/integrations/source_version_control.md
 - repo: https://github.com/psf/black-pre-commit-mirror
-  rev: 23.9.1
+  rev: 24.4.2
   hooks:
   - id: black
     args: [--line-length=120]

CMakeLists.txt

@@ -9,7 +9,7 @@
 cmake_minimum_required(VERSION 3.4.3)
 project(DiscoPoP)
 
-set(CMAKE_CXX_STANDARD 14)
+set(CMAKE_CXX_STANDARD 17)
 
 if (POLICY CMP0077)
 	cmake_policy(SET CMP0077 NEW)
@@ -46,6 +46,8 @@ For more information, please refer to https://discopop-project.github.io/discopo
     endif()
 endif()
 
+find_package(Boost REQUIRED)
+
 message(STATUS "Using LLVM version ${LLVM_PACKAGE_VERSION}")
 message(STATUS "Using LLVMConfig.cmake in: ${LLVM_DIR}")
 list(APPEND CMAKE_MODULE_PATH ${LLVM_CMAKE_DIR})
@@ -68,7 +70,7 @@ add_subdirectory(scripts)
 
 add_subdirectory(test/unit_tests)
 
-#add_subdirectory(benchmark)
+add_subdirectory(benchmark)
 
 ##### DEPRECATED #####
 # save build configuration to build/build_config.txt
@@ -93,8 +95,12 @@ file(APPEND "${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build
 file(APPEND "${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build_config.py" "DP_RTLIB_VERBOSE=\"${DP_RTLIB_VERBOSE}\"\n")
 file(APPEND "${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build_config.py" "DP_NUM_WORKERS=\"${DP_NUM_WORKERS}\"\n")
 file(APPEND "${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build_config.py" "DP_INTERNAL_TIMER=\"${DP_INTERNAL_TIMER}\"\n")
+file(APPEND "${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build_config.py" "DP_CALLTREE_PROFILING=\"${DP_CALLTREE_PROFILING}\"\n")
+file(APPEND "${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build_config.py" "DP_CALLTREE_PROFILING_METADATA_CUTOFF=\"${DP_CALLTREE_PROFILING_METADATA_CUTOFF}\"\n")
+file(APPEND "${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build_config.py" "DP_CALLTREE_PROFILING_METADATA_CUTOFF_IGNORE_PROBABILITY=\"${DP_CALLTREE_PROFILING_METADATA_CUTOFF_IGNORE_PROBABILITY}\"\n")
 file(APPEND "${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build_config.py" "DP_MEMORY_REGION_DEALIASING=\"${DP_MEMORY_REGION_DEALIASING}\"\n")
-file(APPEND "${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build_config.py" "DP_STACK_ACCESS_DETECTION=\"${DP_STACK_ACCESS_DETECTION}\"\n")
+file(APPEND "${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build_config.py" "DP_BRANCH_TRACKING=\"${DP_BRANCH_TRACKING}\"\n")
+
 
 # print DiscoPoP configuration
 file(READ ${DiscoPoP_SOURCE_DIR}/discopop_library/ConfigProvider/assets/build_config.py DiscoPoP_CONFIGURATION)