Dmitry Ivanov
Dmitry Ivanov
Concurrent data structures is a very good point.
> This is an absolutely fantastic proposal based on state-of-the-art research! Compared to the one in #436 it works at the level of TVM which makes it suitable for any...
> > Usually high-level languages compilers remain some debug information (like line number) when compile source code into low level code > > This is a nice solution and is...
Hi guys, what is your opinion about the proposal? Do you need more clarification or not?
Hi, we finished first milestone and prepared some video and script for you to show capabilities of proposed approach. Here is video report: https://youtu.be/0r5TbLAXF9o Here is open source repository with...
@byakuren-hijiri Thanks for a very detailed comparision. Both source-code and bytecode analyzers have their own niches. The same is about technology: dataflow-based and symbolic execution based tools. E.g. running symbolic...
Can you please add an example?
@akuleshov7 we made readme bigger. Do you have some particular suggestions?