zchn

Results 13 issues of 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...

bug
microagents