commit | 24453d74a5010fc9d164bc958401457c8a13c2e0 | [log] [tgz] |
---|---|---|
author | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Fri May 25 07:53:07 2018 -0400 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Fri May 25 07:53:07 2018 -0400 |
tree | f33a59305afb2f8eeac8cc3467437453f8caebcf | |
parent | 84dc8236debb87aa886873fa5852ab0698c64f99 [diff] | |
parent | fe7332ea6eac4eda9e89d4511a9117ae3bc1e027 [diff] |
Merge "Multi granular analysis added. Conflict and dependency Analysis Wizard is modified. Now you can choose granularities to compute the conflict Reasons!"