about summary refs log tree commit diff homepage
path: root/lib/Core/MergeHandler.cpp
AgeCommit message (Expand)Author
2019-03-12Fixed unitialised memory in `MergeHandler`Martin Nowack
2019-03-11Replaced "default=off" with "default=false"MartinNowack
2019-03-11Created a path merging option category and improved help message for path mer...Cristian Cadar
2018-06-11Fixed memory leak from Executor::inCloseMerge, fixes #883Lukas Wölfer
2018-05-15Improved code qualityLukas Wölfer
2018-05-15Implemented incomplete mergingLukas Wölfer
2017-11-30Implemented bounded merging functionalityLukas Wölfer