Fix #265: extend name parser for pointers to members

[pgiarrusso-sl]

Fix #265.

[skylabs-ai-ci]

CI summary (Details)

Active Repos

Repo	Job Branch	Job Commit	Branch Tip	Base branch	Base commit	PR
fmdeps/BRiCk/	paolo/parser-fix	802292e	70edabf	main	b68a0d0	#266

Passive Repos

Repo	Job Branch	Job Commit
./	main	f50d261
fmdeps/auto/	main	83a895e
fmdeps/auto-docs/	main	f3ece99
bluerock/NOVA/	skylabs-proof	d802253
bluerock/bhv/	skylabs-main	a727bb3
fmdeps/brick-libcpp/	main	d89b37c
fmdeps/ci/	main	9bc1d3f
vendored/elpi/	skylabs-master	c0b9653
vendored/flocq/	skylabs-master	cf9cc84
fmdeps/fm-tools/	main	70842c3
psi/protos/	main	8fe3e7c
psi/backend/	main	8f2a32f
psi/ide/	main	6b596cf
psi/data/	main	b01668d
vendored/rocq/	skylabs-master	bef7df5
fmdeps/rocq-agent-toolkit/	main	53d9eb0
vendored/rocq-elpi/	skylabs-master	be1ffc5
vendored/rocq-equations/	skylabs-main	d1f944a
vendored/rocq-ext-lib/	skylabs-master	a31ad69
vendored/rocq-iris/	skylabs-master	a7af9f7
vendored/rocq-lsp/	skylabs-main	64ef78a
vendored/rocq-stdlib/	skylabs-master	00897b3
vendored/rocq-stdpp/	skylabs-master	0c5e505
fmdeps/skylabs-fm/	main	133e53a
vendored/vsrocq/	skylabs-main	ee79e7a

Performance

Relative	Master	MR	Change	Filename
+0.09%	141261.9	141391.1	+129.2	total
-0.00%	33026.0	33024.9	-1.0	├ translation units
+0.12%	108235.9	108366.1	+130.2	└ proofs and tests

Full Results

Relative	Master	MR	Change	Filename
-11.10%	16.3	14.5	-1.8	fmdeps/auto/rocq-skylabs-auto-cpp/tests/includes/A_cpp_proof.v
-8.04%	21.5	19.7	-1.7	bluerock/bhv/zeta/lib/alloc/proof/core_proof_utils.v
-6.72%	15.7	14.7	-1.1	bluerock/bhv/zeta/lib/lang/proof/util.v
-6.33%	21.5	20.1	-1.4	bluerock/bhv/zeta/lib/lang/proof/bits_hpp_spec.v
-5.42%	26.7	25.2	-1.4	bluerock/bhv/zeta/lib/lang/proof/page_hpp_proof.v
-5.39%	26.1	24.7	-1.4	bluerock/bhv/zeta/lib/lang/proof/string_hpp_spec.v
-3.51%	42.3	40.8	-1.5	bluerock/bhv/zeta/lib/lang/proof/memory_barrier.v
-3.48%	339.9	328.1	-11.8	fmdeps/auto/rocq-skylabs-auto-cpp/tests/arith_bug.v
-3.24%	35.7	34.6	-1.2	bluerock/bhv/zeta/lib/cxx/proof/range_hpp_spec.v
-3.04%	41.2	39.9	-1.3	bluerock/bhv/zeta/lib/cxx/proof/sys/lock_guard_hpp_proof.v
-1.86%	57.5	56.4	-1.1	bluerock/bhv/zeta/lib/lang/proof/errno_hpp_proof.v
-1.38%	79.3	78.2	-1.1	bluerock/bhv/zeta/lib/cxx/proof/sys/mutex_hpp_proof.v
-1.37%	108.0	106.6	-1.5	fmdeps/auto/rocq-skylabs-auto-cpp/tests/llist/list_cpp_proof.v
-1.29%	115.1	113.6	-1.5	bluerock/bhv/lib/socket/proof/socket_defs_hpp_proof.v
-0.85%	178.7	177.2	-1.5	bluerock/bhv/zeta/lib/msc/proof/sys/rwlock_hpp_proof.v
-0.61%	198.0	196.8	-1.2	fmdeps/auto/rocq-skylabs-auto-cpp/tests/elpi/enums/variant_cpp_proof.v
-0.32%	361.4	360.3	-1.1	bluerock/bhv/zeta/lib/lang/proof/atomic_hpp_proof.v
+0.43%	469.2	471.2	+2.0	bluerock/bhv/zeta/lib/bson/proof/bson_cpp_proof_private.v
+0.55%	231.8	233.0	+1.3	bluerock/bhv/apps/vswitch/lib/forwarding/proof/forwarding_table_hpp/hints.v
+0.88%	140.6	141.8	+1.2	fmdeps/auto/rocq-skylabs-auto-cpp/tests/destructuring/test_pair.v
+0.90%	145.6	146.9	+1.3	fmdeps/auto/rocq-skylabs-auto-cpp/tests/hammer_test/tests/test0036_cpp_main_proof.v
+0.97%	121.5	122.7	+1.2	fmdeps/auto/rocq-skylabs-auto-cpp/tests/hammer_test/tests/test0052_cpp_main_proof.v
+0.98%	131.5	132.8	+1.3	fmdeps/auto/rocq-skylabs-auto-cpp/tests/hammer_test/tests/test0004_cpp_main_proof.v
+0.98%	116.0	117.1	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/initialization_forms.v
+1.04%	106.6	107.7	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/compound_assignment_increments.v
+1.31%	98.4	99.7	+1.3	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/destructuring_declarations.v
+1.40%	151.1	153.2	+2.1	fmdeps/auto/rocq-skylabs-auto-cpp/tests/templates/splice_cpp_spec.v
+1.44%	75.7	76.8	+1.1	fmdeps/auto-docs/content/demo/linked_list/linked_list_cpp_proof.v
+1.53%	96.5	98.0	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/lambda_captures.v
+1.56%	94.4	95.9	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/floating_relational_operators.v
+1.56%	76.5	77.7	+1.2	fmdeps/auto/rocq-skylabs-auto-cpp/tests/templates/pair_hpp_spec.v
+1.60%	94.9	96.5	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/floating_binary_operators.v
+1.61%	129.2	131.3	+2.1	fmdeps/auto/rocq-skylabs-auto-cpp/tests/big_sep/unit_tests.v
+1.68%	75.9	77.2	+1.3	fmdeps/auto/rocq-skylabs-auto-cpp/tests/array_string_init/main_cpp_proof.v
+1.69%	65.4	66.5	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/tests/arch_indep/x86_64/inheritance_arch_hpp_spec.v
+1.81%	63.1	64.3	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/relational_operators.v
+1.82%	77.4	78.8	+1.4	fmdeps/auto-docs/content/demo/forward_list_v1/test_cpp_proof.v
+1.88%	58.8	59.9	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/wp_lval_op_assign_variants.v
+1.89%	59.8	60.9	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/tests/arch_indep/aarch64/inheritance_arch_hpp_spec.v
+1.91%	76.4	77.9	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/primitive_initialization.v
+1.98%	57.6	58.8	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/comma_operator.v
+2.13%	53.4	54.6	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/arithmetic_operators.v
+2.18%	51.5	52.7	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/if_switch_initializers.v
+2.33%	49.0	50.1	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/floating_unary_operators.v
+2.38%	48.3	49.4	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/tests/data_class/dataclass_hpp_proof.v
+2.41%	61.3	62.7	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/tests/read_prim/read_cpp_proof.v
+2.58%	44.5	45.6	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/bitwise_operators.v
+2.60%	45.1	46.3	+1.2	fmdeps/auto/rocq-skylabs-cpp-stdlib/tests/utility/test_cpp_proof.v
+2.64%	46.9	48.1	+1.2	bluerock/bhv/apps/vswitch/proof/model/ethernet.v
+2.78%	41.1	42.3	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/integral_casts.v
+2.82%	44.2	45.4	+1.2	fmdeps/auto/rocq-skylabs-auto-cpp/tests/control_flow/main_cpp_spec.v
+2.95%	39.0	40.1	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/floating_casts.v
+3.17%	37.0	38.1	+1.2	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/smoke.v
+3.24%	46.4	47.9	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/tests/auto_frac/anyR_proof.v
+3.33%	45.4	46.9	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/tests/inits/main_cpp_spec.v
+3.37%	34.7	35.8	+1.2	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/sizeof_alignof.v
+3.39%	42.0	43.4	+1.4	fmdeps/auto/rocq-skylabs-auto-cpp/tests/int128/test.v
+3.40%	33.3	34.4	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/control_logical_forms.v
+3.48%	31.4	32.5	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/tests/hammer_test/tests/test0036_cpp_f3_proof.v
+3.52%	42.4	43.9	+1.5	bluerock/NOVA/build-proof/proof/kmem_hpp_spec.v
+3.58%	31.2	32.3	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/tests/destructuring/test.v
+3.61%	39.8	41.2	+1.4	fmdeps/auto/rocq-skylabs-auto-cpp/tests/big_sep/anyR_proof.v
+3.79%	28.3	29.4	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/tests/arch_indep/simple_base_hpp_spec.v
+4.31%	35.3	36.9	+1.5	fmdeps/auto-docs/content/docs/functions/verification.v
+4.40%	34.3	35.8	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/tests/array/sem_const/constructor.v
+4.47%	22.5	23.5	+1.0	fmdeps/auto/rocq-skylabs-cpp-stdlib/theories/vector/spec.v
+4.55%	24.9	26.0	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/tests/specify/templates.v
+4.56%	31.6	33.0	+1.4	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/xval_init_lval.v
+4.83%	24.3	25.5	+1.2	fmdeps/auto-docs/content/docs/class_reps/alt.v
+4.86%	31.7	33.2	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/arrays.v
+4.86%	30.7	32.1	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/implicit_array_initialization.v
+5.48%	27.1	28.6	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/tests/hammer_test/tests/test0068_cpp_f0_proof.v
+5.69%	18.8	19.9	+1.1	fmdeps/auto/rocq-skylabs-auto-cpp/tests/hammer_test/tests/test0004_cpp_f0_proof.v
+5.88%	25.7	27.2	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/tests/array/constructor.v
+5.96%	21.1	22.4	+1.3	fmdeps/auto/rocq-skylabs-auto-cpp/tests/hammer_test/tests/test0036_cpp_f0_proof.v
+6.10%	18.9	20.1	+1.2	fmdeps/auto-docs/content/docs/control_flow/loop.v
+6.11%	26.1	27.7	+1.6	fmdeps/auto/rocq-skylabs-auto-cpp/tests/factor.v
+6.42%	23.1	24.6	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/allocation_lambda_forms.v
+6.42%	19.6	20.9	+1.3	fmdeps/auto/rocq-skylabs-auto-cpp/tests/normalization/test.v
+6.68%	22.9	24.4	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/tests/sub_const.v
+6.78%	22.2	23.7	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/tests/virtual/virtual_cpp_proof.v
+7.94%	20.7	22.3	+1.6	fmdeps/auto-docs/content/docs/debugging/main.v
+7.97%	18.8	20.3	+1.5	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/assignment_operators_min_bool.v
+13.27%	14.8	16.8	+2.0	fmdeps/auto/rocq-skylabs-auto-cpp/tests/hammer_test/tests/test0036_cpp_f1_proof.v
+13.40%	16.4	18.6	+2.2	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/variable_length_arrays.v
+13.42%	16.4	18.6	+2.2	fmdeps/auto/rocq-skylabs-auto-cpp/coverage-tests/member_pointer_operators.v
+0.09%	141261.9	141391.1	+129.2	total
-0.00%	33026.0	33024.9	-1.0	├ translation units
+0.12%	108235.9	108366.1	+130.2	└ proofs and tests