Title Split operator-counting plugin into several independent CMake plugins
Priority feature Status chatting
Superseder Nosy List florian, jendrik, malte
Assigned To Keywords
Optional summary

Created on 2022-02-09.13:41:30 by florian, last changed by malte.

msg10567 (view) Author: malte Date: 2022-02-09.18:41:08
One non-obvious advantage of the split is that some of the operator-counting constraints drag in large dependencies themselves (from memory, which may be wrong: things like PDBs and LM-Cut). So the price to pay (in terms of codebase size more than anything else) for including one specific OCC can be larger than is immediately apparent.
msg10555 (view) Author: florian Date: 2022-02-09.13:41:30
Currently, we can only enable/disable all operator-counting constraints as a group but it would be possible to put them in separate plugins with dependencies on a main plugin for the heuristic.
Date User Action Args
2022-02-09 18:41:08maltesetstatus: unread -> chatting
messages: + msg10567
2022-02-09 13:41:30floriancreate