Leaderboard

Now it is possible to filter Units with multiple words (separated by spaces): • The number of words is unlimited • The search is super-fast • The words can be in any order • The multi-word-filtering does not need to be activated: Just use a single word as before or any additional words separated by spaces. UCM will automatically decide whether searching for a single word or for multiple words. Here are the sources (based on release r2907) : UsesClauseManager.zip The next improvement will be: Filtering Identifiers with multiple words (tomorrow)