Feat/profiler/pthread compatibility mode#437

Closed

lukasrothenberger wants to merge 18 commits intorelease/3.0.0from feat/profiler/pthread_compatibility_mode

+1,157-19

Commits on Nov 7, 2023

feat: generation of patches from individual suggestions
lukasrothenberger
committed
feat: create and store patches
lukasrothenberger
committed
feat(patch_applicator): prepared program structure
lukasrothenberger
committed
feat(patch_applicator): apply patches implemented
lukasrothenberger
committed
feat(patch_applicator): list and rollback applied suggestions
lukasrothenberger
committed
fix(patch_applicator)[rollback]: patch arguments
lukasrothenberger
committed
feat(patch_applicator)[clear]: implemented functionality
lukasrothenberger
committed
feat(patch_applicator)[load]: implemented functionality and minor fixes
lukasrothenberger
committed
feat(line_mapping): let discopop_explorer initialize the file
lukasrothenberger
committed
feat(line_mapping): utilities to save and load added
lukasrothenberger
committed
feat: applied modifications based on diffs & represented in line_mapping
lukasrothenberger
committed
chore: cleanup debug prints
lukasrothenberger
committed
feat(patch_applicator): added return code
lukasrothenberger
committed
feat(patch_generator): read CC /CXX from build_config.txt
lukasrothenberger
committed
fix(patch_generator): disabled compile checks for now
lukasrothenberger
committed
fix(patch_generator): check for permission errors and ignore such files
lukasrothenberger
committed
fix: minor fixes and improvements
lukasrothenberger
committed

Commits on Nov 8, 2023

feat(rtlib): make use of pthread compatibility mutex optional
lukasrothenberger
committed