Improvement of Micro-C plugin
Several directions to which the micro-C plug-in could be improved
-
add more cases in the dedicated external printer for terms, e.g. division and remainder operators -
add the corresponding cases in the external parser for transformation arguments -
document the plug-in