Georgiy Komarov
Georgiy Komarov
Reference: https://tlaplus.arnevogel.com/basics/comments/ Box comments are also very useful, because they are pretty-printed when exporting the TLA+ specification to LaTeX.
What do you think, it is possible to add the custom keyboard shortcuts? This can be useful for quickly creating the new tasks. For example, gnome-extension-taskwarrior has the implementation of...
### Describe the bug I found two minor issues when setting a priority to the item. They are small and have the same scope, so I report them in the...
When we try to switch to a non-existent project, the plugin crashes. I think it would be nice to handle such cases and display a warning message to the user....
We need a library API that creates a single "product" contract from a few input contracts. The most important functionality is the ability to get a single `cmodule` from a...
Closes #1097 This is unfinished work, because I need to switch to another task at the moment. It is not ready for merging, but we could use it to find...
The Callgraph module is required to finish #1097 and it will be useful in other analyses in the future. I also added a simple `.dot` printer based on the `ocamlgraph`...
We could use the `Callgraph` module implemented in #1144 to create a tool that helps auditing smart contracts. Desired functionality: * [ ] A CLI option to don't show pure...
Is it possible to add an option to QuickChick to extract the source code to the specified directory? For now, QuickChick [extracts](https://github.com/QuickChick/QuickChick/blob/257009fc39a9eb6b4966d91e9cc1d94528737fa8/plugin/quickChick.mlg.cppo#L119-L124) the generated source into a subdirectory inside `/tmp/`....