abbaskiko/solidity

develop

solidity

Grade	Name	Complexity	Churn	Issues
A	libsolidity\ast\ASTUtils.h	0	6	-
A	test\formal\exp_neg_one.py		1	-
A	scripts\install_deps.ps1		4	-
A	test\formal\repeated_or.py		1	-
A	liblangutil\UndefMacros.h	0	2	-
A	test\formal\combine_mul_shl_one_64.py		2	-
A	scripts\endToEndExtraction\create_traces.sh		1	-
A	test\formal\combine_shl_shr_by_constant_64.py		1	-
A	scripts\install_evmone.ps1		1	-
A	scripts\report_errors.sh		4	2
A	libsmtutil\CHCSolverInterface.h	0	3	-
A	tools\yulPhaser\Exceptions.h	0	4	-
A	tools\yulPhaser\Phaser.h	0	11	-
A	test\formal\checked_int_add.py		1	-
A	test\buglistTests.js		2	-
A	scripts\wasm-rebuild\docker-scripts\rebuild_tags.sh		1	-
A	scripts\tests.sh		22	3
A	scripts\soltest.sh		4	-
A	scripts\check_style.sh		11	4
A	libsolidity\codegen\ir\IRGenerator.h	1	17	-