certora-cli-alpha-master 20250515.12.1.492548__py3-none-any.whl → 20250515.14.14.197753__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- certora_cli/CertoraProver/certoraBuild.py +10 -1
- certora_cli/CertoraProver/certoraContextAttributes.py +18 -0
- {certora_cli_alpha_master-20250515.12.1.492548.dist-info → certora_cli_alpha_master-20250515.14.14.197753.dist-info}/METADATA +2 -2
- {certora_cli_alpha_master-20250515.12.1.492548.dist-info → certora_cli_alpha_master-20250515.14.14.197753.dist-info}/RECORD +10 -10
- certora_jars/CERTORA-CLI-VERSION-METADATA.json +1 -1
- certora_jars/Typechecker.jar +0 -0
- {certora_cli_alpha_master-20250515.12.1.492548.dist-info → certora_cli_alpha_master-20250515.14.14.197753.dist-info}/LICENSE +0 -0
- {certora_cli_alpha_master-20250515.12.1.492548.dist-info → certora_cli_alpha_master-20250515.14.14.197753.dist-info}/WHEEL +0 -0
- {certora_cli_alpha_master-20250515.12.1.492548.dist-info → certora_cli_alpha_master-20250515.14.14.197753.dist-info}/entry_points.txt +0 -0
- {certora_cli_alpha_master-20250515.12.1.492548.dist-info → certora_cli_alpha_master-20250515.14.14.197753.dist-info}/top_level.txt +0 -0
@@ -2678,7 +2678,8 @@ class CertoraBuildGenerator:
|
|
2678
2678
|
self.handle_links()
|
2679
2679
|
self.handle_struct_links()
|
2680
2680
|
self.handle_contract_extensions()
|
2681
|
-
self.
|
2681
|
+
if self.context.storage_extension_annotation:
|
2682
|
+
self.handle_erc7201_annotations()
|
2682
2683
|
self.handle_storage_extension_harnesses()
|
2683
2684
|
|
2684
2685
|
def extract_slayout(self, original_file: str, ns_storage: Set[NameSpacedStorage]) -> NewStorageInfo:
|
@@ -2711,6 +2712,14 @@ class CertoraBuildGenerator:
|
|
2711
2712
|
var_to_slot = storageExtension.write_harness_contract(tmp_file, harness_name, ns_storage)
|
2712
2713
|
tmp_file.flush()
|
2713
2714
|
|
2715
|
+
if self.context.extract_storage_extension_annotation:
|
2716
|
+
# If the flag is set, save the storage extension contract
|
2717
|
+
build_dir = Util.get_build_dir()
|
2718
|
+
shutil.copyfile(
|
2719
|
+
Path(tmp_file.name),
|
2720
|
+
build_dir / f"{Path(original_file).stem}_storage_extension.sol"
|
2721
|
+
)
|
2722
|
+
|
2714
2723
|
# Add harness to compiler map
|
2715
2724
|
storageExtension.add_harness_to_compiler_map(
|
2716
2725
|
original_file,
|
@@ -998,6 +998,24 @@ class EvmAttributes(AttrUtil.Attributes):
|
|
998
998
|
disables_build_cache=False
|
999
999
|
)
|
1000
1000
|
|
1001
|
+
STORAGE_EXTENSION_ANNOTATION = AttrUtil.AttributeDefinition(
|
1002
|
+
arg_type=AttrUtil.AttrArgType.BOOLEAN,
|
1003
|
+
argparse_args={
|
1004
|
+
'action': AttrUtil.STORE_TRUE
|
1005
|
+
},
|
1006
|
+
affects_build_cache_key=True,
|
1007
|
+
disables_build_cache=False
|
1008
|
+
)
|
1009
|
+
|
1010
|
+
EXTRACT_STORAGE_EXTENSION_ANNOTATION = AttrUtil.AttributeDefinition(
|
1011
|
+
arg_type=AttrUtil.AttrArgType.BOOLEAN,
|
1012
|
+
argparse_args={
|
1013
|
+
'action': AttrUtil.STORE_TRUE
|
1014
|
+
},
|
1015
|
+
affects_build_cache_key=False,
|
1016
|
+
disables_build_cache=False
|
1017
|
+
)
|
1018
|
+
|
1001
1019
|
OPTIMISTIC_HASHING = AttrUtil.AttributeDefinition(
|
1002
1020
|
arg_type=AttrUtil.AttrArgType.BOOLEAN,
|
1003
1021
|
help_msg="Bound the length of data (with potentially unbounded length) to the value given in "
|
@@ -1,6 +1,6 @@
|
|
1
1
|
Metadata-Version: 2.2
|
2
2
|
Name: certora-cli-alpha-master
|
3
|
-
Version: 20250515.
|
3
|
+
Version: 20250515.14.14.197753
|
4
4
|
Summary: Runner for the Certora Prover
|
5
5
|
Home-page: https://pypi.org/project/certora-cli-alpha-master
|
6
6
|
Author: Certora
|
@@ -37,4 +37,4 @@ Dynamic: requires-dist
|
|
37
37
|
Dynamic: requires-python
|
38
38
|
Dynamic: summary
|
39
39
|
|
40
|
-
Commit
|
40
|
+
Commit a3386a0. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
|
@@ -9,7 +9,7 @@ certora_cli/certoraSolanaProver.py,sha256=zGDAnSED8CoAkQN6wtPcbK_nIJMVt72VB_AqiO
|
|
9
9
|
certora_cli/certoraSorobanProver.py,sha256=jop6hkRyOLYYWJsnuGK_OHsyt6V_SaPmC5y02Y4CLpo,9628
|
10
10
|
certora_cli/rustMutator.py,sha256=6AvOGU8Ijz89zW_ZJCWlfXkeobJsk7EsqZhK7Eqwn-Y,14544
|
11
11
|
certora_cli/CertoraProver/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
|
12
|
-
certora_cli/CertoraProver/certoraBuild.py,sha256=
|
12
|
+
certora_cli/CertoraProver/certoraBuild.py,sha256=05Sk3sGp6pFJXxBXoobCInZHWQIidieNmZZXxhO31CE,211583
|
13
13
|
certora_cli/CertoraProver/certoraBuildCacheManager.py,sha256=dzXC8A-V9gr1GGsPYglQLlFLoR2Tk4dTJuMHaxXBfgw,13257
|
14
14
|
certora_cli/CertoraProver/certoraBuildDataClasses.py,sha256=8tPny9-pasC7CCRKQclaVQ3qcEDNa6EdOUu1ZWh0MZY,14704
|
15
15
|
certora_cli/CertoraProver/certoraBuildRust.py,sha256=l81mZHGOhfSL8jme6I_O_aAiu3wxdHAg-jPEFQvFFdg,5936
|
@@ -19,7 +19,7 @@ certora_cli/CertoraProver/certoraCollectRunMetadata.py,sha256=n67E7hjVdPlBXMh1FM
|
|
19
19
|
certora_cli/CertoraProver/certoraCompilerParameters.py,sha256=r35y03IRwWIoz1GCNC7PuW3n8JPz9J1NGwhwUYKdYtI,1452
|
20
20
|
certora_cli/CertoraProver/certoraConfigIO.py,sha256=H3ebbIBO8xXTf8ArBPnZV1TmDBExQVDF2zc9Yu1v0Xo,7493
|
21
21
|
certora_cli/CertoraProver/certoraContext.py,sha256=0AihMYuUAGHWjbiSOMiDM6FVW5OyvEAxE51GPnMxSKg,25821
|
22
|
-
certora_cli/CertoraProver/certoraContextAttributes.py,sha256=
|
22
|
+
certora_cli/CertoraProver/certoraContextAttributes.py,sha256=aPLg30hxQQlnWsqRUG-6KhLyu1gcyvhmRl3F5rV4vqI,68389
|
23
23
|
certora_cli/CertoraProver/certoraContextClass.py,sha256=d7HDqM72K7YnswR7kEcAHGwkFNrTqRz5-_0m7cl2Mso,900
|
24
24
|
certora_cli/CertoraProver/certoraContextValidator.py,sha256=iSB2byuHmi1G4xG-ViVvBrZv7e1mdxPmlWdV3AaN_l4,46492
|
25
25
|
certora_cli/CertoraProver/certoraContractFuncs.py,sha256=ipSwge5QQzp8qhUavY44bZ-eCR6szK_HWwSIWqQyuR0,6921
|
@@ -62,12 +62,12 @@ certora_cli/Shared/certoraAttrUtil.py,sha256=ZsoS6xbSZnAjEoPEcfiJi6CvHU-1ySBKubv
|
|
62
62
|
certora_cli/Shared/certoraLogging.py,sha256=cV2UQMhQ5j8crGXgeq9CEamI-Lk4HgdiA3HCrP-kSR4,14013
|
63
63
|
certora_cli/Shared/certoraUtils.py,sha256=khp1BAlpW0WwMq92u887R05nPDqWAnLkY1kVk2ZT0Ek,55147
|
64
64
|
certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
|
65
|
-
certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=
|
66
|
-
certora_jars/Typechecker.jar,sha256
|
65
|
+
certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=eSogGszSZjRVbrnkcNqJIh42r2sOIIp6iVI0yfTGC-Q,170
|
66
|
+
certora_jars/Typechecker.jar,sha256=aCeXen4yZMboH9sOjpRdDbYDuEh90SlANEJRbdRbwZQ,17140168
|
67
67
|
certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
68
|
-
certora_cli_alpha_master-20250515.
|
69
|
-
certora_cli_alpha_master-20250515.
|
70
|
-
certora_cli_alpha_master-20250515.
|
71
|
-
certora_cli_alpha_master-20250515.
|
72
|
-
certora_cli_alpha_master-20250515.
|
73
|
-
certora_cli_alpha_master-20250515.
|
68
|
+
certora_cli_alpha_master-20250515.14.14.197753.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
|
69
|
+
certora_cli_alpha_master-20250515.14.14.197753.dist-info/METADATA,sha256=-DKmkodc7u168msv3JLyGV3JTf6txh592h74J8VELhQ,1248
|
70
|
+
certora_cli_alpha_master-20250515.14.14.197753.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
|
71
|
+
certora_cli_alpha_master-20250515.14.14.197753.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
|
72
|
+
certora_cli_alpha_master-20250515.14.14.197753.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
|
73
|
+
certora_cli_alpha_master-20250515.14.14.197753.dist-info/RECORD,,
|
@@ -1 +1 @@
|
|
1
|
-
{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "
|
1
|
+
{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "a3386a0", "timestamp": "20250515.14.14.197753", "version": "20250515.14.14.197753+a3386a0"}
|
certora_jars/Typechecker.jar
CHANGED
Binary file
|
File without changes
|
File without changes
|
File without changes
|