zchn
zchn
This pull request fixes #11. The issue has been successfully resolved based on the following changes and their impact: 1. The GitHub Actions workflow files (.github/workflows/examples-test.yml and stack-build.yml) have been...
There are example commands for `Solidity Control Flow Graph (CFG) Generation`, `Solidity Linter (WIP)` and `EVM CFG Generation` in the `./README.md` file. We should create GitHub Action workflows based on...
### Is there an existing issue for the same bug? - [x] I have checked the existing issues. ### Describe the bug and reproduction steps Despite having the github microagent...