README.md 251 Bytes
Newer Older
Johannes Roith's avatar
Johannes Roith committed
1
2
cup-eclipse
===========
Dr. Michael Petter's avatar
Dr. Michael Petter committed
3
4
5
6
7
8
9

Improvement proposals:

- Conflict graph view: Being able to search in states
- Conflict (graph) view: Highlighting the closed items for Reduce-States
- Conflict view: show right context
- Conflict view: bullet instead of star