Hi there. Not sure if this is the right place for this kind of question. What will be the approach to maintaining KAVM? . IIUC modifications of any significant sort will obsolete the KAVM semantic model and hamper its usefulness (?). If so, how are things likely to proceed with keeping AVM / KAVM in sync ? I am new to K Framework, just taking a look, thinking about if to integrate this into my C# to TEAL compiler and Visual Studio tooling.
Hi there. Not sure if this is the right place for this kind of question. What will be the approach to maintaining KAVM? . IIUC modifications of any significant sort will obsolete the KAVM semantic model and hamper its usefulness (?). If so, how are things likely to proceed with keeping AVM / KAVM in sync ? I am new to K Framework, just taking a look, thinking about if to integrate this into my C# to TEAL compiler and Visual Studio tooling.