With nix:
nix build -f default.nix exeAct
- ユーザー:
- 最終更新: 2025/07/04
- 読み取り時間: 01:04
GitHub上のドキュメントをスライド化しています
https://github.com/ethereum/act/master/README.mdを参照しています。
This project is an effort by several groups working on formal methods for Ethereum smart contracts, aiming at creating a simple but effective language to write formal specification. It extends on the previous Act project.
Some general features it hopes to achieve are:
-
Simple structure and logic.
-
Support writing properties on a high level (closer to Solidity/Vyper) as well as on the machine level.
-
Cross-tool communication: Different tools might be able to generate different knowledge and use the specification language to exchange information.
-
No attachment to a particular logic. If a tool wishes to support certain expressions, extensions can be written.
More in depth documentation can be found in The Act Book.
Building
Developing
Enter a nix-shell to get the dependencies of the project:
nix-shellyou can then use cabal as normal:
cd src
cabal v2-build # build
cabal v2-repl # enter a repl instanceto execute the unit tests:
make test # run all tests
cd src && cabal v2-test # run haskell testsTo update the project dependencies run:
nix-shell --command niv update