Hi, > > Summary of changes in this minimal version > > ------------------------ > > > > - rebase for v6.5 > > - cleaned-up SoB chains (suggested by pmladek) > > - klp-convert: remove the symbol map auto-resolving solution > > - klp-convert: add macro for flagging variables inside a LP src to be resolved by this tool > > - klp-convert: code simplification > > Do we have anything that blocks klp-convert-mini to be merged, or something that > needs to be fixed? there is feedback from Petr and I agree with him that a selftest would be appropriate. Lukas, are you planning to send v2 with everything addressed? Miroslav