.PHONY: bootstrap artifacts verify verify-economics verify-legacy-diagnostics test negative negative-proof
bootstrap:
	python3 scripts/bootstrap.py
artifacts:
	python3 scripts/artifacts.py
	python3 scripts/generate_lean.py
	python3 scripts/generate_ast_certificate.py
verify:
	python3 scripts/verify.py
verify-economics:
	python3 scripts/verify.py --economics-only
verify-legacy-diagnostics:
	python3 scripts/legacy_diagnostics.py
test:
	python3 scripts/evm_tests.py
negative:
	python3 scripts/negative.py
negative-proof:
	python3 scripts/negative_proof.py
