|
| Date |
User |
Action |
Args |
| 2023-01-23 10:50:03 | silvan | set | status: unread -> resolved
messages:
+ msg10941 |
| 2022-07-13 09:53:46 | gabi | set | summary: issue1042: create LimitedPruning class and move statistics to base pruning class
issue1059: restructure stubborn set implementation -> issue1042: create LimitedPruning class and move statistics to base pruning class
issue1058: fix performance regression introduced when refactoring the pruning
method interface
issue1059: restructure stubborn set implementation |
| 2022-07-13 09:53:09 | gabi | set | summary: issue1042: create LimitedPruning class and move statistics to base pruning class
TODOs:
* Clean up interface of stubborn sets classes -> issue1042: create LimitedPruning class and move statistics to base pruning class
issue1059: restructure stubborn set implementation |
| 2022-02-04 12:09:25 | silvan | set | summary: * Move pruning statistics and minimum pruning option to Pruning base class.
* Clean up interface of stubborn sets classes:
* Separate action-based and atom-based queues. -> issue1042: create LimitedPruning class and move statistics to base pruning class
TODOs:
* Clean up interface of stubborn sets classes |
| 2020-05-12 15:54:05 | jendrik | create | |