about summary refs log tree commit diff homepage
path: root/lib/Core/ExecutionTree.cpp
AgeCommit message (Expand)Author
2024-02-19Rename --ptree-batch-size to --exec-tree-batch size, and --compress-execution...Cristian Cadar
2024-01-12Renamed PTree to ExecutionTree (and similar)Cristian Cadar
2024-01-12Rename files from PTree to ExecutionTree (and similar)Cristian Cadar