Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
1 | ·ad261bf91416d0260fc638ee55ccbcf6·1882820·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb | ||
2 | ·e2026acffd0971ae40b2f76f5957541d·108252·math·optional·cvc5_1.1.2-2_amd64.deb | ||
3 | ·e8d55f5031052c713292b5efdd1d7771·182983880·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb | ||
4 | · | 1 | ·427315441bb9c37e93804ab77ed6380e·1883504·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb |
2 | ·eb36a05ef8ab2ace04ae37d5207b3a82·107888·math·optional·cvc5_1.1.2-2_amd64.deb | ||
3 | ·f3ba5cbdf29cf171fe05036e204a0e76·182982084·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb | ||
4 | ·752a3bb79e6bc3c1499c81abcc33eba8·6697540·libs·optional·libcvc5-1_1.1.2-2_amd64.deb | ||
5 | ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb | 5 | ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb |
6 | ·73018ddbe556ea8ea5ad5789b9e70a5f·4113564·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb | ||
7 | ·2914f2c33e7a5cd9409ecf6d4bd5d4b3·237424·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb | ||
8 | ·010af32e6cce4c3691eb2581cc1bed30·2663824·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb | ||
9 | · | 6 | ·74b84b4c4688ba3eedeabd428114233d·4113496·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb |
7 | ·8bed5d68fc70c485c7dc7c6949c75d51·237584·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb | ||
8 | ·b04845f21e8d937e70a3371187a9f18a·2664344·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb | ||
9 | ·112e36f8b16a2d54dcd0780bce60f77b·339368·python·optional·python3-cvc5_1.1.2-2_amd64.deb |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0···106 | 3 | -rw-r--r--···0········0········0···106580·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 1, 12 lines modified | Offset 1, 12 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.property | 1 | Displaying·notes·found·in:·.note.gnu.property |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·x86·ISA·needed:·x86-64-baseline | 3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·x86·ISA·needed:·x86-64-baseline |
4 | Displaying·notes·found·in:·.note.gnu.build-id | 4 | Displaying·notes·found·in:·.note.gnu.build-id |
5 | ··Owner················Data·size·» Description | 5 | ··Owner················Data·size·» Description |
6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·b9ae1db60dd8f912facbb2051d4ea58503099b87 |
7 | Displaying·notes·found·in:·.note.ABI-tag | 7 | Displaying·notes·found·in:·.note.ABI-tag |
8 | ··Owner················Data·size·» Description | 8 | ··Owner················Data·size·» Description |
9 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 | 9 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | 1 | /lib64/ld-linux-x86-64.so.2 | |
2 | t<{~_d&'<oq|s | 2 | t<{~_d&'<oq|s |
3 | _ZTIN4cvc58internal9ExceptionE | 3 | _ZTIN4cvc58internal9ExceptionE |
4 | _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE | 4 | _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE |
5 | _ZNK4cvc56Result9isUnknownEv | 5 | _ZNK4cvc56Result9isUnknownEv |
6 | _ZNK4cvc56Result7isUnsatEv | 6 | _ZNK4cvc56Result7isUnsatEv |
7 | _ZNK4cvc510OptionInfo9boolValueEv | 7 | _ZNK4cvc510OptionInfo9boolValueEv |
8 | _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE | 8 | _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE |
Offset 1, 7 lines modified | Offset 1, 7 lines modified | ||
1 | Hex·dump·of·section·'.gnu_debuglink': | 1 | Hex·dump·of·section·'.gnu_debuglink': |
2 | ··0x00000000·64623831·35336138·33383738·33613764·db8153a838783a7d | ||
3 | ··0x000000 | 2 | ··0x00000000·61653164·62363064·64386639·31326661·ae1db60dd8f912fa |
3 | ··0x00000010·63626232·30353164·34656135·38353033·cbb2051d4ea58503 | ||
4 | ··0x00000020·3 | 4 | ··0x00000020·30393962·38372e64·65627567·00000000·099b87.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·40b4d313····························@... |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0··669 | 3 | -rw-r--r--···0········0········0··6696068·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 3796, 15 lines modified | Offset 3796, 15 lines modified | ||
3796 | 000000000186cfc8··0000000000000008·R_X86_64_RELATIVE·························15a325f | 3796 | 000000000186cfc8··0000000000000008·R_X86_64_RELATIVE·························15a325f |
3797 | 000000000186cfd0··0000000000000008·R_X86_64_RELATIVE·························15a3258 | 3797 | 000000000186cfd0··0000000000000008·R_X86_64_RELATIVE·························15a3258 |
3798 | 000000000186cfe0··0000000000000008·R_X86_64_RELATIVE·························15a4393 | 3798 | 000000000186cfe0··0000000000000008·R_X86_64_RELATIVE·························15a4393 |
3799 | 000000000186cfe8··0000000000000008·R_X86_64_RELATIVE·························159acc9 | 3799 | 000000000186cfe8··0000000000000008·R_X86_64_RELATIVE·························159acc9 |
3800 | 000000000186cff0··0000000000000008·R_X86_64_RELATIVE·························159ace3 | 3800 | 000000000186cff0··0000000000000008·R_X86_64_RELATIVE·························159ace3 |
3801 | 000000000186d000··0000000000000008·R_X86_64_RELATIVE·························15a4393 | 3801 | 000000000186d000··0000000000000008·R_X86_64_RELATIVE·························15a4393 |
3802 | 000000000186d008··0000000000000008·R_X86_64_RELATIVE·························159e8f7 | 3802 | 000000000186d008··0000000000000008·R_X86_64_RELATIVE·························159e8f7 |
3803 | 000000000186d010··0000000000000008·R_X86_64_RELATIVE·························15a57 | 3803 | 000000000186d010··0000000000000008·R_X86_64_RELATIVE·························15a578d |
3804 | 000000000186d020··0000000000000008·R_X86_64_RELATIVE·························15a646c | 3804 | 000000000186d020··0000000000000008·R_X86_64_RELATIVE·························15a646c |
3805 | 000000000186d028··0000000000000008·R_X86_64_RELATIVE·························15a4887 | 3805 | 000000000186d028··0000000000000008·R_X86_64_RELATIVE·························15a4887 |
3806 | 000000000186d030··0000000000000008·R_X86_64_RELATIVE·························15a4879 | 3806 | 000000000186d030··0000000000000008·R_X86_64_RELATIVE·························15a4879 |
3807 | 000000000186d040··0000000000000008·R_X86_64_RELATIVE·························15a4855 | 3807 | 000000000186d040··0000000000000008·R_X86_64_RELATIVE·························15a4855 |
3808 | 000000000186d048··0000000000000008·R_X86_64_RELATIVE·························15a485f | 3808 | 000000000186d048··0000000000000008·R_X86_64_RELATIVE·························15a485f |
3809 | 000000000186d050··0000000000000008·R_X86_64_RELATIVE·························15a4868 | 3809 | 000000000186d050··0000000000000008·R_X86_64_RELATIVE·························15a4868 |
3810 | 000000000186d058··0000000000000008·R_X86_64_RELATIVE·························15a4739 | 3810 | 000000000186d058··0000000000000008·R_X86_64_RELATIVE·························15a4739 |
Offset 4227, 29 lines modified | Offset 4227, 29 lines modified | ||
4227 | 000000000186df28··0000000000000008·R_X86_64_RELATIVE·························15a5a78 | 4227 | 000000000186df28··0000000000000008·R_X86_64_RELATIVE·························15a5a78 |
4228 | 000000000186df30··0000000000000008·R_X86_64_RELATIVE·························15a5a95 | 4228 | 000000000186df30··0000000000000008·R_X86_64_RELATIVE·························15a5a95 |
4229 | 000000000186df38··0000000000000008·R_X86_64_RELATIVE·························15a50cc | 4229 | 000000000186df38··0000000000000008·R_X86_64_RELATIVE·························15a50cc |
4230 | 000000000186df40··0000000000000008·R_X86_64_RELATIVE·························15a5a9f | 4230 | 000000000186df40··0000000000000008·R_X86_64_RELATIVE·························15a5a9f |
4231 | 000000000186df48··0000000000000008·R_X86_64_RELATIVE·························15a6a2f | 4231 | 000000000186df48··0000000000000008·R_X86_64_RELATIVE·························15a6a2f |
4232 | 000000000186df50··0000000000000008·R_X86_64_RELATIVE·························15a50d3 | 4232 | 000000000186df50··0000000000000008·R_X86_64_RELATIVE·························15a50d3 |
4233 | 000000000186df58··0000000000000008·R_X86_64_RELATIVE·························15a64fb | 4233 | 000000000186df58··0000000000000008·R_X86_64_RELATIVE·························15a64fb |
4234 | 000000000186df60··0000000000000008·R_X86_64_RELATIVE·························15a57 | 4234 | 000000000186df60··0000000000000008·R_X86_64_RELATIVE·························15a578d |
4235 | 000000000186df68··0000000000000008·R_X86_64_RELATIVE·························15a50ef | 4235 | 000000000186df68··0000000000000008·R_X86_64_RELATIVE·························15a50ef |
4236 | 000000000186df70··0000000000000008·R_X86_64_RELATIVE·························15a50f6 | 4236 | 000000000186df70··0000000000000008·R_X86_64_RELATIVE·························15a50f6 |
4237 | 000000000186df78··0000000000000008·R_X86_64_RELATIVE·························159dff4 | 4237 | 000000000186df78··0000000000000008·R_X86_64_RELATIVE·························159dff4 |
4238 | 000000000186df80··0000000000000008·R_X86_64_RELATIVE·························15a5baf | 4238 | 000000000186df80··0000000000000008·R_X86_64_RELATIVE·························15a5baf |
4239 | 000000000186df88··0000000000000008·R_X86_64_RELATIVE·························15a6506 | 4239 | 000000000186df88··0000000000000008·R_X86_64_RELATIVE·························15a6506 |
4240 | 000000000186df90··0000000000000008·R_X86_64_RELATIVE·························15a4dbf | 4240 | 000000000186df90··0000000000000008·R_X86_64_RELATIVE·························15a4dbf |
4241 | 000000000186df98··0000000000000008·R_X86_64_RELATIVE·························15a5102 | 4241 | 000000000186df98··0000000000000008·R_X86_64_RELATIVE·························15a5102 |
4242 | 000000000186dfa0··0000000000000008·R_X86_64_RELATIVE·························15a5112 | 4242 | 000000000186dfa0··0000000000000008·R_X86_64_RELATIVE·························15a5112 |
4243 | 000000000186dfa8··0000000000000008·R_X86_64_RELATIVE·························15a512a | 4243 | 000000000186dfa8··0000000000000008·R_X86_64_RELATIVE·························15a512a |
4244 | 000000000186dfb0··0000000000000008·R_X86_64_RELATIVE·························15a513f | 4244 | 000000000186dfb0··0000000000000008·R_X86_64_RELATIVE·························15a513f |
4245 | 000000000186dfb8··0000000000000008·R_X86_64_RELATIVE·························15a5152 | 4245 | 000000000186dfb8··0000000000000008·R_X86_64_RELATIVE·························15a5152 |
4246 | 000000000186dfc0··0000000000000008·R_X86_64_RELATIVE·························15a516a | 4246 | 000000000186dfc0··0000000000000008·R_X86_64_RELATIVE·························15a516a |
4247 | 000000000186dfc8··0000000000000008·R_X86_64_RELATIVE·························15a517b | 4247 | 000000000186dfc8··0000000000000008·R_X86_64_RELATIVE·························15a517b |
4248 | 000000000186dfd0··0000000000000008·R_X86_64_RELATIVE·························15a57 | 4248 | 000000000186dfd0··0000000000000008·R_X86_64_RELATIVE·························15a5782 |
4249 | 000000000186dfd8··0000000000000008·R_X86_64_RELATIVE·························15a5ab7 | 4249 | 000000000186dfd8··0000000000000008·R_X86_64_RELATIVE·························15a5ab7 |
4250 | 000000000186dfe0··0000000000000008·R_X86_64_RELATIVE·························15a518a | 4250 | 000000000186dfe0··0000000000000008·R_X86_64_RELATIVE·························15a518a |
4251 | 000000000186dfe8··0000000000000008·R_X86_64_RELATIVE·························15a651a | 4251 | 000000000186dfe8··0000000000000008·R_X86_64_RELATIVE·························15a651a |
4252 | 000000000186dff0··0000000000000008·R_X86_64_RELATIVE·························15a519a | 4252 | 000000000186dff0··0000000000000008·R_X86_64_RELATIVE·························15a519a |
4253 | 000000000186dff8··0000000000000008·R_X86_64_RELATIVE·························15a51a9 | 4253 | 000000000186dff8··0000000000000008·R_X86_64_RELATIVE·························15a51a9 |
4254 | 000000000186e000··0000000000000008·R_X86_64_RELATIVE·························15a51c0 | 4254 | 000000000186e000··0000000000000008·R_X86_64_RELATIVE·························15a51c0 |
4255 | 000000000186e008··0000000000000008·R_X86_64_RELATIVE·························15a6527 | 4255 | 000000000186e008··0000000000000008·R_X86_64_RELATIVE·························15a6527 |
Offset 4291, 16 lines modified | Offset 4291, 16 lines modified | ||
4291 | 000000000186e128··0000000000000008·R_X86_64_RELATIVE·························15a656a | 4291 | 000000000186e128··0000000000000008·R_X86_64_RELATIVE·························15a656a |
4292 | 000000000186e130··0000000000000008·R_X86_64_RELATIVE·························15a657d | 4292 | 000000000186e130··0000000000000008·R_X86_64_RELATIVE·························15a657d |
4293 | 000000000186e138··0000000000000008·R_X86_64_RELATIVE·························15a5272 | 4293 | 000000000186e138··0000000000000008·R_X86_64_RELATIVE·························15a5272 |
4294 | 000000000186e140··0000000000000008·R_X86_64_RELATIVE·························15a6592 | 4294 | 000000000186e140··0000000000000008·R_X86_64_RELATIVE·························15a6592 |
4295 | 000000000186e148··0000000000000008·R_X86_64_RELATIVE·························15a65a2 | 4295 | 000000000186e148··0000000000000008·R_X86_64_RELATIVE·························15a65a2 |
4296 | 000000000186e150··0000000000000008·R_X86_64_RELATIVE·························15a527f | 4296 | 000000000186e150··0000000000000008·R_X86_64_RELATIVE·························15a527f |
4297 | 000000000186e158··0000000000000008·R_X86_64_RELATIVE·························159cdd3 | 4297 | 000000000186e158··0000000000000008·R_X86_64_RELATIVE·························159cdd3 |
4298 | 000000000186e160··0000000000000008·R_X86_64_RELATIVE·························15a529f | ||
4299 | 000000000186e16 | 4298 | 000000000186e160··0000000000000008·R_X86_64_RELATIVE·························15a528e |
4299 | 000000000186e168··0000000000000008·R_X86_64_RELATIVE·························15a529a | ||
4300 | 000000000186e170··0000000000000008·R_X86_64_RELATIVE·························15a5f07 | 4300 | 000000000186e170··0000000000000008·R_X86_64_RELATIVE·························15a5f07 |
4301 | 000000000186e178··0000000000000008·R_X86_64_RELATIVE·························15a52ab | 4301 | 000000000186e178··0000000000000008·R_X86_64_RELATIVE·························15a52ab |
4302 | 000000000186e180··0000000000000008·R_X86_64_RELATIVE·························15a52b3 | 4302 | 000000000186e180··0000000000000008·R_X86_64_RELATIVE·························15a52b3 |
4303 | 000000000186e188··0000000000000008·R_X86_64_RELATIVE·························15a65af | 4303 | 000000000186e188··0000000000000008·R_X86_64_RELATIVE·························15a65af |
4304 | 000000000186e190··0000000000000008·R_X86_64_RELATIVE·························1598363 | 4304 | 000000000186e190··0000000000000008·R_X86_64_RELATIVE·························1598363 |
4305 | 000000000186e198··0000000000000008·R_X86_64_RELATIVE·························15a65cc | 4305 | 000000000186e198··0000000000000008·R_X86_64_RELATIVE·························15a65cc |
4306 | 000000000186e1a0··0000000000000008·R_X86_64_RELATIVE·························15a6da2 | 4306 | 000000000186e1a0··0000000000000008·R_X86_64_RELATIVE·························15a6da2 |
Offset 4471, 15 lines modified | Offset 4471, 15 lines modified | ||
4471 | 000000000186e6c8··0000000000000008·R_X86_64_RELATIVE·························15a5770 | 4471 | 000000000186e6c8··0000000000000008·R_X86_64_RELATIVE·························15a5770 |
4472 | 000000000186e6d0··0000000000000008·R_X86_64_RELATIVE·························15a686c | 4472 | 000000000186e6d0··0000000000000008·R_X86_64_RELATIVE·························15a686c |
4473 | 000000000186e6d8··0000000000000008·R_X86_64_RELATIVE·························15a687e | 4473 | 000000000186e6d8··0000000000000008·R_X86_64_RELATIVE·························15a687e |
4474 | 000000000186e6e0··0000000000000008·R_X86_64_RELATIVE·························15a577a | 4474 | 000000000186e6e0··0000000000000008·R_X86_64_RELATIVE·························15a577a |
4475 | 000000000186e6e8··0000000000000008·R_X86_64_RELATIVE·························1598329 | 4475 | 000000000186e6e8··0000000000000008·R_X86_64_RELATIVE·························1598329 |
4476 | 000000000186e6f0··0000000000000008·R_X86_64_RELATIVE·························15982ce | 4476 | 000000000186e6f0··0000000000000008·R_X86_64_RELATIVE·························15982ce |
4477 | 000000000186e6f8··0000000000000008·R_X86_64_RELATIVE·························15a5dbc | 4477 | 000000000186e6f8··0000000000000008·R_X86_64_RELATIVE·························15a5dbc |
4478 | 000000000186e700··0000000000000008·R_X86_64_RELATIVE·························15a57 | 4478 | 000000000186e700··0000000000000008·R_X86_64_RELATIVE·························15a5791 |
4479 | 000000000186e710··0000000000000008·R_X86_64_RELATIVE·························1879c48 | 4479 | 000000000186e710··0000000000000008·R_X86_64_RELATIVE·························1879c48 |
4480 | 000000000186e718··0000000000000008·R_X86_64_RELATIVE·························14a3540 | 4480 | 000000000186e718··0000000000000008·R_X86_64_RELATIVE·························14a3540 |
4481 | 000000000186e720··0000000000000008·R_X86_64_RELATIVE·························14a3600 | 4481 | 000000000186e720··0000000000000008·R_X86_64_RELATIVE·························14a3600 |
4482 | 000000000186e728··0000000000000008·R_X86_64_RELATIVE·························14a3350 | 4482 | 000000000186e728··0000000000000008·R_X86_64_RELATIVE·························14a3350 |
4483 | 000000000186e730··0000000000000008·R_X86_64_RELATIVE·························14a5530 | 4483 | 000000000186e730··0000000000000008·R_X86_64_RELATIVE·························14a5530 |
4484 | 000000000186e738··0000000000000008·R_X86_64_RELATIVE·························14a3330 | 4484 | 000000000186e738··0000000000000008·R_X86_64_RELATIVE·························14a3330 |
4485 | 000000000186e740··0000000000000008·R_X86_64_RELATIVE·························14a36e0 | 4485 | 000000000186e740··0000000000000008·R_X86_64_RELATIVE·························14a36e0 |
Offset 8478, 15 lines modified | Offset 8478, 15 lines modified | ||
8478 | 000000000187f300··0000000000000008·R_X86_64_RELATIVE·························159a6ce | 8478 | 000000000187f300··0000000000000008·R_X86_64_RELATIVE·························159a6ce |
8479 | 000000000187f320··0000000000000008·R_X86_64_RELATIVE·························1598349 | 8479 | 000000000187f320··0000000000000008·R_X86_64_RELATIVE·························1598349 |
8480 | 000000000187f340··0000000000000008·R_X86_64_RELATIVE·························159e8f7 | 8480 | 000000000187f340··0000000000000008·R_X86_64_RELATIVE·························159e8f7 |
8481 | 000000000187f360··0000000000000008·R_X86_64_RELATIVE·························15a5ba0 | 8481 | 000000000187f360··0000000000000008·R_X86_64_RELATIVE·························15a5ba0 |
8482 | 000000000187f380··0000000000000008·R_X86_64_RELATIVE·························15a5b9d | 8482 | 000000000187f380··0000000000000008·R_X86_64_RELATIVE·························15a5b9d |
8483 | 000000000187f3a0··0000000000000008·R_X86_64_RELATIVE·························15a50fd | 8483 | 000000000187f3a0··0000000000000008·R_X86_64_RELATIVE·························15a50fd |
8484 | 000000000187f3c0··0000000000000008·R_X86_64_RELATIVE·························15a4fc3 | 8484 | 000000000187f3c0··0000000000000008·R_X86_64_RELATIVE·························15a4fc3 |
8485 | 000000000187f3e0··0000000000000008·R_X86_64_RELATIVE·························15a57 | 8485 | 000000000187f3e0··0000000000000008·R_X86_64_RELATIVE·························15a578d |
8486 | 000000000187f400··0000000000000008·R_X86_64_RELATIVE·························1598363 | 8486 | 000000000187f400··0000000000000008·R_X86_64_RELATIVE·························1598363 |
8487 | 000000000187f420··0000000000000008·R_X86_64_RELATIVE·························15a50ef | 8487 | 000000000187f420··0000000000000008·R_X86_64_RELATIVE·························15a50ef |
8488 | 000000000187f440··0000000000000008·R_X86_64_RELATIVE·························15a5baf | 8488 | 000000000187f440··0000000000000008·R_X86_64_RELATIVE·························15a5baf |
8489 | 000000000187f460··0000000000000008·R_X86_64_RELATIVE·························15a5bac | 8489 | 000000000187f460··0000000000000008·R_X86_64_RELATIVE·························15a5bac |
8490 | 000000000187f480··0000000000000008·R_X86_64_RELATIVE·························15a5bbd | 8490 | 000000000187f480··0000000000000008·R_X86_64_RELATIVE·························15a5bbd |
8491 | 000000000187f4a0··0000000000000008·R_X86_64_RELATIVE·························15a5bba | 8491 | 000000000187f4a0··0000000000000008·R_X86_64_RELATIVE·························15a5bba |
8492 | 000000000187f4c0··0000000000000008·R_X86_64_RELATIVE·························159cdd3 | 8492 | 000000000187f4c0··0000000000000008·R_X86_64_RELATIVE·························159cdd3 |
Offset 8629, 16 lines modified | Offset 8629, 16 lines modified | ||
8629 | 00000000018805e0··0000000000000008·R_X86_64_RELATIVE·························15a513f | 8629 | 00000000018805e0··0000000000000008·R_X86_64_RELATIVE·························15a513f |
8630 | 0000000001880600··0000000000000008·R_X86_64_RELATIVE·························15a4dbf | 8630 | 0000000001880600··0000000000000008·R_X86_64_RELATIVE·························15a4dbf |
8631 | 0000000001880620··0000000000000008·R_X86_64_RELATIVE·························15a5152 | 8631 | 0000000001880620··0000000000000008·R_X86_64_RELATIVE·························15a5152 |
8632 | 0000000001880640··0000000000000008·R_X86_64_RELATIVE·························15a516a | 8632 | 0000000001880640··0000000000000008·R_X86_64_RELATIVE·························15a516a |
8633 | 0000000001880660··0000000000000008·R_X86_64_RELATIVE·························15a517b | 8633 | 0000000001880660··0000000000000008·R_X86_64_RELATIVE·························15a517b |
8634 | 0000000001880680··0000000000000008·R_X86_64_RELATIVE·························15a5f07 | 8634 | 0000000001880680··0000000000000008·R_X86_64_RELATIVE·························15a5f07 |
8635 | 00000000018806a0··0000000000000008·R_X86_64_RELATIVE·························15a5f04 | 8635 | 00000000018806a0··0000000000000008·R_X86_64_RELATIVE·························15a5f04 |
8636 | 00000000018806c0··0000000000000008·R_X86_64_RELATIVE·························15a5791 | ||
8636 | 00000000018806 | 8637 | 00000000018806e0··0000000000000008·R_X86_64_RELATIVE·························15a5782 |
8637 | 00000000018806e0··0000000000000008·R_X86_64_RELATIVE·························15a5796 | ||
8638 | 0000000001880700··0000000000000008·R_X86_64_RELATIVE·························15a5f1e | 8638 | 0000000001880700··0000000000000008·R_X86_64_RELATIVE·························15a5f1e |
8639 | 0000000001880720··0000000000000008·R_X86_64_RELATIVE·························15a5f1b | 8639 | 0000000001880720··0000000000000008·R_X86_64_RELATIVE·························15a5f1b |
8640 | 0000000001880740··0000000000000008·R_X86_64_RELATIVE·························15a4f18 | 8640 | 0000000001880740··0000000000000008·R_X86_64_RELATIVE·························15a4f18 |
8641 | 0000000001880760··0000000000000008·R_X86_64_RELATIVE·························15a5f33 | 8641 | 0000000001880760··0000000000000008·R_X86_64_RELATIVE·························15a5f33 |
8642 | 0000000001880780··0000000000000008·R_X86_64_RELATIVE·························15a5f30 | 8642 | 0000000001880780··0000000000000008·R_X86_64_RELATIVE·························15a5f30 |
8643 | 00000000018807a0··0000000000000008·R_X86_64_RELATIVE·························15a5f49 | 8643 | 00000000018807a0··0000000000000008·R_X86_64_RELATIVE·························15a5f49 |
8644 | 00000000018807c0··0000000000000008·R_X86_64_RELATIVE·························15a5f46 | 8644 | 00000000018807c0··0000000000000008·R_X86_64_RELATIVE·························15a5f46 |
Offset 8689, 16 lines modified | Offset 8689, 16 lines modified | ||
8689 | 0000000001880d60··0000000000000008·R_X86_64_RELATIVE·························15a6093 | 8689 | 0000000001880d60··0000000000000008·R_X86_64_RELATIVE·························15a6093 |
8690 | 0000000001880d80··0000000000000008·R_X86_64_RELATIVE·························15a5244 | 8690 | 0000000001880d80··0000000000000008·R_X86_64_RELATIVE·························15a5244 |
8691 | 0000000001880da0··0000000000000008·R_X86_64_RELATIVE·························157adb0 | 8691 | 0000000001880da0··0000000000000008·R_X86_64_RELATIVE·························157adb0 |
8692 | 0000000001880dc0··0000000000000008·R_X86_64_RELATIVE·························15a60ab | 8692 | 0000000001880dc0··0000000000000008·R_X86_64_RELATIVE·························15a60ab |
8693 | 0000000001880de0··0000000000000008·R_X86_64_RELATIVE·························15a60a8 | 8693 | 0000000001880de0··0000000000000008·R_X86_64_RELATIVE·························15a60a8 |
8694 | 0000000001880e00··0000000000000008·R_X86_64_RELATIVE·························159d449 | 8694 | 0000000001880e00··0000000000000008·R_X86_64_RELATIVE·························159d449 |
8695 | 0000000001880e20··0000000000000008·R_X86_64_RELATIVE·························15a51de | 8695 | 0000000001880e20··0000000000000008·R_X86_64_RELATIVE·························15a51de |
8696 | 0000000001880e40··0000000000000008·R_X86_64_RELATIVE·························15a529f | ||
8697 | 0000000001880e | 8696 | 0000000001880e40··0000000000000008·R_X86_64_RELATIVE·························15a528e |
8697 | 0000000001880e60··0000000000000008·R_X86_64_RELATIVE·························15a529a | ||
8698 | 0000000001880e80··0000000000000008·R_X86_64_RELATIVE·························15a531b | 8698 | 0000000001880e80··0000000000000008·R_X86_64_RELATIVE·························15a531b |
8699 | 0000000001880ea0··0000000000000008·R_X86_64_RELATIVE·························15a532c | 8699 | 0000000001880ea0··0000000000000008·R_X86_64_RELATIVE·························15a532c |
8700 | 0000000001880ec0··0000000000000008·R_X86_64_RELATIVE·························15a537c | 8700 | 0000000001880ec0··0000000000000008·R_X86_64_RELATIVE·························15a537c |
Max diff block lines reached; 258/11606 bytes (2.22%) of diff not shown. |
Offset 1, 4 lines modified | Offset 1, 4 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.build-id | 1 | Displaying·notes·found·in:·.note.gnu.build-id |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·e18d18c4a8614110952eb5935546aeca551bd131 |
Offset 26778, 16 lines modified | Offset 26778, 16 lines modified | ||
26778 | proof-granularity | 26778 | proof-granularity |
26779 | proof-mode | 26779 | proof-mode |
26780 | proof-pedantic | 26780 | proof-pedantic |
26781 | proof-rewrite-rcons-rec-limit | 26781 | proof-rewrite-rcons-rec-limit |
26782 | prop-row-length | 26782 | prop-row-length |
26783 | quant-dsplit | 26783 | quant-dsplit |
26784 | quant-rep-mode | 26784 | quant-rep-mode |
26785 | random-frequency | ||
26786 | random-freq | 26785 | random-freq |
26786 | random-frequency | ||
26787 | re-inter-mode | 26787 | re-inter-mode |
26788 | replay-early-close-depth | 26788 | replay-early-close-depth |
26789 | replay-lemma-reject-cut | 26789 | replay-lemma-reject-cut |
26790 | replay-num-err-penalty | 26790 | replay-num-err-penalty |
26791 | replay-reject-cut | 26791 | replay-reject-cut |
26792 | restart-int-base | 26792 | restart-int-base |
26793 | restart-int-inc | 26793 | restart-int-inc |
Offset 26843, 16 lines modified | Offset 26843, 16 lines modified | ||
26843 | trigger-active-sel | 26843 | trigger-active-sel |
26844 | trigger-sel | 26844 | trigger-sel |
26845 | uf-ss-abort-card | 26845 | uf-ss-abort-card |
26846 | unate-lemmas | 26846 | unate-lemmas |
26847 | unsat-cores-mode | 26847 | unsat-cores-mode |
26848 | user-pat | 26848 | user-pat |
26849 | user-pool | 26849 | user-pool |
26850 | write-partitions-to | ||
26851 | partitions-out | 26850 | partitions-out |
26851 | write-partitions-to | ||
26852 | Argument·' | 26852 | Argument·' |
26853 | '·for·bool·option· | 26853 | '·for·bool·option· |
26854 | ·is·not·a·bool·constant | 26854 | ·is·not·a·bool·constant |
26855 | ·is·negative | 26855 | ·is·negative |
26856 | ·did·parse·only·partially·as· | 26856 | ·did·parse·only·partially·as· |
26857 | ,·leaving·' | 26857 | ,·leaving·' |
26858 | ·did·not·parse·as· | 26858 | ·did·not·parse·as· |
Offset 668316, 19 lines modified | Offset 668316, 19 lines modified | ||
668316 | » movl···$0x52,0xd20(%rsp) | 668316 | » movl···$0x52,0xd20(%rsp) |
668317 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668317 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668318 | » lea····0xd50(%rsp),%rdi | 668318 | » lea····0xd50(%rsp),%rdi |
668319 | » lea····0x12d3969(%rip),%rsi········ | 668319 | » lea····0x12d3969(%rip),%rsi········ |
668320 | » movl···$0x53,0xd48(%rsp) | 668320 | » movl···$0x53,0xd48(%rsp) |
668321 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668321 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668322 | » lea····0xd78(%rsp),%rdi | 668322 | » lea····0xd78(%rsp),%rdi |
668323 | » lea····0x12d | 668323 | » lea····0x12d4c25(%rip),%rsi········ |
668324 | » movl···$0x54,0xd70(%rsp) | 668324 | » movl···$0x54,0xd70(%rsp) |
668325 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668325 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668326 | » lea····0xda0(%rsp),%rdi | 668326 | » lea····0xda0(%rsp),%rdi |
668327 | » lea····0x12d | 668327 | » lea····0x12d1df9(%rip),%rsi········ |
668328 | » movl···$0x55,0xd98(%rsp) | 668328 | » movl···$0x55,0xd98(%rsp) |
668329 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668329 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668330 | » lea····0xdc8(%rsp),%rdi | 668330 | » lea····0xdc8(%rsp),%rdi |
668331 | » lea····0x12d1432(%rip),%rsi········ | 668331 | » lea····0x12d1432(%rip),%rsi········ |
668332 | » movl···$0x55,0xdc0(%rsp) | 668332 | » movl···$0x55,0xdc0(%rsp) |
668333 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668333 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668334 | » lea····0xdf0(%rsp),%rdi | 668334 | » lea····0xdf0(%rsp),%rdi |
Offset 668692, 19 lines modified | Offset 668692, 19 lines modified | ||
668692 | » movl···$0xae,0x1bd0(%rsp) | 668692 | » movl···$0xae,0x1bd0(%rsp) |
668693 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668693 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668694 | » lea····0x1c00(%rsp),%rdi | 668694 | » lea····0x1c00(%rsp),%rdi |
668695 | » lea····0x12d1421(%rip),%rsi········ | 668695 | » lea····0x12d1421(%rip),%rsi········ |
668696 | » movl···$0xaf,0x1bf8(%rsp) | 668696 | » movl···$0xaf,0x1bf8(%rsp) |
668697 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668697 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668698 | » lea····0x1c28(%rsp),%rdi | 668698 | » lea····0x1c28(%rsp),%rdi |
668699 | » lea····0x12d1 | 668699 | » lea····0x12d1410(%rip),%rsi········ |
668700 | » movl···$0xb0,0x1c20(%rsp) | 668700 | » movl···$0xb0,0x1c20(%rsp) |
668701 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668701 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668702 | » lea····0x1c50(%rsp),%rdi | 668702 | » lea····0x1c50(%rsp),%rdi |
668703 | » lea····0x12d1 | 668703 | » lea····0x12d152b(%rip),%rsi········ |
668704 | » movl···$0xb1,0x1c48(%rsp) | 668704 | » movl···$0xb1,0x1c48(%rsp) |
668705 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668705 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668706 | » lea····0x1c78(%rsp),%rdi | 668706 | » lea····0x1c78(%rsp),%rdi |
668707 | » lea····0x12d2dfb(%rip),%rsi········ | 668707 | » lea····0x12d2dfb(%rip),%rsi········ |
668708 | » movl···$0xb1,0x1c70(%rsp) | 668708 | » movl···$0xb1,0x1c70(%rsp) |
668709 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668709 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668710 | » lea····0x1ca0(%rsp),%rdi | 668710 | » lea····0x1ca0(%rsp),%rdi |
Offset 668912, 19 lines modified | Offset 668912, 19 lines modified | ||
668912 | » movl···$0xe4,0x2468(%rsp) | 668912 | » movl···$0xe4,0x2468(%rsp) |
668913 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668913 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668914 | » lea····0x2498(%rsp),%rdi | 668914 | » lea····0x2498(%rsp),%rdi |
668915 | » lea····0x12d22be(%rip),%rsi········ | 668915 | » lea····0x12d22be(%rip),%rsi········ |
668916 | » movl···$0xe5,0x2490(%rsp) | 668916 | » movl···$0xe5,0x2490(%rsp) |
668917 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668917 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668918 | » lea····0x24c0(%rsp),%rdi | 668918 | » lea····0x24c0(%rsp),%rdi |
668919 | » lea····0x12 | 668919 | » lea····0x12c4107(%rip),%rsi········ |
668920 | » movl···$0xe6,0x24b8(%rsp) | 668920 | » movl···$0xe6,0x24b8(%rsp) |
668921 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668921 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668922 | » lea····0x24e8(%rsp),%rdi | 668922 | » lea····0x24e8(%rsp),%rdi |
668923 | » lea····0x12 | 668923 | » lea····0x12d1512(%rip),%rsi········ |
668924 | » movl···$0xe7,0x24e0(%rsp) | 668924 | » movl···$0xe7,0x24e0(%rsp) |
668925 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668925 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668926 | » lea····0x2510(%rsp),%rdi | 668926 | » lea····0x2510(%rsp),%rdi |
668927 | » lea····0x12d0e55(%rip),%rsi········ | 668927 | » lea····0x12d0e55(%rip),%rsi········ |
668928 | » movl···$0xe7,0x2508(%rsp) | 668928 | » movl···$0xe7,0x2508(%rsp) |
668929 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668929 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668930 | » lea····0x2538(%rsp),%rdi | 668930 | » lea····0x2538(%rsp),%rdi |
Offset 668956, 19 lines modified | Offset 668956, 19 lines modified | ||
668956 | » movl···$0xec,0x2620(%rsp) | 668956 | » movl···$0xec,0x2620(%rsp) |
668957 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668957 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668958 | » lea····0x2650(%rsp),%rdi | 668958 | » lea····0x2650(%rsp),%rdi |
668959 | » lea····0x12d0d98(%rip),%rsi········ | 668959 | » lea····0x12d0d98(%rip),%rsi········ |
668960 | » movl···$0xed,0x2648(%rsp) | 668960 | » movl···$0xed,0x2648(%rsp) |
668961 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668961 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668962 | » lea····0x2678(%rsp),%rdi | 668962 | » lea····0x2678(%rsp),%rdi |
668963 | » lea····0x12d0 | 668963 | » lea····0x12d0d8e(%rip),%rsi········ |
668964 | » movl···$0xee,0x2670(%rsp) | 668964 | » movl···$0xee,0x2670(%rsp) |
668965 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668965 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668966 | » lea····0x26a0(%rsp),%rdi | 668966 | » lea····0x26a0(%rsp),%rdi |
668967 | » lea····0x12d0 | 668967 | » lea····0x12d09ef(%rip),%rsi········ |
668968 | » movl···$0xef,0x2698(%rsp) | 668968 | » movl···$0xef,0x2698(%rsp) |
668969 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668969 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668970 | » lea····0x26c8(%rsp),%rdi | 668970 | » lea····0x26c8(%rsp),%rdi |
668971 | » lea····0x12d0d63(%rip),%rsi········ | 668971 | » lea····0x12d0d63(%rip),%rsi········ |
668972 | » movl···$0xef,0x26c0(%rsp) | 668972 | » movl···$0xef,0x26c0(%rsp) |
668973 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668973 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668974 | » lea····0x26f0(%rsp),%rdi | 668974 | » lea····0x26f0(%rsp),%rdi |
Offset 669044, 19 lines modified | Offset 669044, 19 lines modified | ||
669044 | » movl···$0x101,0x2990(%rsp) | 669044 | » movl···$0x101,0x2990(%rsp) |
669045 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669045 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669046 | » lea····0x29c0(%rsp),%rdi | 669046 | » lea····0x29c0(%rsp),%rdi |
669047 | » lea····0x12d241d(%rip),%rsi········ | 669047 | » lea····0x12d241d(%rip),%rsi········ |
669048 | » movl···$0x102,0x29b8(%rsp) | 669048 | » movl···$0x102,0x29b8(%rsp) |
669049 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669049 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669050 | » lea····0x29e8(%rsp),%rdi | 669050 | » lea····0x29e8(%rsp),%rdi |
669051 | » lea····0x12d24 | 669051 | » lea····0x12d2411(%rip),%rsi········ |
669052 | » movl···$0x103,0x29e0(%rsp) | 669052 | » movl···$0x103,0x29e0(%rsp) |
669053 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669053 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669054 | » lea····0x2a10(%rsp),%rdi | 669054 | » lea····0x2a10(%rsp),%rdi |
669055 | » lea····0x12d2 | 669055 | » lea····0x12d2408(%rip),%rsi········ |
669056 | » movl···$0x104,0x2a08(%rsp) | 669056 | » movl···$0x104,0x2a08(%rsp) |
669057 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669057 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669058 | » lea····0x2a38(%rsp),%rdi | 669058 | » lea····0x2a38(%rsp),%rdi |
669059 | » lea····0x12d23fd(%rip),%rsi········ | 669059 | » lea····0x12d23fd(%rip),%rsi········ |
669060 | » movl···$0x104,0x2a30(%rsp) | 669060 | » movl···$0x104,0x2a30(%rsp) |
669061 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669061 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669062 | » lea····0x2a60(%rsp),%rdi | 669062 | » lea····0x2a60(%rsp),%rdi |
Offset 669180, 15 lines modified | Offset 669180, 15 lines modified | ||
669180 | » movl···$0x122,0x2ee0(%rsp) | 669180 | » movl···$0x122,0x2ee0(%rsp) |
669181 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669181 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669182 | » lea····0x2f10(%rsp),%rdi | 669182 | » lea····0x2f10(%rsp),%rdi |
669183 | » lea····0x12d0834(%rip),%rsi········ | 669183 | » lea····0x12d0834(%rip),%rsi········ |
669184 | » movl···$0x123,0x2f08(%rsp) | 669184 | » movl···$0x123,0x2f08(%rsp) |
669185 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669185 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669186 | » lea····0x2f38(%rsp),%rdi | 669186 | » lea····0x2f38(%rsp),%rdi |
669187 | » lea····0x12d082 | 669187 | » lea····0x12d0821(%rip),%rsi········ |
669188 | » movl···$0x124,0x2f30(%rsp) | 669188 | » movl···$0x124,0x2f30(%rsp) |
669189 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669189 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669190 | » lea····0x2f60(%rsp),%rdi | 669190 | » lea····0x2f60(%rsp),%rdi |
669191 | » lea····0x12d146f(%rip),%rsi········ | 669191 | » lea····0x12d146f(%rip),%rsi········ |
669192 | » movl···$0x124,0x2f58(%rsp) | 669192 | » movl···$0x124,0x2f58(%rsp) |
669193 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669193 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669194 | » lea····0x2f88(%rsp),%rdi | 669194 | » lea····0x2f88(%rsp),%rdi |
Offset 669252, 19 lines modified | Offset 669252, 19 lines modified | ||
669252 | » movl···$0x133,0x31b0(%rsp) | 669252 | » movl···$0x133,0x31b0(%rsp) |
669253 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669253 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669254 | » lea····0x31e0(%rsp),%rdi | 669254 | » lea····0x31e0(%rsp),%rdi |
669255 | » lea····0x12d06d1(%rip),%rsi········ | 669255 | » lea····0x12d06d1(%rip),%rsi········ |
669256 | » movl···$0x134,0x31d8(%rsp) | 669256 | » movl···$0x134,0x31d8(%rsp) |
669257 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669257 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669258 | » lea····0x3208(%rsp),%rdi | 669258 | » lea····0x3208(%rsp),%rdi |
669259 | » lea····0x12 | 669259 | » lea····0x12d06b9(%rip),%rsi········ |
669260 | » movl···$0x135,0x3200(%rsp) | 669260 | » movl···$0x135,0x3200(%rsp) |
669261 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669261 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669262 | » lea····0x3230(%rsp),%rdi | 669262 | » lea····0x3230(%rsp),%rdi |
Max diff block lines reached; 2239/7852 bytes (28.52%) of diff not shown. |
Offset 22565, 16 lines modified | Offset 22565, 16 lines modified | ||
22565 | ··0x015a5220·616e756c·61726974·79007072·6f6f662d·anularity.proof- | 22565 | ··0x015a5220·616e756c·61726974·79007072·6f6f662d·anularity.proof- |
22566 | ··0x015a5230·6d6f6465·0070726f·6f662d70·6564616e·mode.proof-pedan | 22566 | ··0x015a5230·6d6f6465·0070726f·6f662d70·6564616e·mode.proof-pedan |
22567 | ··0x015a5240·74696300·70726f6f·662d7265·77726974·tic.proof-rewrit | 22567 | ··0x015a5240·74696300·70726f6f·662d7265·77726974·tic.proof-rewrit |
22568 | ··0x015a5250·652d7263·6f6e732d·7265632d·6c696d69·e-rcons-rec-limi | 22568 | ··0x015a5250·652d7263·6f6e732d·7265632d·6c696d69·e-rcons-rec-limi |
22569 | ··0x015a5260·74007072·6f702d72·6f772d6c·656e6774·t.prop-row-lengt | 22569 | ··0x015a5260·74007072·6f702d72·6f772d6c·656e6774·t.prop-row-lengt |
22570 | ··0x015a5270·68007175·616e742d·6473706c·69740071·h.quant-dsplit.q | 22570 | ··0x015a5270·68007175·616e742d·6473706c·69740071·h.quant-dsplit.q |
22571 | ··0x015a5280·75616e74·2d726570·2d6d6f64·65007261·uant-rep-mode.ra | 22571 | ··0x015a5280·75616e74·2d726570·2d6d6f64·65007261·uant-rep-mode.ra |
22572 | ··0x015a5290·6e646f6d·2d667265·71007261·6e646f6d·ndom-freq.random | ||
22572 | ··0x015a52 | 22573 | ··0x015a52a0·2d667265·7175656e·63790072·652d656c·-frequency.re-el |
22573 | ··0x015a52a0·616e646f·6d2d6672·65710072·652d656c·andom-freq.re-el | ||
22574 | ··0x015a52b0·696d0072·652d696e·7465722d·6d6f6465·im.re-inter-mode | 22574 | ··0x015a52b0·696d0072·652d696e·7465722d·6d6f6465·im.re-inter-mode |
22575 | ··0x015a52c0·00726570·6c61792d·6561726c·792d636c·.replay-early-cl | 22575 | ··0x015a52c0·00726570·6c61792d·6561726c·792d636c·.replay-early-cl |
22576 | ··0x015a52d0·6f73652d·64657074·68007265·706c6179·ose-depth.replay | 22576 | ··0x015a52d0·6f73652d·64657074·68007265·706c6179·ose-depth.replay |
22577 | ··0x015a52e0·2d6c656d·6d612d72·656a6563·742d6375·-lemma-reject-cu | 22577 | ··0x015a52e0·2d6c656d·6d612d72·656a6563·742d6375·-lemma-reject-cu |
22578 | ··0x015a52f0·74007265·706c6179·2d6e756d·2d657272·t.replay-num-err | 22578 | ··0x015a52f0·74007265·706c6179·2d6e756d·2d657272·t.replay-num-err |
22579 | ··0x015a5300·2d70656e·616c7479·00726570·6c61792d·-penalty.replay- | 22579 | ··0x015a5300·2d70656e·616c7479·00726570·6c61792d·-penalty.replay- |
22580 | ··0x015a5310·72656a65·63742d63·75740072·65737461·reject-cut.resta | 22580 | ··0x015a5310·72656a65·63742d63·75740072·65737461·reject-cut.resta |
Offset 22644, 17 lines modified | Offset 22644, 17 lines modified | ||
22644 | ··0x015a5710·63650074·72696767·65722d61·63746976·ce.trigger-activ | 22644 | ··0x015a5710·63650074·72696767·65722d61·63746976·ce.trigger-activ |
22645 | ··0x015a5720·652d7365·6c007472·69676765·722d7365·e-sel.trigger-se | 22645 | ··0x015a5720·652d7365·6c007472·69676765·722d7365·e-sel.trigger-se |
22646 | ··0x015a5730·6c007566·2d737300·75662d73·732d6162·l.uf-ss.uf-ss-ab | 22646 | ··0x015a5730·6c007566·2d737300·75662d73·732d6162·l.uf-ss.uf-ss-ab |
22647 | ··0x015a5740·6f72742d·63617264·00756e61·74652d6c·ort-card.unate-l | 22647 | ··0x015a5740·6f72742d·63617264·00756e61·74652d6c·ort-card.unate-l |
22648 | ··0x015a5750·656d6d61·7300756e·7361742d·636f7265·emmas.unsat-core | 22648 | ··0x015a5750·656d6d61·7300756e·7361742d·636f7265·emmas.unsat-core |
22649 | ··0x015a5760·732d6d6f·64650075·7365722d·70617400·s-mode.user-pat. | 22649 | ··0x015a5760·732d6d6f·64650075·7365722d·70617400·s-mode.user-pat. |
22650 | ··0x015a5770·75736572·2d706f6f·6c007665·72626f73·user-pool.verbos | 22650 | ··0x015a5770·75736572·2d706f6f·6c007665·72626f73·user-pool.verbos |
22651 | ··0x015a5780·65007061·72746974·696f6e73·2d6f7574·e.partitions-out | ||
22651 | ··0x015a57 | 22652 | ··0x015a5790·00777269·74652d70·61727469·74696f6e·.write-partition |
22652 | ··0x015a5790·6e732d74·6f007061·72746974·696f6e73·ns-to.partitions | ||
22653 | ··0x015a57a0· | 22653 | ··0x015a57a0·732d746f·00417267·756d656e·74202700·s-to.Argument·'. |
22654 | ··0x015a57b0·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio | 22654 | ··0x015a57b0·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio |
22655 | ··0x015a57c0·6e200020·6973206e·6f742061·20626f6f·n·.·is·not·a·boo | 22655 | ··0x015a57c0·6e200020·6973206e·6f742061·20626f6f·n·.·is·not·a·boo |
22656 | ··0x015a57d0·6c20636f·6e737461·6e740025·66002720·l·constant.%f.'· | 22656 | ··0x015a57d0·6c20636f·6e737461·6e740025·66002720·l·constant.%f.'· |
22657 | ··0x015a57e0·666f7220·00206973·206e6567·61746976·for·.·is·negativ | 22657 | ··0x015a57e0·666f7220·00206973·206e6567·61746976·for·.·is·negativ |
22658 | ··0x015a57f0·65002064·69642070·61727365·206f6e6c·e.·did·parse·onl | 22658 | ··0x015a57f0·65002064·69642070·61727365·206f6e6c·e.·did·parse·onl |
22659 | ··0x015a5800·79207061·72746961·6c6c7920·61732000·y·partially·as·. | 22659 | ··0x015a5800·79207061·72746961·6c6c7920·61732000·y·partially·as·. |
22660 | ··0x015a5810·2c206c65·6176696e·67202700·20646964·,·leaving·'.·did | 22660 | ··0x015a5810·2c206c65·6176696e·67202700·20646964·,·leaving·'.·did |
Offset 1925, 15 lines modified | Offset 1925, 15 lines modified | ||
1925 | ··0x0186cfa0·cfaf5901·00000000·95485a01·00000000·..Y......HZ..... | 1925 | ··0x0186cfa0·cfaf5901·00000000·95485a01·00000000·..Y......HZ..... |
1926 | ··0x0186cfb0·a4485a01·00000000·00000000·00000000·.HZ............. | 1926 | ··0x0186cfb0·a4485a01·00000000·00000000·00000000·.HZ............. |
1927 | ··0x0186cfc0·ccb95901·00000000·5f325a01·00000000·..Y....._2Z..... | 1927 | ··0x0186cfc0·ccb95901·00000000·5f325a01·00000000·..Y....._2Z..... |
1928 | ··0x0186cfd0·58325a01·00000000·00000000·00000000·X2Z............. | 1928 | ··0x0186cfd0·58325a01·00000000·00000000·00000000·X2Z............. |
1929 | ··0x0186cfe0·93435a01·00000000·c9ac5901·00000000·.CZ.......Y..... | 1929 | ··0x0186cfe0·93435a01·00000000·c9ac5901·00000000·.CZ.......Y..... |
1930 | ··0x0186cff0·e3ac5901·00000000·00000000·00000000·..Y............. | 1930 | ··0x0186cff0·e3ac5901·00000000·00000000·00000000·..Y............. |
1931 | ··0x0186d000·93435a01·00000000·f7e85901·00000000·.CZ.......Y..... | 1931 | ··0x0186d000·93435a01·00000000·f7e85901·00000000·.CZ.......Y..... |
1932 | ··0x0186d010· | 1932 | ··0x0186d010·8d575a01·00000000·00000000·00000000·.WZ............. |
1933 | ··0x0186d020·6c645a01·00000000·87485a01·00000000·ldZ......HZ..... | 1933 | ··0x0186d020·6c645a01·00000000·87485a01·00000000·ldZ......HZ..... |
1934 | ··0x0186d030·79485a01·00000000·00000000·00000000·yHZ............. | 1934 | ··0x0186d030·79485a01·00000000·00000000·00000000·yHZ............. |
1935 | ··0x0186d040·55485a01·00000000·5f485a01·00000000·UHZ....._HZ..... | 1935 | ··0x0186d040·55485a01·00000000·5f485a01·00000000·UHZ....._HZ..... |
1936 | ··0x0186d050·68485a01·00000000·39475a01·00000000·hHZ.....9GZ..... | 1936 | ··0x0186d050·68485a01·00000000·39475a01·00000000·hHZ.....9GZ..... |
1937 | ··0x0186d060·ccb95901·00000000·49485a01·00000000·..Y.....IHZ..... | 1937 | ··0x0186d060·ccb95901·00000000·49485a01·00000000·..Y.....IHZ..... |
1938 | ··0x0186d070·50485a01·00000000·00000000·00000000·PHZ............. | 1938 | ··0x0186d070·50485a01·00000000·00000000·00000000·PHZ............. |
1939 | ··0x0186d080·c0455a01·00000000·cf455a01·00000000·.EZ......EZ..... | 1939 | ··0x0186d080·c0455a01·00000000·cf455a01·00000000·.EZ......EZ..... |
Offset 2170, 22 lines modified | Offset 2170, 22 lines modified | ||
2170 | ··0x0186def0·085a5a01·00000000·195a5a01·00000000·.ZZ......ZZ..... | 2170 | ··0x0186def0·085a5a01·00000000·195a5a01·00000000·.ZZ......ZZ..... |
2171 | ··0x0186df00·2a5a5a01·00000000·3c5a5a01·00000000·*ZZ.....<ZZ..... | 2171 | ··0x0186df00·2a5a5a01·00000000·3c5a5a01·00000000·*ZZ.....<ZZ..... |
2172 | ··0x0186df10·b7505a01·00000000·515a5a01·00000000·.PZ.....QZZ..... | 2172 | ··0x0186df10·b7505a01·00000000·515a5a01·00000000·.PZ.....QZZ..... |
2173 | ··0x0186df20·665a5a01·00000000·785a5a01·00000000·fZZ.....xZZ..... | 2173 | ··0x0186df20·665a5a01·00000000·785a5a01·00000000·fZZ.....xZZ..... |
2174 | ··0x0186df30·955a5a01·00000000·cc505a01·00000000·.ZZ......PZ..... | 2174 | ··0x0186df30·955a5a01·00000000·cc505a01·00000000·.ZZ......PZ..... |
2175 | ··0x0186df40·9f5a5a01·00000000·2f6a5a01·00000000·.ZZ...../jZ..... | 2175 | ··0x0186df40·9f5a5a01·00000000·2f6a5a01·00000000·.ZZ...../jZ..... |
2176 | ··0x0186df50·d3505a01·00000000·fb645a01·00000000·.PZ......dZ..... | 2176 | ··0x0186df50·d3505a01·00000000·fb645a01·00000000·.PZ......dZ..... |
2177 | ··0x0186df60· | 2177 | ··0x0186df60·8d575a01·00000000·ef505a01·00000000·.WZ......PZ..... |
2178 | ··0x0186df70·f6505a01·00000000·f4df5901·00000000·.PZ.......Y..... | 2178 | ··0x0186df70·f6505a01·00000000·f4df5901·00000000·.PZ.......Y..... |
2179 | ··0x0186df80·af5b5a01·00000000·06655a01·00000000·.[Z......eZ..... | 2179 | ··0x0186df80·af5b5a01·00000000·06655a01·00000000·.[Z......eZ..... |
2180 | ··0x0186df90·bf4d5a01·00000000·02515a01·00000000·.MZ......QZ..... | 2180 | ··0x0186df90·bf4d5a01·00000000·02515a01·00000000·.MZ......QZ..... |
2181 | ··0x0186dfa0·12515a01·00000000·2a515a01·00000000·.QZ.....*QZ..... | 2181 | ··0x0186dfa0·12515a01·00000000·2a515a01·00000000·.QZ.....*QZ..... |
2182 | ··0x0186dfb0·3f515a01·00000000·52515a01·00000000·?QZ.....RQZ..... | 2182 | ··0x0186dfb0·3f515a01·00000000·52515a01·00000000·?QZ.....RQZ..... |
2183 | ··0x0186dfc0·6a515a01·00000000·7b515a01·00000000·jQZ.....{QZ..... | 2183 | ··0x0186dfc0·6a515a01·00000000·7b515a01·00000000·jQZ.....{QZ..... |
2184 | ··0x0186dfd0· | 2184 | ··0x0186dfd0·82575a01·00000000·b75a5a01·00000000·.WZ......ZZ..... |
2185 | ··0x0186dfe0·8a515a01·00000000·1a655a01·00000000·.QZ......eZ..... | 2185 | ··0x0186dfe0·8a515a01·00000000·1a655a01·00000000·.QZ......eZ..... |
2186 | ··0x0186dff0·9a515a01·00000000·a9515a01·00000000·.QZ......QZ..... | 2186 | ··0x0186dff0·9a515a01·00000000·a9515a01·00000000·.QZ......QZ..... |
2187 | ··0x0186e000·c0515a01·00000000·27655a01·00000000·.QZ.....'eZ..... | 2187 | ··0x0186e000·c0515a01·00000000·27655a01·00000000·.QZ.....'eZ..... |
2188 | ··0x0186e010·d1515a01·00000000·42655a01·00000000·.QZ.....BeZ..... | 2188 | ··0x0186e010·d1515a01·00000000·42655a01·00000000·.QZ.....BeZ..... |
2189 | ··0x0186e020·bd5b5a01·00000000·de515a01·00000000·.[Z......QZ..... | 2189 | ··0x0186e020·bd5b5a01·00000000·de515a01·00000000·.[Z......QZ..... |
2190 | ··0x0186e030·456a5a01·00000000·eb5f5a01·00000000·EjZ......_Z..... | 2190 | ··0x0186e030·456a5a01·00000000·eb5f5a01·00000000·EjZ......_Z..... |
2191 | ··0x0186e040·ef515a01·00000000·57655a01·00000000·.QZ.....WeZ..... | 2191 | ··0x0186e040·ef515a01·00000000·57655a01·00000000·.QZ.....WeZ..... |
Offset 2202, 15 lines modified | Offset 2202, 15 lines modified | ||
2202 | ··0x0186e0f0·35525a01·00000000·6a605a01·00000000·5RZ.....j`Z..... | 2202 | ··0x0186e0f0·35525a01·00000000·6a605a01·00000000·5RZ.....j`Z..... |
2203 | ··0x0186e100·7c605a01·00000000·96605a01·00000000·|`Z......`Z..... | 2203 | ··0x0186e100·7c605a01·00000000·96605a01·00000000·|`Z......`Z..... |
2204 | ··0x0186e110·44525a01·00000000·b0ad5701·00000000·DRZ.......W..... | 2204 | ··0x0186e110·44525a01·00000000·b0ad5701·00000000·DRZ.......W..... |
2205 | ··0x0186e120·62525a01·00000000·6a655a01·00000000·bRZ.....jeZ..... | 2205 | ··0x0186e120·62525a01·00000000·6a655a01·00000000·bRZ.....jeZ..... |
2206 | ··0x0186e130·7d655a01·00000000·72525a01·00000000·}eZ.....rRZ..... | 2206 | ··0x0186e130·7d655a01·00000000·72525a01·00000000·}eZ.....rRZ..... |
2207 | ··0x0186e140·92655a01·00000000·a2655a01·00000000·.eZ......eZ..... | 2207 | ··0x0186e140·92655a01·00000000·a2655a01·00000000·.eZ......eZ..... |
2208 | ··0x0186e150·7f525a01·00000000·d3cd5901·00000000·.RZ.......Y..... | 2208 | ··0x0186e150·7f525a01·00000000·d3cd5901·00000000·.RZ.......Y..... |
2209 | ··0x0186e160· | 2209 | ··0x0186e160·8e525a01·00000000·9a525a01·00000000·.RZ......RZ..... |
2210 | ··0x0186e170·075f5a01·00000000·ab525a01·00000000·._Z......RZ..... | 2210 | ··0x0186e170·075f5a01·00000000·ab525a01·00000000·._Z......RZ..... |
2211 | ··0x0186e180·b3525a01·00000000·af655a01·00000000·.RZ......eZ..... | 2211 | ··0x0186e180·b3525a01·00000000·af655a01·00000000·.RZ......eZ..... |
2212 | ··0x0186e190·63835901·00000000·cc655a01·00000000·c.Y......eZ..... | 2212 | ··0x0186e190·63835901·00000000·cc655a01·00000000·c.Y......eZ..... |
2213 | ··0x0186e1a0·a26d5a01·00000000·e3655a01·00000000·.mZ......eZ..... | 2213 | ··0x0186e1a0·a26d5a01·00000000·e3655a01·00000000·.mZ......eZ..... |
2214 | ··0x0186e1b0·4f6b5a01·00000000·c1525a01·00000000·OkZ......RZ..... | 2214 | ··0x0186e1b0·4f6b5a01·00000000·c1525a01·00000000·OkZ......RZ..... |
2215 | ··0x0186e1c0·da525a01·00000000·f2525a01·00000000·.RZ......RZ..... | 2215 | ··0x0186e1c0·da525a01·00000000·f2525a01·00000000·.RZ......RZ..... |
2216 | ··0x0186e1d0·09535a01·00000000·7a835901·00000000·.SZ.....z.Y..... | 2216 | ··0x0186e1d0·09535a01·00000000·7a835901·00000000·.SZ.....z.Y..... |
Offset 2292, 15 lines modified | Offset 2292, 15 lines modified | ||
2292 | ··0x0186e690·d56b5a01·00000000·56575a01·00000000·.kZ.....VWZ..... | 2292 | ··0x0186e690·d56b5a01·00000000·56575a01·00000000·.kZ.....VWZ..... |
2293 | ··0x0186e6a0·f35a5a01·00000000·015b5a01·00000000·.ZZ......[Z..... | 2293 | ··0x0186e6a0·f35a5a01·00000000·015b5a01·00000000·.ZZ......[Z..... |
2294 | ··0x0186e6b0·f65e5a01·00000000·125b5a01·00000000·.^Z......[Z..... | 2294 | ··0x0186e6b0·f65e5a01·00000000·125b5a01·00000000·.^Z......[Z..... |
2295 | ··0x0186e6c0·67575a01·00000000·70575a01·00000000·gWZ.....pWZ..... | 2295 | ··0x0186e6c0·67575a01·00000000·70575a01·00000000·gWZ.....pWZ..... |
2296 | ··0x0186e6d0·6c685a01·00000000·7e685a01·00000000·lhZ.....~hZ..... | 2296 | ··0x0186e6d0·6c685a01·00000000·7e685a01·00000000·lhZ.....~hZ..... |
2297 | ··0x0186e6e0·7a575a01·00000000·29835901·00000000·zWZ.....).Y..... | 2297 | ··0x0186e6e0·7a575a01·00000000·29835901·00000000·zWZ.....).Y..... |
2298 | ··0x0186e6f0·ce825901·00000000·bc5d5a01·00000000·..Y......]Z..... | 2298 | ··0x0186e6f0·ce825901·00000000·bc5d5a01·00000000·..Y......]Z..... |
2299 | ··0x0186e700· | 2299 | ··0x0186e700·91575a01·00000000·00000000·00000000·.WZ............. |
2300 | ··0x0186e710·489c8701·00000000·40354a01·00000000·H.......@5J..... | 2300 | ··0x0186e710·489c8701·00000000·40354a01·00000000·H.......@5J..... |
2301 | ··0x0186e720·00364a01·00000000·50334a01·00000000·.6J.....P3J..... | 2301 | ··0x0186e720·00364a01·00000000·50334a01·00000000·.6J.....P3J..... |
2302 | ··0x0186e730·30554a01·00000000·30334a01·00000000·0UJ.....03J..... | 2302 | ··0x0186e730·30554a01·00000000·30334a01·00000000·0UJ.....03J..... |
2303 | ··0x0186e740·e0364a01·00000000·00000000·00000000·.6J............. | 2303 | ··0x0186e740·e0364a01·00000000·00000000·00000000·.6J............. |
2304 | ··0x0186e750·789c8701·00000000·a0374a01·00000000·x........7J..... | 2304 | ··0x0186e750·789c8701·00000000·a0374a01·00000000·x........7J..... |
2305 | ··0x0186e760·f03c4a01·00000000·60334a01·00000000·.<J.....`3J..... | 2305 | ··0x0186e760·f03c4a01·00000000·60334a01·00000000·.<J.....`3J..... |
2306 | ··0x0186e770·c0334a01·00000000·90474a01·00000000·.3J......GJ..... | 2306 | ··0x0186e770·c0334a01·00000000·90474a01·00000000·.3J......GJ..... |
Offset 314, 15 lines modified | Offset 314, 15 lines modified | ||
314 | ··0x0187f370·00000000·00000000·73010000·00000000·........s....... | 314 | ··0x0187f370·00000000·00000000·73010000·00000000·........s....... |
315 | ··0x0187f380·9d5b5a01·00000000·00000000·00000000·.[Z............. | 315 | ··0x0187f380·9d5b5a01·00000000·00000000·00000000·.[Z............. |
316 | ··0x0187f390·00000000·00000000·74010000·00000000·........t....... | 316 | ··0x0187f390·00000000·00000000·74010000·00000000·........t....... |
317 | ··0x0187f3a0·fd505a01·00000000·01000000·00000000·.PZ............. | 317 | ··0x0187f3a0·fd505a01·00000000·01000000·00000000·.PZ............. |
318 | ··0x0187f3b0·00000000·00000000·75010000·00000000·........u....... | 318 | ··0x0187f3b0·00000000·00000000·75010000·00000000·........u....... |
319 | ··0x0187f3c0·c34f5a01·00000000·01000000·00000000·.OZ............. | 319 | ··0x0187f3c0·c34f5a01·00000000·01000000·00000000·.OZ............. |
320 | ··0x0187f3d0·00000000·00000000·76010000·00000000·........v....... | 320 | ··0x0187f3d0·00000000·00000000·76010000·00000000·........v....... |
321 | ··0x0187f3e0· | 321 | ··0x0187f3e0·8d575a01·00000000·01000000·00000000·.WZ............. |
322 | ··0x0187f3f0·00000000·00000000·77010000·00000000·........w....... | 322 | ··0x0187f3f0·00000000·00000000·77010000·00000000·........w....... |
323 | ··0x0187f400·63835901·00000000·01000000·00000000·c.Y............. | 323 | ··0x0187f400·63835901·00000000·01000000·00000000·c.Y............. |
324 | ··0x0187f410·00000000·00000000·78010000·00000000·........x....... | 324 | ··0x0187f410·00000000·00000000·78010000·00000000·........x....... |
325 | ··0x0187f420·ef505a01·00000000·01000000·00000000·.PZ............. | 325 | ··0x0187f420·ef505a01·00000000·01000000·00000000·.PZ............. |
326 | ··0x0187f430·00000000·00000000·79010000·00000000·........y....... | 326 | ··0x0187f430·00000000·00000000·79010000·00000000·........y....... |
327 | ··0x0187f440·af5b5a01·00000000·00000000·00000000·.[Z............. | 327 | ··0x0187f440·af5b5a01·00000000·00000000·00000000·.[Z............. |
328 | ··0x0187f450·00000000·00000000·7a010000·00000000·........z....... | 328 | ··0x0187f450·00000000·00000000·7a010000·00000000·........z....... |
Offset 616, 17 lines modified | Offset 616, 17 lines modified | ||
616 | ··0x01880650·00000000·00000000·0a020000·00000000·................ | 616 | ··0x01880650·00000000·00000000·0a020000·00000000·................ |
617 | ··0x01880660·7b515a01·00000000·01000000·00000000·{QZ............. | 617 | ··0x01880660·7b515a01·00000000·01000000·00000000·{QZ............. |
618 | ··0x01880670·00000000·00000000·0b020000·00000000·................ | 618 | ··0x01880670·00000000·00000000·0b020000·00000000·................ |
619 | ··0x01880680·075f5a01·00000000·00000000·00000000·._Z............. | 619 | ··0x01880680·075f5a01·00000000·00000000·00000000·._Z............. |
620 | ··0x01880690·00000000·00000000·0c020000·00000000·................ | 620 | ··0x01880690·00000000·00000000·0c020000·00000000·................ |
621 | ··0x018806a0·045f5a01·00000000·00000000·00000000·._Z............. | 621 | ··0x018806a0·045f5a01·00000000·00000000·00000000·._Z............. |
622 | ··0x018806b0·00000000·00000000·0d020000·00000000·................ | 622 | ··0x018806b0·00000000·00000000·0d020000·00000000·................ |
623 | ··0x018806c0· | 623 | ··0x018806c0·91575a01·00000000·01000000·00000000·.WZ............. |
624 | ··0x018806d0·00000000·00000000·0e020000·00000000·................ | 624 | ··0x018806d0·00000000·00000000·0e020000·00000000·................ |
625 | ··0x018806e0· | 625 | ··0x018806e0·82575a01·00000000·01000000·00000000·.WZ............. |
626 | ··0x018806f0·00000000·00000000·0f020000·00000000·................ | 626 | ··0x018806f0·00000000·00000000·0f020000·00000000·................ |
627 | ··0x01880700·1e5f5a01·00000000·00000000·00000000·._Z............. | 627 | ··0x01880700·1e5f5a01·00000000·00000000·00000000·._Z............. |
628 | ··0x01880710·00000000·00000000·10020000·00000000·................ | 628 | ··0x01880710·00000000·00000000·10020000·00000000·................ |
629 | ··0x01880720·1b5f5a01·00000000·00000000·00000000·._Z............. | 629 | ··0x01880720·1b5f5a01·00000000·00000000·00000000·._Z............. |
630 | ··0x01880730·00000000·00000000·11020000·00000000·................ | 630 | ··0x01880730·00000000·00000000·11020000·00000000·................ |
631 | ··0x01880740·184f5a01·00000000·01000000·00000000·.OZ............. | 631 | ··0x01880740·184f5a01·00000000·01000000·00000000·.OZ............. |
632 | ··0x01880750·00000000·00000000·12020000·00000000·................ | 632 | ··0x01880750·00000000·00000000·12020000·00000000·................ |
Offset 736, 17 lines modified | Offset 736, 17 lines modified | ||
736 | ··0x01880dd0·00000000·00000000·46020000·00000000·........F....... | 736 | ··0x01880dd0·00000000·00000000·46020000·00000000·........F....... |
737 | ··0x01880de0·a8605a01·00000000·00000000·00000000·.`Z............. | 737 | ··0x01880de0·a8605a01·00000000·00000000·00000000·.`Z............. |
738 | ··0x01880df0·00000000·00000000·47020000·00000000·........G....... | 738 | ··0x01880df0·00000000·00000000·47020000·00000000·........G....... |
739 | ··0x01880e00·49d45901·00000000·01000000·00000000·I.Y............. | 739 | ··0x01880e00·49d45901·00000000·01000000·00000000·I.Y............. |
740 | ··0x01880e10·00000000·00000000·48020000·00000000·........H....... | 740 | ··0x01880e10·00000000·00000000·48020000·00000000·........H....... |
741 | ··0x01880e20·de515a01·00000000·01000000·00000000·.QZ............. | 741 | ··0x01880e20·de515a01·00000000·01000000·00000000·.QZ............. |
742 | ··0x01880e30·00000000·00000000·49020000·00000000·........I....... | 742 | ··0x01880e30·00000000·00000000·49020000·00000000·........I....... |
743 | ··0x01880e40· | 743 | ··0x01880e40·8e525a01·00000000·01000000·00000000·.RZ............. |
744 | ··0x01880e50·00000000·00000000·4a020000·00000000·........J....... | 744 | ··0x01880e50·00000000·00000000·4a020000·00000000·........J....... |
745 | ··0x01880e60· | 745 | ··0x01880e60·9a525a01·00000000·01000000·00000000·.RZ............. |
746 | ··0x01880e70·00000000·00000000·4b020000·00000000·........K....... | 746 | ··0x01880e70·00000000·00000000·4b020000·00000000·........K....... |
747 | ··0x01880e80·1b535a01·00000000·01000000·00000000·.SZ............. | 747 | ··0x01880e80·1b535a01·00000000·01000000·00000000·.SZ............. |
748 | ··0x01880e90·00000000·00000000·4c020000·00000000·........L....... | 748 | ··0x01880e90·00000000·00000000·4c020000·00000000·........L....... |
749 | ··0x01880ea0·2c535a01·00000000·01000000·00000000·,SZ............. | 749 | ··0x01880ea0·2c535a01·00000000·01000000·00000000·,SZ............. |
750 | ··0x01880eb0·00000000·00000000·4d020000·00000000·........M....... | 750 | ··0x01880eb0·00000000·00000000·4d020000·00000000·........M....... |
751 | ··0x01880ec0·7c535a01·00000000·01000000·00000000·|SZ............. | 751 | ··0x01880ec0·7c535a01·00000000·01000000·00000000·|SZ............. |
752 | ··0x01880ed0·00000000·00000000·4e020000·00000000·........N....... | 752 | ··0x01880ed0·00000000·00000000·4e020000·00000000·........N....... |
Offset 1, 7 lines modified | Offset 1, 7 lines modified | ||
1 | Hex·dump·of·section·'.gnu_debuglink': | 1 | Hex·dump·of·section·'.gnu_debuglink': |
2 | ··0x00000000·66353531·31343765·33366632·38643631·f551147e36f28d61 | ||
3 | ··0x000000 | 2 | ··0x00000000·38643138·63346138·36313431·31303935·8d18c4a861411095 |
3 | ··0x00000010·32656235·39333535·34366165·63613535·2eb5935546aeca55 | ||
4 | ··0x00000020·3 | 4 | ··0x00000020·31626431·33312e64·65627567·00000000·1bd131.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·8e1123ab····························..#. |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····126 | 2 | -rw-r--r--···0········0········0·····1264·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0···23 | 3 | -rw-r--r--···0········0········0···236128·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 1, 4 lines modified | Offset 1, 4 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.build-id | 1 | Displaying·notes·found·in:·.note.gnu.build-id |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·0cbeac380e5917dd0cf28cca61827d4c44d1d501 |
Offset 1, 7 lines modified | Offset 1, 7 lines modified | ||
1 | Hex·dump·of·section·'.gnu_debuglink': | 1 | Hex·dump·of·section·'.gnu_debuglink': |
2 | ··0x00000000·32333465·65636466·64623135·31613030·234eecdfdb151a00 | ||
3 | ··0x000000 | 2 | ··0x00000000·62656163·33383065·35393137·64643063·beac380e5917dd0c |
3 | ··0x00000010·66323863·63613631·38323764·34633434·f28cca61827d4c44 | ||
4 | ··0x00000020· | 4 | ··0x00000020·64316435·30312e64·65627567·00000000·d1d501.debug.... |
5 | ··0x00000030·b | 5 | ··0x00000030·2b3c6e35····························+<n5 |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····16 | 2 | -rw-r--r--···0········0········0·····1680·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0···33 | 3 | -rw-r--r--···0········0········0···337496·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 1, 4 lines modified | Offset 1, 4 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.build-id | 1 | Displaying·notes·found·in:·.note.gnu.build-id |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·85e53d0f91a809bf60e724ca5a9828886d45a5f0 |
Offset 1, 7 lines modified | Offset 1, 7 lines modified | ||
1 | Hex·dump·of·section·'.gnu_debuglink': | 1 | Hex·dump·of·section·'.gnu_debuglink': |
2 | ··0x00000000·31616432·37653731·62343938·63393631·1ad27e71b498c961 | ||
3 | ··0x000000 | 2 | ··0x00000000·65353364·30663931·61383039·62663630·e53d0f91a809bf60 |
3 | ··0x00000010·65373234·63613561·39383238·38383664·e724ca5a9828886d | ||
4 | ··0x00000020· | 4 | ··0x00000020·34356135·66302e64·65627567·00000000·45a5f0.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·e4217b5c····························.!{\ |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary |
2 | -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0··1882 | 3 | -rw-r--r--···0········0········0··1882780·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 5, 8 lines modified | Offset 5, 8 lines modified | ||
5 | Architecture:·amd64 | 5 | Architecture:·amd64 |
6 | Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net> | 6 | Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net> |
7 | Installed-Size:·2088 | 7 | Installed-Size:·2088 |
8 | Depends:·cvc5·(=·1.1.2-2) | 8 | Depends:·cvc5·(=·1.1.2-2) |
9 | Section:·debug | 9 | Section:·debug |
10 | Priority:·optional | 10 | Priority:·optional |
11 | Description:·debug·symbols·for·cvc5 | 11 | Description:·debug·symbols·for·cvc5 |
12 | Build-Ids:· | 12 | Build-Ids:·b9ae1db60dd8f912facbb2051d4ea58503099b87 |
Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
1 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./ | 1 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./ |
2 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/ | 2 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/ |
3 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/ | 3 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/ |
4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/ | 4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/ |
5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/ | 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/ |
6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/ | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b9/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)··21270 | 7 | -rw-r--r--···0·root·········(0)·root·········(0)··2127056·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b9/ae1db60dd8f912facbb2051d4ea58503099b87.debug |
8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/ |
9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/ |
10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5 | 10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5 |
Offset 6, 15 lines modified | Offset 6, 15 lines modified | ||
6 | ··OS/ABI:····························UNIX·-·System·V | 6 | ··OS/ABI:····························UNIX·-·System·V |
7 | ··ABI·Version:·······················0 | 7 | ··ABI·Version:·······················0 |
8 | ··Type:······························DYN·(Shared·object·file) | 8 | ··Type:······························DYN·(Shared·object·file) |
9 | ··Machine:···························Advanced·Micro·Devices·X86-64 | 9 | ··Machine:···························Advanced·Micro·Devices·X86-64 |
10 | ··Version:···························0x1 | 10 | ··Version:···························0x1 |
11 | ··Entry·point·address:···············0x11ec0 | 11 | ··Entry·point·address:···············0x11ec0 |
12 | ··Start·of·program·headers:··········64·(bytes·into·file) | 12 | ··Start·of·program·headers:··········64·(bytes·into·file) |
13 | ··Start·of·section·headers:··········21244 | 13 | ··Start·of·section·headers:··········2124432·(bytes·into·file) |
14 | ··Flags:·····························0x0 | 14 | ··Flags:·····························0x0 |
15 | ··Size·of·this·header:···············64·(bytes) | 15 | ··Size·of·this·header:···············64·(bytes) |
16 | ··Size·of·program·headers:···········56·(bytes) | 16 | ··Size·of·program·headers:···········56·(bytes) |
17 | ··Number·of·program·headers:·········14 | 17 | ··Number·of·program·headers:·········14 |
18 | ··Size·of·section·headers:···········64·(bytes) | 18 | ··Size·of·section·headers:···········64·(bytes) |
19 | ··Number·of·section·headers:·········41 | 19 | ··Number·of·section·headers:·········41 |
20 | ··Section·header·string·table·index:·40 | 20 | ··Section·header·string·table·index:·40 |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | There·are·41·section·headers,·starting·at·offset·0x206a | 1 | There·are·41·section·headers,·starting·at·offset·0x206a90: |
2 | Section·Headers: | 2 | Section·Headers: |
3 | ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al | 3 | ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al |
4 | ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0 | 4 | ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0 |
5 | ··[·1]·.note.gnu.property·NOTE············0000000000000350·000350·000020·00···A··0···0··8 | 5 | ··[·1]·.note.gnu.property·NOTE············0000000000000350·000350·000020·00···A··0···0··8 |
6 | ··[·2]·.note.gnu.build-id·NOTE············0000000000000370·000370·000024·00···A··0···0··4 | 6 | ··[·2]·.note.gnu.build-id·NOTE············0000000000000370·000370·000024·00···A··0···0··4 |
7 | ··[·3]·.interp···········NOBITS··········0000000000000394·000394·00001c·00···A··0···0··1 | 7 | ··[·3]·.interp···········NOBITS··········0000000000000394·000394·00001c·00···A··0···0··1 |
Offset 28, 23 lines modified | Offset 28, 23 lines modified | ||
28 | ··[23]·.data.rel.ro······NOBITS··········0000000000064460·020438·0003a0·00··WA··0···0·32 | 28 | ··[23]·.data.rel.ro······NOBITS··········0000000000064460·020438·0003a0·00··WA··0···0·32 |
29 | ··[24]·.dynamic··········NOBITS··········0000000000064800·020438·000240·10··WA··6···0··8 | 29 | ··[24]·.dynamic··········NOBITS··········0000000000064800·020438·000240·10··WA··6···0··8 |
30 | ··[25]·.got··············NOBITS··········0000000000064a40·020438·0005c0·08··WA··0···0··8 | 30 | ··[25]·.got··············NOBITS··········0000000000064a40·020438·0005c0·08··WA··0···0··8 |
31 | ··[26]·.data·············NOBITS··········0000000000065000·020438·006180·00··WA··0···0·32 | 31 | ··[26]·.data·············NOBITS··········0000000000065000·020438·006180·00··WA··0···0·32 |
32 | ··[27]·.bss··············NOBITS··········000000000006b180·020438·000500·00··WA··0···0·32 | 32 | ··[27]·.bss··············NOBITS··········000000000006b180·020438·000500·00··WA··0···0·32 |
33 | ··[28]·.comment··········PROGBITS········0000000000000000·01f64c·00001f·01··MS··0···0··1 | 33 | ··[28]·.comment··········PROGBITS········0000000000000000·01f64c·00001f·01··MS··0···0··1 |
34 | ··[29]·.debug_aranges····PROGBITS········0000000000000000·01f670·0001fa·00···C··0···0··8 | 34 | ··[29]·.debug_aranges····PROGBITS········0000000000000000·01f670·0001fa·00···C··0···0··8 |
35 | ··[30]·.debug_info·······PROGBITS········0000000000000000·01f870·157b | 35 | ··[30]·.debug_info·······PROGBITS········0000000000000000·01f870·157b20·00···C··0···0··8 |
36 | ··[31]·.debug_abbrev·····PROGBITS········0000000000000000·1773 | 36 | ··[31]·.debug_abbrev·····PROGBITS········0000000000000000·177390·00358e·00···C··0···0··8 |
37 | ··[32]·.debug_line·······PROGBITS········0000000000000000·17a9 | 37 | ··[32]·.debug_line·······PROGBITS········0000000000000000·17a920·00fbac·00···C··0···0··8 |
38 | ··[33]·.debug_str········PROGBITS········0000000000000000·18a4 | 38 | ··[33]·.debug_str········PROGBITS········0000000000000000·18a4d0·02ed6a·01·MSC··0···0··8 |
39 | ··[34]·.debug_line_str···PROGBITS········0000000000000000·1b92 | 39 | ··[34]·.debug_line_str···PROGBITS········0000000000000000·1b9240·0007d1·01·MSC··0···0··8 |
40 | ··[35]·.debug_loclists···PROGBITS········0000000000000000·1b9a | 40 | ··[35]·.debug_loclists···PROGBITS········0000000000000000·1b9a18·0331ed·00···C··0···0··8 |
41 | ··[36]·.debug_macro······PROGBITS········0000000000000000·1ecc | 41 | ··[36]·.debug_macro······PROGBITS········0000000000000000·1ecc08·009e6c·00···C··0···0··8 |
42 | ··[37]·.debug_rnglists···PROGBITS········0000000000000000·1f6a | 42 | ··[37]·.debug_rnglists···PROGBITS········0000000000000000·1f6a78·009050·00···C··0···0··8 |
43 | ··[38]·.symtab···········SYMTAB··········0000000000000000·1ffa | 43 | ··[38]·.symtab···········SYMTAB··········0000000000000000·1ffac8·0025f8·18·····39·116··8 |
44 | ··[39]·.strtab···········STRTAB··········0000000000000000·2020 | 44 | ··[39]·.strtab···········STRTAB··········0000000000000000·2020c0·00481d·00······0···0··1 |
45 | ··[40]·.shstrtab·········STRTAB··········0000000000000000·2068 | 45 | ··[40]·.shstrtab·········STRTAB··········0000000000000000·2068dd·0001ad·00······0···0··1 |
46 | Key·to·Flags: | 46 | Key·to·Flags: |
47 | ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info), | 47 | ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info), |
48 | ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS), | 48 | ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS), |
49 | ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude), | 49 | ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude), |
50 | ··D·(mbind),·l·(large),·p·(processor·specific) | 50 | ··D·(mbind),·l·(large),·p·(processor·specific) |
Offset 1, 12 lines modified | Offset 1, 12 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.property | 1 | Displaying·notes·found·in:·.note.gnu.property |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·x86·ISA·needed:·x86-64-baseline | 3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·x86·ISA·needed:·x86-64-baseline |
4 | Displaying·notes·found·in:·.note.gnu.build-id | 4 | Displaying·notes·found·in:·.note.gnu.build-id |
5 | ··Owner················Data·size·» Description | 5 | ··Owner················Data·size·» Description |
6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·b9ae1db60dd8f912facbb2051d4ea58503099b87 |
7 | Displaying·notes·found·in:·.note.ABI-tag | 7 | Displaying·notes·found·in:·.note.ABI-tag |
8 | ··Owner················Data·size·» Description | 8 | ··Owner················Data·size·» Description |
9 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 | 9 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 |
Offset 8, 155 lines modified | Offset 8, 155 lines modified | ||
8 | ···Pointer·Size:··8 | 8 | ···Pointer·Size:··8 |
9 | ·<0><c>:·Abbrev·Number:·29·(DW_TAG_partial_unit) | 9 | ·<0><c>:·Abbrev·Number:·29·(DW_TAG_partial_unit) |
10 | ····<d>···DW_AT_stmt_list···:·(sec_offset)·0 | 10 | ····<d>···DW_AT_stmt_list···:·(sec_offset)·0 |
11 | ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x1e):·./obj-x86_64-linux-gnu/src/main | 11 | ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x1e):·./obj-x86_64-linux-gnu/src/main |
12 | ·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type) | 12 | ·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type) |
13 | ····<16>···DW_AT_byte_size···:·(data1)·1 | 13 | ····<16>···DW_AT_byte_size···:·(data1)·1 |
14 | ····<17>···DW_AT_encoding····:·(data1)·8» (unsigned·char) | 14 | ····<17>···DW_AT_encoding····:·(data1)·8» (unsigned·char) |
15 | ····<18>···DW_AT_name········:·(strp)·(offset:·0xa30 | 15 | ····<18>···DW_AT_name········:·(strp)·(offset:·0xa3071):·unsigned·char |
16 | ·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type) | 16 | ·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type) |
17 | ····<1d>···DW_AT_byte_size···:·(data1)·2 | 17 | ····<1d>···DW_AT_byte_size···:·(data1)·2 |
18 | ····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned) | 18 | ····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned) |
19 | ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a1 | 19 | ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a1e7):·short·unsigned·int |
20 | ·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type) | 20 | ·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type) |
21 | ····<24>···DW_AT_byte_size···:·(data1)·4 | 21 | ····<24>···DW_AT_byte_size···:·(data1)·4 |
22 | ····<25>···DW_AT_encoding····:·(data1)·7» (unsigned) | 22 | ····<25>···DW_AT_encoding····:·(data1)·7» (unsigned) |
23 | ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb1 | 23 | ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb136):·unsigned·int |
24 | ·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type) | 24 | ·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type) |
25 | ····<2b>···DW_AT_byte_size···:·(data1)·8 | 25 | ····<2b>···DW_AT_byte_size···:·(data1)·8 |
26 | ····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned) | 26 | ····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned) |
27 | ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cb | 27 | ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cb3e):·long·unsigned·int |
28 | ·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef) | 28 | ·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef) |
29 | ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5de):·__int8_t | 29 | ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5de):·__int8_t |
30 | ····<36>···DW_AT_decl_file···:·(data1)·31 | 30 | ····<36>···DW_AT_decl_file···:·(data1)·31 |
31 | ····<37>···DW_AT_decl_line···:·(data1)·37 | 31 | ····<37>···DW_AT_decl_line···:·(data1)·37 |
32 | ····<38>···DW_AT_decl_column·:·(data1)·21 | 32 | ····<38>···DW_AT_decl_column·:·(data1)·21 |
33 | ····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char | 33 | ····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char |
34 | ·<1><3a>:·Abbrev·Number:·18·(DW_TAG_base_type) | 34 | ·<1><3a>:·Abbrev·Number:·18·(DW_TAG_base_type) |
35 | ····<3b>···DW_AT_byte_size···:·(data1)·1 | 35 | ····<3b>···DW_AT_byte_size···:·(data1)·1 |
36 | ····<3c>···DW_AT_encoding····:·(data1)·6» (signed·char) | 36 | ····<3c>···DW_AT_encoding····:·(data1)·6» (signed·char) |
37 | ····<3d>···DW_AT_name········:·(strp)·(offset:·0x713 | 37 | ····<3d>···DW_AT_name········:·(strp)·(offset:·0x7139b):·signed·char |
38 | ·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef) | 38 | ·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef) |
39 | ····<42>···DW_AT_name········:·(strp)·(offset:·0x414 | 39 | ····<42>···DW_AT_name········:·(strp)·(offset:·0x4149c):·__uint8_t |
40 | ····<46>···DW_AT_decl_file···:·(data1)·31 | 40 | ····<46>···DW_AT_decl_file···:·(data1)·31 |
41 | ····<47>···DW_AT_decl_line···:·(data1)·38 | 41 | ····<47>···DW_AT_decl_line···:·(data1)·38 |
42 | ····<48>···DW_AT_decl_column·:·(data1)·23 | 42 | ····<48>···DW_AT_decl_column·:·(data1)·23 |
43 | ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char | 43 | ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char |
44 | ·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef) | 44 | ·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef) |
45 | ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb3 | 45 | ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb3c20):·__int16_t |
46 | ····<4f>···DW_AT_decl_file···:·(data1)·31 | 46 | ····<4f>···DW_AT_decl_file···:·(data1)·31 |
47 | ····<50>···DW_AT_decl_line···:·(data1)·39 | 47 | ····<50>···DW_AT_decl_line···:·(data1)·39 |
48 | ····<51>···DW_AT_decl_column·:·(data1)·26 | 48 | ····<51>···DW_AT_decl_column·:·(data1)·26 |
49 | ····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int | 49 | ····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int |
50 | ·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type) | 50 | ·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type) |
51 | ····<54>···DW_AT_byte_size···:·(data1)·2 | 51 | ····<54>···DW_AT_byte_size···:·(data1)·2 |
52 | ····<55>···DW_AT_encoding····:·(data1)·5» (signed) | 52 | ····<55>···DW_AT_encoding····:·(data1)·5» (signed) |
53 | ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b1 | 53 | ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b14b):·short·int |
54 | ·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef) | 54 | ·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef) |
55 | ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb89 | 55 | ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8983):·__uint16_t |
56 | ····<5f>···DW_AT_decl_file···:·(data1)·31 | 56 | ····<5f>···DW_AT_decl_file···:·(data1)·31 |
57 | ····<60>···DW_AT_decl_line···:·(data1)·40 | 57 | ····<60>···DW_AT_decl_line···:·(data1)·40 |
58 | ····<61>···DW_AT_decl_column·:·(data1)·28 | 58 | ····<61>···DW_AT_decl_column·:·(data1)·28 |
59 | ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int | 59 | ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int |
60 | ·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef) | 60 | ·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef) |
61 | ····<64>···DW_AT_name········:·(strp)·(offset:·0x8af | 61 | ····<64>···DW_AT_name········:·(strp)·(offset:·0x8af92):·__int32_t |
62 | ····<68>···DW_AT_decl_file···:·(data1)·31 | 62 | ····<68>···DW_AT_decl_file···:·(data1)·31 |
63 | ····<69>···DW_AT_decl_line···:·(data1)·41 | 63 | ····<69>···DW_AT_decl_line···:·(data1)·41 |
64 | ····<6a>···DW_AT_decl_column·:·(data1)·20 | 64 | ····<6a>···DW_AT_decl_column·:·(data1)·20 |
65 | ····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int | 65 | ····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int |
66 | ·<1><6c>:·Abbrev·Number:·43·(DW_TAG_base_type) | 66 | ·<1><6c>:·Abbrev·Number:·43·(DW_TAG_base_type) |
67 | ····<6d>···DW_AT_byte_size···:·(data1)·4 | 67 | ····<6d>···DW_AT_byte_size···:·(data1)·4 |
68 | ····<6e>···DW_AT_encoding····:·(data1)·5» (signed) | 68 | ····<6e>···DW_AT_encoding····:·(data1)·5» (signed) |
69 | ····<6f>···DW_AT_name········:·(string)·int | 69 | ····<6f>···DW_AT_name········:·(string)·int |
70 | ·<1><73>:·Abbrev·Number:·33·(DW_TAG_const_type) | 70 | ·<1><73>:·Abbrev·Number:·33·(DW_TAG_const_type) |
71 | ····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int | 71 | ····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int |
72 | ·<1><75>:·Abbrev·Number:·39·(DW_TAG_typedef) | 72 | ·<1><75>:·Abbrev·Number:·39·(DW_TAG_typedef) |
73 | ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fa | 73 | ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fa18):·__uint32_t |
74 | ····<7a>···DW_AT_decl_file···:·(data1)·31 | 74 | ····<7a>···DW_AT_decl_file···:·(data1)·31 |
75 | ····<7b>···DW_AT_decl_line···:·(data1)·42 | 75 | ····<7b>···DW_AT_decl_line···:·(data1)·42 |
76 | ····<7c>···DW_AT_decl_column·:·(data1)·22 | 76 | ····<7c>···DW_AT_decl_column·:·(data1)·22 |
77 | ····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int | 77 | ····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int |
78 | ·<1><7e>:·Abbrev·Number:·39·(DW_TAG_typedef) | 78 | ·<1><7e>:·Abbrev·Number:·39·(DW_TAG_typedef) |
79 | ····<7f>···DW_AT_name········:·(strp)·(offset:·0x638 | 79 | ····<7f>···DW_AT_name········:·(strp)·(offset:·0x638b4):·__int64_t |
80 | ····<83>···DW_AT_decl_file···:·(data1)·31 | 80 | ····<83>···DW_AT_decl_file···:·(data1)·31 |
81 | ····<84>···DW_AT_decl_line···:·(data1)·44 | 81 | ····<84>···DW_AT_decl_line···:·(data1)·44 |
82 | ····<85>···DW_AT_decl_column·:·(data1)·25 | 82 | ····<85>···DW_AT_decl_column·:·(data1)·25 |
83 | ····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int | 83 | ····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int |
84 | ·<1><88>:·Abbrev·Number:·18·(DW_TAG_base_type) | 84 | ·<1><88>:·Abbrev·Number:·18·(DW_TAG_base_type) |
85 | ····<89>···DW_AT_byte_size···:·(data1)·8 | 85 | ····<89>···DW_AT_byte_size···:·(data1)·8 |
86 | ····<8a>···DW_AT_encoding····:·(data1)·5» (signed) | 86 | ····<8a>···DW_AT_encoding····:·(data1)·5» (signed) |
87 | ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe22):·long·int | 87 | ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe22):·long·int |
88 | ·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef) | 88 | ·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef) |
89 | ····<90>···DW_AT_name········:·(strp)·(offset:·0x687 | 89 | ····<90>···DW_AT_name········:·(strp)·(offset:·0x6873b):·__uint64_t |
90 | ····<94>···DW_AT_decl_file···:·(data1)·31 | 90 | ····<94>···DW_AT_decl_file···:·(data1)·31 |
91 | ····<95>···DW_AT_decl_line···:·(data1)·45 | 91 | ····<95>···DW_AT_decl_line···:·(data1)·45 |
92 | ····<96>···DW_AT_decl_column·:·(data1)·27 | 92 | ····<96>···DW_AT_decl_column·:·(data1)·27 |
93 | ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int | 93 | ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int |
94 | ·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef) | 94 | ·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef) |
95 | ····<99>···DW_AT_name········:·(strp)·(offset:·0x59d | 95 | ····<99>···DW_AT_name········:·(strp)·(offset:·0x59dd5):·__int_least8_t |
96 | ····<9d>···DW_AT_decl_file···:·(data1)·31 | 96 | ····<9d>···DW_AT_decl_file···:·(data1)·31 |
97 | ····<9e>···DW_AT_decl_line···:·(data1)·52 | 97 | ····<9e>···DW_AT_decl_line···:·(data1)·52 |
98 | ····<9f>···DW_AT_decl_column·:·(data1)·18 | 98 | ····<9f>···DW_AT_decl_column·:·(data1)·18 |
99 | ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char | 99 | ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char |
100 | ·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef) | 100 | ·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef) |
101 | ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5fd | 101 | ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5fddc):·__uint_least8_t |
102 | ····<a6>···DW_AT_decl_file···:·(data1)·31 | 102 | ····<a6>···DW_AT_decl_file···:·(data1)·31 |
103 | ····<a7>···DW_AT_decl_line···:·(data1)·53 | 103 | ····<a7>···DW_AT_decl_line···:·(data1)·53 |
104 | ····<a8>···DW_AT_decl_column·:·(data1)·19 | 104 | ····<a8>···DW_AT_decl_column·:·(data1)·19 |
105 | ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char | 105 | ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char |
106 | ·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef) | 106 | ·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef) |
107 | ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fc | 107 | ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fc65):·__int_least16_t |
108 | ····<af>···DW_AT_decl_file···:·(data1)·31 | 108 | ····<af>···DW_AT_decl_file···:·(data1)·31 |
109 | ····<b0>···DW_AT_decl_line···:·(data1)·54 | 109 | ····<b0>···DW_AT_decl_line···:·(data1)·54 |
110 | ····<b1>···DW_AT_decl_column·:·(data1)·19 | 110 | ····<b1>···DW_AT_decl_column·:·(data1)·19 |
111 | ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int | 111 | ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int |
112 | ·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef) | 112 | ·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef) |
113 | ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d38):·__uint_least16_t | 113 | ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d38):·__uint_least16_t |
114 | ····<b8>···DW_AT_decl_file···:·(data1)·31 | 114 | ····<b8>···DW_AT_decl_file···:·(data1)·31 |
115 | ····<b9>···DW_AT_decl_line···:·(data1)·55 | 115 | ····<b9>···DW_AT_decl_line···:·(data1)·55 |
116 | ····<ba>···DW_AT_decl_column·:·(data1)·20 | 116 | ····<ba>···DW_AT_decl_column·:·(data1)·20 |
117 | ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int | 117 | ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int |
118 | ·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef) | 118 | ·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef) |
119 | ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56d | 119 | ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56d8d):·__int_least32_t |
120 | ····<c1>···DW_AT_decl_file···:·(data1)·31 | 120 | ····<c1>···DW_AT_decl_file···:·(data1)·31 |
121 | ····<c2>···DW_AT_decl_line···:·(data1)·56 | 121 | ····<c2>···DW_AT_decl_line···:·(data1)·56 |
122 | ····<c3>···DW_AT_decl_column·:·(data1)·19 | 122 | ····<c3>···DW_AT_decl_column·:·(data1)·19 |
123 | ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int | 123 | ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int |
124 | ·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef) | 124 | ·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef) |
125 | ····<c6>···DW_AT_name········:·(strp)·(offset:·0xca4 | 125 | ····<c6>···DW_AT_name········:·(strp)·(offset:·0xca44e):·__uint_least32_t |
126 | ····<ca>···DW_AT_decl_file···:·(data1)·31 | 126 | ····<ca>···DW_AT_decl_file···:·(data1)·31 |
127 | ····<cb>···DW_AT_decl_line···:·(data1)·57 | 127 | ····<cb>···DW_AT_decl_line···:·(data1)·57 |
128 | ····<cc>···DW_AT_decl_column·:·(data1)·20 | 128 | ····<cc>···DW_AT_decl_column·:·(data1)·20 |
129 | ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int | 129 | ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int |
130 | ·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef) | 130 | ·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef) |
131 | ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ec | 131 | ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ecd8):·__int_least64_t |
132 | ····<d3>···DW_AT_decl_file···:·(data1)·31 | 132 | ····<d3>···DW_AT_decl_file···:·(data1)·31 |
133 | ····<d4>···DW_AT_decl_line···:·(data1)·58 | 133 | ····<d4>···DW_AT_decl_line···:·(data1)·58 |
134 | ····<d5>···DW_AT_decl_column·:·(data1)·19 | 134 | ····<d5>···DW_AT_decl_column·:·(data1)·19 |
Max diff block lines reached; 37479379/37487488 bytes (99.98%) of diff not shown. |
Offset 1703, 16 lines modified | Offset 1703, 16 lines modified | ||
1703 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 | 1703 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 |
1704 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 1704 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
1705 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 1705 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
1706 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 1706 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
1707 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1 | 1707 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1 |
1708 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 1708 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
1709 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 1709 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
1710 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 1710 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
1711 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 1711 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
1712 | ··Offset:······················0x1bec | 1712 | ··Offset:······················0x1bec |
1713 | ··Version:·····················5 | 1713 | ··Version:·····················5 |
1714 | ··Offset·size:·················4 | 1714 | ··Offset·size:·················4 |
1715 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 | 1715 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 |
1716 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 | 1716 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 |
Offset 13970, 16 lines modified | Offset 13970, 16 lines modified | ||
13970 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 | 13970 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 |
13971 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 13971 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
13972 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 13972 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
13973 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 13973 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
13974 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1 | 13974 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1 |
13975 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 13975 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
13976 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 13976 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
13977 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 13977 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
13978 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 13978 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
13979 | ··Offset:······················0x12e86 | 13979 | ··Offset:······················0x12e86 |
13980 | ··Version:·····················5 | 13980 | ··Version:·····················5 |
13981 | ··Offset·size:·················4 | 13981 | ··Offset·size:·················4 |
13982 | ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU | 13982 | ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU |
13983 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE | 13983 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE |
Offset 1, 337 lines modified | Offset 1, 357 lines modified | ||
1 | GCC:·(Debian·14.2.0-14)·14.2.0 | 1 | GCC:·(Debian·14.2.0-14)·14.2.0 |
2 | g5R\1]vA | ||
3 | aojtcr,;4 | ||
4 | S5xInx,V | ||
5 | n*M?"|8L? | ||
6 | F}|a» #3DM | ||
7 | >c.P!"~T | ||
8 | b*DB0;i4 | ||
9 | Ob~.#Bln | ||
10 | J4}jc}?D | ||
11 | %}SAlz". | ||
12 | HX)/c3;rk | ||
13 | \,·!^Gp+x. | ||
14 | sib|cjr9Y | ||
15 | I|f"?.q~? | ||
16 | Zrs+A?eb!K | ||
17 | 1T8Uw%MB | ||
18 | :@Q7xN)[ | ||
2 | WDnO5d53n | ||
3 | Fvg%d?%E | ||
4 | Amy$g1n- | ||
5 | (yx0p_z3X | ||
6 | {`~9J?AVT | ||
7 | 4}cJmPag | ||
8 | yC7O\x\U | ||
9 | l`9jS`!n6 | ||
10 | !r\e`*ti | ||
11 | g%\/4uenQ! | ||
12 | B,2(!>b* | ||
13 | 'j0X;EP!, | ||
14 | TK=GKkFK= | ||
15 | IbT}B1Xa | ||
16 | }U:{c(|c·[ | ||
17 | s4dt_P~X | ||
18 | )*t*y4L@ | ||
19 | U"~H"~H^ | ||
20 | Uv29{V#[ | ||
21 | 2yn53PJq | ||
22 | gUq:-L@Q | ||
23 | 19 | jwM(X;B| | |
24 | (Jibd$F2nGe | ||
25 | ^wG1pA*GCWj | ||
26 | OPb15<Be | ||
27 | EkWEbDxAqM | ||
28 | [8HFc>"2 | ||
29 | t`I·+]i6 | ||
30 | :<-YT·\D5 | ||
31 | 4h[>uCZF | ||
32 | %nf<eq?0 | ||
33 | (`euemu·VsO. | ||
34 | 9svT0E;» | ||
35 | x[6<QCFC | ||
36 | 6D-2Wp67 | ||
37 | dcteAy<i | ||
38 | EMw~Ei;F | ||
39 | AAZ>OB{:I | ||
40 | WDz@*_#_ | ||
41 | |gggfggg | ||
42 | K%$4!d | ||
43 | `a+W({m8 | ||
44 | ag=r4c|» | ||
45 | ·4+^OVP(=t | ||
46 | cHcHcHcHcHcHcH | ||
47 | F`#s24&t | ||
48 | VJ+q=g-% | ||
49 | |{w!b&X( | ||
50 | o-]s[}Oz | ||
51 | Z-OkoLqu | ||
52 | Mq|N:X5ij | ||
53 | *w|o·zN!w | ||
54 | Bi·m*KEM | ||
55 | ul3^s!u!S | ||
56 | WG}Hi>Az | ||
57 | .aWkD?9u | ||
58 | » ~&(Sz·tN | ||
59 | &^RVFN7! | ||
60 | a@s5qh@ae'?· | ||
61 | o;m» bg^a | ||
62 | EV2x^7&v | ||
63 | e#z18rFI | ||
64 | ?6PN:^&` | ||
65 | Gj@J1H)» | ||
66 | +n+IP>*1 | ||
67 | jD6H#\9CzM0 | ||
68 | *]>Vc#S464Ycc | ||
69 | &>2t» '/S | ||
70 | w@o/HpE4 | ||
71 | 7,T{aH*# | ||
72 | 0VZ?4w(l | ||
73 | >ZlCLdA: | ||
74 | :JGcu5^K | ||
75 | {D1''y» 2 | ||
76 | Y>RGNYtU | ||
77 | knOwep^" | ||
78 | uR]PBg&\ | ||
79 | *ZR%{`$W | ||
80 | RN7TpIBL | ||
81 | 6X@mo'=·<I | ||
82 | y{=)j'+70» | ||
83 | L8NRqD"b | ||
84 | dY» Q2!PN | ||
85 | sAi]$Gj^ | ||
86 | e» 1G<AM· | ||
87 | n4S1RP1O | ||
88 | Tp'sBT(w | ||
89 | 20 | |Zi~.;G\3 | |
21 | t=#(as;0q | ||
22 | q:y4\C#y | ||
23 | 3lM9^_.·y|dC | ||
24 | qlr7>k`F2 | ||
25 | my,Ejj;.l | ||
26 | }YC_R4q» | ||
27 | "URs>1R% | ||
28 | %Dm*3S%=Y | ||
29 | C_cuE/"( | ||
30 | wm+[~1X#@ | ||
31 | Lp=vH^GV | ||
32 | 6I5&iRIb | ||
33 | Gy,td=^{] | ||
34 | ?y&D-"=I | ||
35 | @6=,!?H`d89 | ||
36 | $$7!d | ||
37 | 1$,S_nya | ||
38 | |?19A}>4 | ||
39 | );i<k'B/9ig" | ||
40 | /&};jPK:+QW | ||
41 | MvkQ)r_l> | ||
Max diff block lines reached; 6527/8757 bytes (74.53%) of diff not shown. |
Offset 2176, 10943 lines modified | Offset 2176, 10943 lines modified | ||
2176 | ··[·220df]··_____fpos_t_defined·1 | 2176 | ··[·220df]··_____fpos_t_defined·1 |
2177 | ··[·220f5]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·> | 2177 | ··[·220f5]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·> |
2178 | ··[·22151]··_ZNK4cvc56Result6isNullEv | 2178 | ··[·22151]··_ZNK4cvc56Result6isNullEv |
2179 | ··[·2216b]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv | 2179 | ··[·2216b]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv |
2180 | ··[·221cd]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv | 2180 | ··[·221cd]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv |
2181 | ··[·2221d]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_ | 2181 | ··[·2221d]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_ | Diff chunk too large, falling back to line-by-line diff (10929 lines added, 10929 lines removed) |
2182 | ··[·2229b]··_ZNSt22_Optional_payload_baseIlEC4EOS0_ | 2182 | ··[·2229b]··_ZNSt22_Optional_payload_baseIlEC4EOS0_ |
2183 | ··[·222c3]·· | 2183 | ··[·222c3]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF64 |
2184 | ··[·222 | 2184 | ··[·222e7]··CLOCK_MONOTONIC_COARSE·6 |
2185 | ··[·2230 | 2185 | ··[·22300]··_GLIBCXX_HAVE_SYS_STAT_H·1 |
2186 | ··[·2231 | 2186 | ··[·2231b]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv |
2187 | ··[·223 | 2187 | ··[·2237c]··__cpp_rvalue_reference·200610L |
2188 | ··[·2239 | 2188 | ··[·2239b]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_ |
2189 | ··[·223 | 2189 | ··[·223d8]··d_sep |
2190 | ··[·223 | 2190 | ··[·223de]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_ |
2191 | ··[·22 | 2191 | ··[·22420]··__try·try |
2192 | ··[·224 | 2192 | ··[·2242a]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev |
2193 | ··[·224 | 2193 | ··[·2246c]··isSequenceValue |
2194 | ··[·224 | 2194 | ··[·2247c]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_ |
2195 | ··[·224 | 2195 | ··[·224de]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset) |
2196 | ··[·22 | 2196 | ··[·2250a]··__glibcxx_want_smart_ptr_for_overwrite |
2197 | ··[·225 | 2197 | ··[·22531]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_ |
2198 | ··[·225 | 2198 | ··[·22596]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_ |
2199 | ··[·225 | 2199 | ··[·225fa]··_ZNK4cvc512DatatypeDecl12isNullHelperEv |
2200 | ··[·226 | 2200 | ··[·22622]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv |
2201 | ··[·226 | 2201 | ··[·2266f]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE |
2202 | ··[·22 | 2202 | ··[·22724]··_M_erase_at_end |
2203 | ··[·2273 | 2203 | ··[·22734]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_ |
2204 | ··[·227 | 2204 | ··[·22796]··_ZNKSt6vectorIjSaIjEE4dataEv |
2205 | ··[·227b | 2205 | ··[·227b3]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv |
2206 | ··[·22 | 2206 | ··[·22826]··__UINT_LEAST32_MAX__·0xffffffffU |
2207 | ··[·2284 | 2207 | ··[·22847]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev |
2208 | ··[·228 | 2208 | ··[·228a4]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel() |
2209 | ··[·22 | 2209 | ··[·2290b]··allocator_traits<std::allocator<char>·> |
2210 | ··[·229 | 2210 | ··[·22933]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv |
2211 | ··[·229 | 2211 | ··[·22986]··_ZNSt6vectorIbSaIbEE4flipEv |
2212 | ··[·229a | 2212 | ··[·229a2]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_ |
2213 | ··[·229 | 2213 | ··[·229f5]··__need___va_list |
2214 | ··[·22a0 | 2214 | ··[·22a06]··_GLIBCXX_TXN_SAFE_DYN· |
2215 | ··[·22a | 2215 | ··[·22a1d]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name) |
2216 | ··[·22a | 2216 | ··[·22a50]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator |
2217 | ··[·22a | 2217 | ··[·22a81]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_ |
2218 | ··[·22 | 2218 | ··[·22b13]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv |
2219 | ··[·22b | 2219 | ··[·22b58]··d_bv |
2220 | ··[·22b | 2220 | ··[·22b5d]··EXISTS |
2221 | ··[·22b | 2221 | ··[·22b64]··_ZNKSt6vectorIbSaIbEE7crbeginEv |
2222 | ··[·22b | 2222 | ··[·22b84]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_ |
2223 | ··[·22b | 2223 | ··[·22bc5]··_SC_JOB_CONTROL·_SC_JOB_CONTROL |
2224 | ··[·22b | 2224 | ··[·22be5]··__glibcxx_want_execution |
2225 | ··[·22bf | 2225 | ··[·22bfe]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv |
2226 | ··[·22c | 2226 | ··[·22c3b]··__dat |
2227 | ··[·22c | 2227 | ··[·22c41]··__LC_MEASUREMENT·11 |
2228 | ··[·22c5 | 2228 | ··[·22c55]··__in_chrg |
2229 | ··[·22c | 2229 | ··[·22c5f]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev |
2230 | ··[·22c | 2230 | ··[·22cb3]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·> |
2231 | ··[·22 | 2231 | ··[·22d21]··_Arg |
2232 | ··[·22d | 2232 | ··[·22d26]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·" |
2233 | ··[·22d | 2233 | ··[·22d58]··__STDC_UTF_32__·1 |
2234 | ··[·22d | 2234 | ··[·22d6a]··__glibcxx_want_optional· |
2235 | ··[·22d8 | 2235 | ··[·22d83]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_ |
2236 | ··[·22d | 2236 | ··[·22de3]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true> |
2237 | ··[·22 | 2237 | ··[·22e5c]··add_lvalue_reference<cvc5::internal::smt::SmtSolver> |
2238 | ··[·22e | 2238 | ··[·22e91]··__glibcxx_no_dangling_refs(_U1,_U2)· |
2239 | ··[·22e | 2239 | ··[·22eb6]··long·double |
2240 | ··[·22e | 2240 | ··[·22ec2]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_ |
2241 | ··[·22 | 2241 | ··[·22f2e]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_ |
2242 | ··[·22f | 2242 | ··[·22f95]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_ |
2243 | ··[·22f | 2243 | ··[·22ff6]··_ZNSt11char_traitsIwE7compareEPKwS2_m |
2244 | ··[·2301 | 2244 | ··[·2301c]··_ZNKSt8optionalImE9has_valueEv |
2245 | ··[·2303 | 2245 | ··[·2303b]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true> |
2246 | ··[·230 | 2246 | ··[·230b6]··_GLIBCXX_USE_CHMOD·1 |
2247 | ··[·230 | 2247 | ··[·230cb]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>() |
2248 | ··[·23 | 2248 | ··[·2313d]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_ |
2249 | ··[·231 | 2249 | ··[·23184]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv |
2250 | ··[·231 | 2250 | ··[·231e6]··_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS·_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS |
2251 | ··[·232 | 2251 | ··[·2322e]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m |
2252 | ··[·232 | 2252 | ··[·23270]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw |
2253 | ··[·232 | 2253 | ··[·232a4]··_ZNSt8__detail9__variant17__gen_vtable_implINS0_12_Multi_arrayIPFvOZNS0_16_Variant_storageILb0EJN4cvc510OptionInfo8VoidInfoENS5_9ValueInfoIbEENS7_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEENS5_10NumberInfoIlEENSG_ImEENSG_IdEENS5_8ModeInfoE[·...·truncated·by·diffoscope;·len:·103,·SHA:·edd0440173f5cabc70b4dadb8324e2cbc791caa342bdfb437aaa73f2a26e6424·...·] |
2254 | ··[·23 | 2254 | ··[·23407]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv |
2255 | ··[·234 | 2255 | ··[·2347c]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true> |
2256 | ··[·234 | 2256 | ··[·234ce]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm |
2257 | ··[·234 | 2257 | ··[·234f5]··assertFormulaInternal |
2258 | ··[·2350 | 2258 | ··[·2350b]··STA_PPSFREQ·0x0002 |
2259 | ··[·235 | 2259 | ··[·2351e]··mkNullableLift |
2260 | ··[·235 | 2260 | ··[·2352d]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev |
2261 | ··[·235 | 2261 | ··[·2356f]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv |
2262 | ··[·235 | 2262 | ··[·235bd]··mkFiniteFieldElem |
2263 | ··[·235 | 2263 | ··[·235cf]··ARITH_TRANS_EXP_NEG |
2264 | ··[·235e | 2264 | ··[·235e3]··__glibcxx_allocator_traits_is_always_equal·201411L |
2265 | ··[·23 | 2265 | ··[·23616]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE |
2266 | ··[·236 | 2266 | ··[·2365a]··_SC_2_FORT_DEV·_SC_2_FORT_DEV |
2267 | ··[·2367 | 2267 | ··[·23678]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true> |
2268 | ··[·236 | 2268 | ··[·236fb]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE |
2269 | ··[·237 | 2269 | ··[·23781]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE |
2270 | ··[·237 | 2270 | ··[·237d2]··_ZNK4cvc512DatatypeDecl10isResolvedEv |
2271 | ··[·237 | 2271 | ··[·237f8]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv |
2272 | ··[·238 | 2272 | ··[·2386d]··_IsUnused |
2273 | ··[·238 | 2273 | ··[·23877]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev |
2274 | ··[·238 | 2274 | ··[·238a0]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_ |
2275 | ··[·23 | 2275 | ··[·23922]··_vtable_offset |
2276 | ··[·2393 | 2276 | ··[·23931]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E |
2277 | ··[·239 | 2277 | ··[·239d5]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm |
2278 | ··[·23 | 2278 | ··[·23a1e]··_GLIBCXX_POSTYPES_H·1 |
2279 | ··[·23a3 | 2279 | ··[·23a34]··INT_FAST16_MIN·(-9223372036854775807L-1) |
2280 | ··[·23a | 2280 | ··[·23a5d]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_ |
2281 | ··[·23a | 2281 | ··[·23abb]··__cpp_lib_tuples_by_type·201304L |
2282 | ··[·23ad | 2282 | ··[·23adc]··getInterpolant |
2283 | ··[·23a | 2283 | ··[·23aeb]··reverse_iterator<__gnu_cxx::__normal_iterator<std::pair<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>*,·std::vector<std::pair<std::__c[·...·truncated·by·diffoscope;·len:·351,·SHA:·3c2c53a771c8664696f5031be69b50b9e637d46c5dd411f7468c3c970b1125a7·...·] |
2284 | ··[·23 | 2284 | ··[·23d46]··rebind<std::_Rb_tree_node<cvc5::Term>·> |
2285 | ··[·23d6 | 2285 | ··[·23d6e]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·} |
2286 | ··[·23d | 2286 | ··[·23df4]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_ |
2287 | ··[·23e | 2287 | ··[·23e57]··_ZNSt8optionalIlEaSESt9nullopt_t |
2288 | ··[·23e7 | 2288 | ··[·23e78]··_ZNSt16initializer_listIPKcEC4EPKS1_m |
2289 | ··[·23e9 | 2289 | ··[·23e9e]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING |
2290 | ··[·23e | 2290 | ··[·23ec8]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv |
2291 | ··[·23 | 2291 | ··[·23f00]··_POSIX_TRACE·-1 |
2292 | ··[·23f1 | 2292 | ··[·23f10]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true> |
2293 | ··[·23f | 2293 | ··[·23f63]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_ |
2294 | ··[·23f | 2294 | ··[·23fb4]··_M_parent |
2295 | ··[·23f | 2295 | ··[·23fbe]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc |
2296 | ··[·23f | 2296 | ··[·23ff8]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm |
2297 | ··[·240 | 2297 | ··[·2402b]··PDP_ENDIAN·__PDP_ENDIAN |
2298 | ··[·2404 | 2298 | ··[·24043]··_GLIBCXX14_DEPRECATED_SUGGEST(ALT)·_GLIBCXX_DEPRECATED_SUGGEST(ALT) |
2299 | ··[·240 | 2299 | ··[·24087]··CVC5_NO_EXPORT·__attribute__((visibility("hidden"))) |
2300 | ··[·240 | 2300 | ··[·240bc]··_ZN4cvc58internal9ExceptionC4EPKc |
2301 | ··[·240d | 2301 | ··[·240de]··_ZN4cvc511SynthResultC4Ev |
Max diff block lines reached; 358/1694473 bytes (0.02%) of diff not shown. |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary |
2 | -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0·18298 | 3 | -rw-r--r--···0········0········0·182981340·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 1, 13 lines modified | Offset 1, 13 lines modified | ||
1 | Package:·libcvc5-1-dbgsym | 1 | Package:·libcvc5-1-dbgsym |
2 | Source:·cvc5 | 2 | Source:·cvc5 |
3 | Version:·1.1.2-2 | 3 | Version:·1.1.2-2 |
4 | Auto-Built-Package:·debug-symbols | 4 | Auto-Built-Package:·debug-symbols |
5 | Architecture:·amd64 | 5 | Architecture:·amd64 |
6 | Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net> | 6 | Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net> |
7 | Installed-Size:·18255 | 7 | Installed-Size:·182557 |
8 | Depends:·libcvc5-1·(=·1.1.2-2) | 8 | Depends:·libcvc5-1·(=·1.1.2-2) |
9 | Section:·debug | 9 | Section:·debug |
10 | Priority:·optional | 10 | Priority:·optional |
11 | Multi-Arch:·same | 11 | Multi-Arch:·same |
12 | Description:·debug·symbols·for·libcvc5-1 | 12 | Description:·debug·symbols·for·libcvc5-1 |
13 | Build-Ids:· | 13 | Build-Ids:·e18d18c4a8614110952eb5935546aeca551bd131 |
Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
1 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./ | 1 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./ |
2 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/ | 2 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/ |
3 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/ | 3 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/ |
4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/ | 4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/ |
5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/ | 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/ |
6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/ | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e1/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)·18692 | 7 | -rw-r--r--···0·root·········(0)·root·········(0)·186927656·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e1/8d18c4a8614110952eb5935546aeca551bd131.debug |
8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/ |
9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/ |
10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/libcvc5-1-dbgsym·->·libcvc5-1 | 10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/libcvc5-1-dbgsym·->·libcvc5-1 |
Offset 6, 15 lines modified | Offset 6, 15 lines modified | ||
6 | ··OS/ABI:····························UNIX·-·GNU | 6 | ··OS/ABI:····························UNIX·-·GNU |
7 | ··ABI·Version:·······················0 | 7 | ··ABI·Version:·······················0 |
8 | ··Type:······························DYN·(Shared·object·file) | 8 | ··Type:······························DYN·(Shared·object·file) |
9 | ··Machine:···························Advanced·Micro·Devices·X86-64 | 9 | ··Machine:···························Advanced·Micro·Devices·X86-64 |
10 | ··Version:···························0x1 | 10 | ··Version:···························0x1 |
11 | ··Entry·point·address:···············0x0 | 11 | ··Entry·point·address:···············0x0 |
12 | ··Start·of·program·headers:··········64·(bytes·into·file) | 12 | ··Start·of·program·headers:··········64·(bytes·into·file) |
13 | ··Start·of·section·headers:··········18692 | 13 | ··Start·of·section·headers:··········186925096·(bytes·into·file) |
14 | ··Flags:·····························0x0 | 14 | ··Flags:·····························0x0 |
15 | ··Size·of·this·header:···············64·(bytes) | 15 | ··Size·of·this·header:···············64·(bytes) |
16 | ··Size·of·program·headers:···········56·(bytes) | 16 | ··Size·of·program·headers:···········56·(bytes) |
17 | ··Number·of·program·headers:·········10 | 17 | ··Number·of·program·headers:·········10 |
18 | ··Size·of·section·headers:···········64·(bytes) | 18 | ··Size·of·section·headers:···········64·(bytes) |
19 | ··Number·of·section·headers:·········40 | 19 | ··Number·of·section·headers:·········40 |
20 | ··Section·header·string·table·index:·39 | 20 | ··Section·header·string·table·index:·39 |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | There·are·40·section·headers,·starting·at·offset·0xb244 | 1 | There·are·40·section·headers,·starting·at·offset·0xb244028: |
2 | Section·Headers: | 2 | Section·Headers: |
3 | ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al | 3 | ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al |
4 | ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0 | 4 | ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0 |
5 | ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4 | 5 | ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4 |
6 | ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··8 | 6 | ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··8 |
7 | ··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··8 | 7 | ··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··8 |
Offset 27, 23 lines modified | Offset 27, 23 lines modified | ||
27 | ··[22]·.data.rel.ro······NOBITS··········0000000001865780·000570·014ad0·00··WA··0···0·32 | 27 | ··[22]·.data.rel.ro······NOBITS··········0000000001865780·000570·014ad0·00··WA··0···0·32 |
28 | ··[23]·.dynamic··········NOBITS··········000000000187a250·000570·000250·10··WA··4···0··8 | 28 | ··[23]·.dynamic··········NOBITS··········000000000187a250·000570·000250·10··WA··4···0··8 |
29 | ··[24]·.got··············NOBITS··········000000000187a4a0·000570·003b50·08··WA··0···0··8 | 29 | ··[24]·.got··············NOBITS··········000000000187a4a0·000570·003b50·08··WA··0···0··8 |
30 | ··[25]·.data·············NOBITS··········000000000187e000·000570·008240·00··WA··0···0·32 | 30 | ··[25]·.data·············NOBITS··········000000000187e000·000570·008240·00··WA··0···0·32 |
31 | ··[26]·.bss··············NOBITS··········0000000001886240·000570·001a00·00··WA··0···0·32 | 31 | ··[26]·.bss··············NOBITS··········0000000001886240·000570·001a00·00··WA··0···0·32 |
32 | ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··1 | 32 | ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··1 |
33 | ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dbd9·00···C··0···0··8 | 33 | ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dbd9·00···C··0···0··8 |
34 | ··[29]·.debug_info·······PROGBITS········0000000000000000·00de98·881 | 34 | ··[29]·.debug_info·······PROGBITS········0000000000000000·00de98·8811966·00···C··0···0··8 |
35 | ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·881f | 35 | ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·881f800·0dcfc0·00···C··0···0··8 |
36 | ··[31]·.debug_line·······PROGBITS········0000000000000000·88fc | 36 | ··[31]·.debug_line·······PROGBITS········0000000000000000·88fc7c0·86d2e1·00···C··0···0··8 |
37 | ··[32]·.debug_str········PROGBITS········0000000000000000·916 | 37 | ··[32]·.debug_str········PROGBITS········0000000000000000·9169aa8·3dfbd6·01·MSC··0···0··8 |
38 | ··[33]·.debug_line_str···PROGBITS········0000000000000000·9549 | 38 | ··[33]·.debug_line_str···PROGBITS········0000000000000000·9549680·0028b3·01·MSC··0···0··8 |
39 | ··[34]·.debug_loclists···PROGBITS········0000000000000000·954 | 39 | ··[34]·.debug_loclists···PROGBITS········0000000000000000·954bf38·1297e13·00···C··0···0··8 |
40 | ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e | 40 | ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e3d50·162296·00···C··0···0··8 |
41 | ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a94 | 41 | ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a945fe8·586455·00···C··0···0··8 |
42 | ··[37]·.symtab···········SYMTAB··········0000000000000000·aecc | 42 | ··[37]·.symtab···········SYMTAB··········0000000000000000·aecc440·0ca1a0·18·····38·31780··8 |
43 | ··[38]·.strtab···········STRTAB··········0000000000000000·af96 | 43 | ··[38]·.strtab···········STRTAB··········0000000000000000·af965e0·2ad8b5·00······0···0··1 |
44 | ··[39]·.shstrtab·········STRTAB··········0000000000000000·b24 | 44 | ··[39]·.shstrtab·········STRTAB··········0000000000000000·b243e95·000191·00······0···0··1 |
45 | Key·to·Flags: | 45 | Key·to·Flags: |
46 | ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info), | 46 | ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info), |
47 | ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS), | 47 | ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS), |
48 | ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude), | 48 | ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude), |
49 | ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific) | 49 | ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific) |
Offset 1, 4 lines modified | Offset 1, 4 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.build-id | 1 | Displaying·notes·found·in:·.note.gnu.build-id |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·e18d18c4a8614110952eb5935546aeca551bd131 |
Offset 8, 27 lines modified | Offset 8, 27 lines modified | ||
8 | ···Pointer·Size:··8 | 8 | ···Pointer·Size:··8 |
9 | ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit) | 9 | ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit) |
10 | ····<d>···DW_AT_stmt_list···:·(sec_offset)·0 | 10 | ····<d>···DW_AT_stmt_list···:·(sec_offset)·0 |
11 | ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src | 11 | ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src |
12 | ·<1><15>:·Abbrev·Number:·25·(DW_TAG_base_type) | 12 | ·<1><15>:·Abbrev·Number:·25·(DW_TAG_base_type) |
13 | ····<16>···DW_AT_byte_size···:·(data1)·8 | 13 | ····<16>···DW_AT_byte_size···:·(data1)·8 |
14 | ····<17>···DW_AT_encoding····:·(data1)·5» (signed) | 14 | ····<17>···DW_AT_encoding····:·(data1)·5» (signed) |
15 | ····<18>···DW_AT_name········:·(strp)·(offset:·0x15d | 15 | ····<18>···DW_AT_name········:·(strp)·(offset:·0x15de1):·long·int |
16 | ·<1><1c>:·Abbrev·Number:·25·(DW_TAG_base_type) | 16 | ·<1><1c>:·Abbrev·Number:·25·(DW_TAG_base_type) |
17 | ····<1d>···DW_AT_byte_size···:·(data1)·8 | 17 | ····<1d>···DW_AT_byte_size···:·(data1)·8 |
18 | ····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned) | 18 | ····<1e>···DW_AT_encoding····:·(data1)·7» (unsigned) |
19 | ····<1f>···DW_AT_name········:·(strp)·(offset:·0xe845):·long·unsigned·int | 19 | ····<1f>···DW_AT_name········:·(strp)·(offset:·0xe845):·long·unsigned·int |
20 | ·<1><23>:·Abbrev·Number:·25·(DW_TAG_base_type) | 20 | ·<1><23>:·Abbrev·Number:·25·(DW_TAG_base_type) |
21 | ····<24>···DW_AT_byte_size···:·(data1)·1 | 21 | ····<24>···DW_AT_byte_size···:·(data1)·1 |
22 | ····<25>···DW_AT_encoding····:·(data1)·8» (unsigned·char) | 22 | ····<25>···DW_AT_encoding····:·(data1)·8» (unsigned·char) |
23 | ····<26>···DW_AT_name········:·(strp)·(offset:·0x1a98c):·unsigned·char | 23 | ····<26>···DW_AT_name········:·(strp)·(offset:·0x1a98c):·unsigned·char |
24 | ·<1><2a>:·Abbrev·Number:·25·(DW_TAG_base_type) | 24 | ·<1><2a>:·Abbrev·Number:·25·(DW_TAG_base_type) |
25 | ····<2b>···DW_AT_byte_size···:·(data1)·2 | 25 | ····<2b>···DW_AT_byte_size···:·(data1)·2 |
26 | ····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned) | 26 | ····<2c>···DW_AT_encoding····:·(data1)·7» (unsigned) |
27 | ····<2d>···DW_AT_name········:·(strp)·(offset:·0x125 | 27 | ····<2d>···DW_AT_name········:·(strp)·(offset:·0x125bb):·short·unsigned·int |
28 | ·<1><31>:·Abbrev·Number:·25·(DW_TAG_base_type) | 28 | ·<1><31>:·Abbrev·Number:·25·(DW_TAG_base_type) |
29 | ····<32>···DW_AT_byte_size···:·(data1)·4 | 29 | ····<32>···DW_AT_byte_size···:·(data1)·4 |
30 | ····<33>···DW_AT_encoding····:·(data1)·7» (unsigned) | 30 | ····<33>···DW_AT_encoding····:·(data1)·7» (unsigned) |
31 | ····<34>···DW_AT_name········:·(strp)·(offset:·0xc631):·unsigned·int | 31 | ····<34>···DW_AT_name········:·(strp)·(offset:·0xc631):·unsigned·int |
32 | ·<1><38>:·Abbrev·Number:·25·(DW_TAG_base_type) | 32 | ·<1><38>:·Abbrev·Number:·25·(DW_TAG_base_type) |
33 | ····<39>···DW_AT_byte_size···:·(data1)·1 | 33 | ····<39>···DW_AT_byte_size···:·(data1)·1 |
34 | ····<3a>···DW_AT_encoding····:·(data1)·6» (signed·char) | 34 | ····<3a>···DW_AT_encoding····:·(data1)·6» (signed·char) |
Offset 100, 15 lines modified | Offset 100, 15 lines modified | ||
100 | ·<1><b8>:·Abbrev·Number:·25·(DW_TAG_base_type) | 100 | ·<1><b8>:·Abbrev·Number:·25·(DW_TAG_base_type) |
101 | ····<b9>···DW_AT_byte_size···:·(data1)·4 | 101 | ····<b9>···DW_AT_byte_size···:·(data1)·4 |
102 | ····<ba>···DW_AT_encoding····:·(data1)·16» (unicode·string) | 102 | ····<ba>···DW_AT_encoding····:·(data1)·16» (unicode·string) |
103 | ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fa1d):·char32_t | 103 | ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fa1d):·char32_t |
104 | ·<1><bf>:·Abbrev·Number:·25·(DW_TAG_base_type) | 104 | ·<1><bf>:·Abbrev·Number:·25·(DW_TAG_base_type) |
105 | ····<c0>···DW_AT_byte_size···:·(data1)·16 | 105 | ····<c0>···DW_AT_byte_size···:·(data1)·16 |
106 | ····<c1>···DW_AT_encoding····:·(data1)·5» (signed) | 106 | ····<c1>···DW_AT_encoding····:·(data1)·5» (signed) |
107 | ····<c2>···DW_AT_name········:·(strp)·(offset:·0x13f | 107 | ····<c2>···DW_AT_name········:·(strp)·(offset:·0x13f63):·__int128 |
108 | ·<1><c6>:·Abbrev·Number:·25·(DW_TAG_base_type) | 108 | ·<1><c6>:·Abbrev·Number:·25·(DW_TAG_base_type) |
109 | ····<c7>···DW_AT_byte_size···:·(data1)·16 | 109 | ····<c7>···DW_AT_byte_size···:·(data1)·16 |
110 | ····<c8>···DW_AT_encoding····:·(data1)·7» (unsigned) | 110 | ····<c8>···DW_AT_encoding····:·(data1)·7» (unsigned) |
111 | ····<c9>···DW_AT_name········:·(strp)·(offset:·0x23163):·__int128·unsigned | 111 | ····<c9>···DW_AT_name········:·(strp)·(offset:·0x23163):·__int128·unsigned |
112 | ·<1><cd>:·Abbrev·Number:·0 | 112 | ·<1><cd>:·Abbrev·Number:·0 |
113 | ··Compilation·Unit·@·offset·0xce: | 113 | ··Compilation·Unit·@·offset·0xce: |
114 | ···Length:········0xff6·(32-bit) | 114 | ···Length:········0xff6·(32-bit) |
Offset 807, 29 lines modified | Offset 807, 29 lines modified | ||
807 | ····<457>···DW_AT_name········:·(strp)·(offset:·0x1ecef):·_IO_read_end | 807 | ····<457>···DW_AT_name········:·(strp)·(offset:·0x1ecef):·_IO_read_end |
808 | ····<45b>···DW_AT_decl_file···:·(data1)·69 | 808 | ····<45b>···DW_AT_decl_file···:·(data1)·69 |
809 | ····<45c>···DW_AT_decl_line···:·(data1)·55 | 809 | ····<45c>···DW_AT_decl_line···:·(data1)·55 |
810 | ····<45d>···DW_AT_decl_column·:·(data1)·9 | 810 | ····<45d>···DW_AT_decl_column·:·(data1)·9 |
811 | ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d> | 811 | ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d> |
812 | ····<45f>···DW_AT_data_member_location:·(data1)·16 | 812 | ····<45f>···DW_AT_data_member_location:·(data1)·16 |
813 | ·<2><460>:·Abbrev·Number:·71·(DW_TAG_member) | 813 | ·<2><460>:·Abbrev·Number:·71·(DW_TAG_member) |
814 | ····<461>···DW_AT_name········:·(strp)·(offset:·0x104 | 814 | ····<461>···DW_AT_name········:·(strp)·(offset:·0x10422):·_IO_read_base |
815 | ····<465>···DW_AT_decl_file···:·(data1)·69 | 815 | ····<465>···DW_AT_decl_file···:·(data1)·69 |
816 | ····<466>···DW_AT_decl_line···:·(data1)·56 | 816 | ····<466>···DW_AT_decl_line···:·(data1)·56 |
817 | ····<467>···DW_AT_decl_column·:·(data1)·9 | 817 | ····<467>···DW_AT_decl_column·:·(data1)·9 |
818 | ····<468>···DW_AT_type········:·(ref_udata)·<0x13d> | 818 | ····<468>···DW_AT_type········:·(ref_udata)·<0x13d> |
819 | ····<469>···DW_AT_data_member_location:·(data1)·24 | 819 | ····<469>···DW_AT_data_member_location:·(data1)·24 |
820 | ·<2><46a>:·Abbrev·Number:·71·(DW_TAG_member) | 820 | ·<2><46a>:·Abbrev·Number:·71·(DW_TAG_member) |
821 | ····<46b>···DW_AT_name········:·(strp)·(offset:·0x50d3):·_IO_write_base | 821 | ····<46b>···DW_AT_name········:·(strp)·(offset:·0x50d3):·_IO_write_base |
822 | ····<46f>···DW_AT_decl_file···:·(data1)·69 | 822 | ····<46f>···DW_AT_decl_file···:·(data1)·69 |
823 | ····<470>···DW_AT_decl_line···:·(data1)·57 | 823 | ····<470>···DW_AT_decl_line···:·(data1)·57 |
824 | ····<471>···DW_AT_decl_column·:·(data1)·9 | 824 | ····<471>···DW_AT_decl_column·:·(data1)·9 |
825 | ····<472>···DW_AT_type········:·(ref_udata)·<0x13d> | 825 | ····<472>···DW_AT_type········:·(ref_udata)·<0x13d> |
826 | ····<473>···DW_AT_data_member_location:·(data1)·32 | 826 | ····<473>···DW_AT_data_member_location:·(data1)·32 |
827 | ·<2><474>:·Abbrev·Number:·71·(DW_TAG_member) | 827 | ·<2><474>:·Abbrev·Number:·71·(DW_TAG_member) |
828 | ····<475>···DW_AT_name········:·(strp)·(offset:·0xfa | 828 | ····<475>···DW_AT_name········:·(strp)·(offset:·0xfac6):·_IO_write_ptr |
829 | ····<479>···DW_AT_decl_file···:·(data1)·69 | 829 | ····<479>···DW_AT_decl_file···:·(data1)·69 |
830 | ····<47a>···DW_AT_decl_line···:·(data1)·58 | 830 | ····<47a>···DW_AT_decl_line···:·(data1)·58 |
831 | ····<47b>···DW_AT_decl_column·:·(data1)·9 | 831 | ····<47b>···DW_AT_decl_column·:·(data1)·9 |
832 | ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d> | 832 | ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d> |
833 | ····<47d>···DW_AT_data_member_location:·(data1)·40 | 833 | ····<47d>···DW_AT_data_member_location:·(data1)·40 |
834 | ·<2><47e>:·Abbrev·Number:·71·(DW_TAG_member) | 834 | ·<2><47e>:·Abbrev·Number:·71·(DW_TAG_member) |
835 | ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe12c):·_IO_write_end | 835 | ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe12c):·_IO_write_end |
Offset 842, 36 lines modified | Offset 842, 36 lines modified | ||
842 | ····<489>···DW_AT_name········:·(strp)·(offset:·0xb3da):·_IO_buf_base | 842 | ····<489>···DW_AT_name········:·(strp)·(offset:·0xb3da):·_IO_buf_base |
843 | ····<48d>···DW_AT_decl_file···:·(data1)·69 | 843 | ····<48d>···DW_AT_decl_file···:·(data1)·69 |
844 | ····<48e>···DW_AT_decl_line···:·(data1)·60 | 844 | ····<48e>···DW_AT_decl_line···:·(data1)·60 |
845 | ····<48f>···DW_AT_decl_column·:·(data1)·9 | 845 | ····<48f>···DW_AT_decl_column·:·(data1)·9 |
846 | ····<490>···DW_AT_type········:·(ref_udata)·<0x13d> | 846 | ····<490>···DW_AT_type········:·(ref_udata)·<0x13d> |
847 | ····<491>···DW_AT_data_member_location:·(data1)·56 | 847 | ····<491>···DW_AT_data_member_location:·(data1)·56 |
848 | ·<2><492>:·Abbrev·Number:·71·(DW_TAG_member) | 848 | ·<2><492>:·Abbrev·Number:·71·(DW_TAG_member) |
849 | ····<493>···DW_AT_name········:·(strp)·(offset:·0x151 | 849 | ····<493>···DW_AT_name········:·(strp)·(offset:·0x15181):·_IO_buf_end |
850 | ····<497>···DW_AT_decl_file···:·(data1)·69 | 850 | ····<497>···DW_AT_decl_file···:·(data1)·69 |
851 | ····<498>···DW_AT_decl_line···:·(data1)·61 | 851 | ····<498>···DW_AT_decl_line···:·(data1)·61 |
852 | ····<499>···DW_AT_decl_column·:·(data1)·9 | 852 | ····<499>···DW_AT_decl_column·:·(data1)·9 |
853 | ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d> | 853 | ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d> |
854 | ····<49b>···DW_AT_data_member_location:·(data1)·64 | 854 | ····<49b>···DW_AT_data_member_location:·(data1)·64 |
855 | ·<2><49c>:·Abbrev·Number:·71·(DW_TAG_member) | 855 | ·<2><49c>:·Abbrev·Number:·71·(DW_TAG_member) |
856 | ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe19f):·_IO_save_base | 856 | ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe19f):·_IO_save_base |
857 | ····<4a1>···DW_AT_decl_file···:·(data1)·69 | 857 | ····<4a1>···DW_AT_decl_file···:·(data1)·69 |
858 | ····<4a2>···DW_AT_decl_line···:·(data1)·64 | 858 | ····<4a2>···DW_AT_decl_line···:·(data1)·64 |
859 | ····<4a3>···DW_AT_decl_column·:·(data1)·9 | 859 | ····<4a3>···DW_AT_decl_column·:·(data1)·9 |
860 | ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d> | 860 | ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d> |
861 | ····<4a5>···DW_AT_data_member_location:·(data1)·72 | 861 | ····<4a5>···DW_AT_data_member_location:·(data1)·72 |
862 | ·<2><4a6>:·Abbrev·Number:·71·(DW_TAG_member) | 862 | ·<2><4a6>:·Abbrev·Number:·71·(DW_TAG_member) |
863 | ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x10c | 863 | ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x10ce9):·_IO_backup_base |
864 | ····<4ab>···DW_AT_decl_file···:·(data1)·69 | 864 | ····<4ab>···DW_AT_decl_file···:·(data1)·69 |
865 | ····<4ac>···DW_AT_decl_line···:·(data1)·65 | 865 | ····<4ac>···DW_AT_decl_line···:·(data1)·65 |
866 | ····<4ad>···DW_AT_decl_column·:·(data1)·9 | 866 | ····<4ad>···DW_AT_decl_column·:·(data1)·9 |
867 | ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d> | 867 | ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d> |
868 | ····<4af>···DW_AT_data_member_location:·(data1)·80 | 868 | ····<4af>···DW_AT_data_member_location:·(data1)·80 |
869 | ·<2><4b0>:·Abbrev·Number:·71·(DW_TAG_member) | 869 | ·<2><4b0>:·Abbrev·Number:·71·(DW_TAG_member) |
870 | ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x189 | 870 | ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x189ec):·_IO_save_end |
871 | ····<4b5>···DW_AT_decl_file···:·(data1)·69 | 871 | ····<4b5>···DW_AT_decl_file···:·(data1)·69 |
872 | ····<4b6>···DW_AT_decl_line···:·(data1)·66 | 872 | ····<4b6>···DW_AT_decl_line···:·(data1)·66 |
873 | ····<4b7>···DW_AT_decl_column·:·(data1)·9 | 873 | ····<4b7>···DW_AT_decl_column·:·(data1)·9 |
874 | ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d> | 874 | ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d> |
875 | ····<4b9>···DW_AT_data_member_location:·(data1)·88 | 875 | ····<4b9>···DW_AT_data_member_location:·(data1)·88 |
876 | ·<2><4ba>:·Abbrev·Number:·71·(DW_TAG_member) | 876 | ·<2><4ba>:·Abbrev·Number:·71·(DW_TAG_member) |
877 | ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4b2b):·_markers | 877 | ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4b2b):·_markers |
Offset 884, 15 lines modified | Offset 884, 15 lines modified | ||
884 | ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83a230):·_chain | 884 | ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83a230):·_chain |
885 | ····<4ca>···DW_AT_decl_file···:·(data1)·69 | 885 | ····<4ca>···DW_AT_decl_file···:·(data1)·69 |
886 | ····<4cb>···DW_AT_decl_line···:·(data1)·70 | 886 | ····<4cb>···DW_AT_decl_line···:·(data1)·70 |
887 | ····<4cc>···DW_AT_decl_column·:·(data1)·20 | 887 | ····<4cc>···DW_AT_decl_column·:·(data1)·20 |
888 | ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0> | 888 | ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0> |
889 | ····<4cf>···DW_AT_data_member_location:·(data1)·104 | 889 | ····<4cf>···DW_AT_data_member_location:·(data1)·104 |
890 | ·<2><4d0>:·Abbrev·Number:·51·(DW_TAG_member) | 890 | ·<2><4d0>:·Abbrev·Number:·51·(DW_TAG_member) |
891 | ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x19c | 891 | ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x19c2b):·_fileno |
892 | ····<4d5>···DW_AT_decl_file···:·(data1)·69 | 892 | ····<4d5>···DW_AT_decl_file···:·(data1)·69 |
893 | ····<4d6>···DW_AT_decl_line···:·(data1)·72 | 893 | ····<4d6>···DW_AT_decl_line···:·(data1)·72 |
894 | ····<4d7>···DW_AT_decl_column·:·(data1)·7 | 894 | ····<4d7>···DW_AT_decl_column·:·(data1)·7 |
895 | ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int | 895 | ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int |
896 | ····<4dc>···DW_AT_data_member_location:·(data1)·112 | 896 | ····<4dc>···DW_AT_data_member_location:·(data1)·112 |
897 | ·<2><4dd>:·Abbrev·Number:·51·(DW_TAG_member) | 897 | ·<2><4dd>:·Abbrev·Number:·51·(DW_TAG_member) |
898 | ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1be4d):·_flags2 | 898 | ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1be4d):·_flags2 |
Offset 905, 29 lines modified | Offset 905, 29 lines modified | ||
Max diff block lines reached; 25373844/25380880 bytes (99.97%) of diff not shown. |
Offset 1530, 16 lines modified | Offset 1530, 16 lines modified | ||
1530 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 | 1530 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 |
1531 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 1531 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
1532 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 1532 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
1533 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 1533 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
1534 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 | 1534 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 |
1535 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 1535 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
1536 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 1536 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
1537 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 1537 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
1538 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 1538 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
1539 | ··Offset:······················0x1960 | 1539 | ··Offset:······················0x1960 |
1540 | ··Version:·····················5 | 1540 | ··Version:·····················5 |
1541 | ··Offset·size:·················4 | 1541 | ··Offset·size:·················4 |
1542 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 | 1542 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 |
1543 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 | 1543 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 |
Offset 52240, 16 lines modified | Offset 52240, 16 lines modified | ||
52240 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1 | 52240 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1 |
52241 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 52241 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
52242 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 52242 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
52243 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 52243 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
52244 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 | 52244 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 |
52245 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 52245 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
52246 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 52246 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
52247 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 52247 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
52248 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 52248 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
52249 | ··Offset:······················0x48a32 | 52249 | ··Offset:······················0x48a32 |
52250 | ··Version:·····················5 | 52250 | ··Version:·····················5 |
52251 | ··Offset·size:·················4 | 52251 | ··Offset·size:·················4 |
52252 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H· | 52252 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H· |
52253 | ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_· | 52253 | ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_· |
Offset 1316348, 15 lines modified | Offset 1316348, 19 lines modified | ||
1316348 | ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H· | 1316348 | ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H· |
1316349 | ·DW_MACRO_start_file·-·lineno:·24·filenum:·42 | 1316349 | ·DW_MACRO_start_file·-·lineno:·24·filenum:·42 |
1316350 | ·DW_MACRO_end_file | 1316350 | ·DW_MACRO_end_file |
1316351 | ·DW_MACRO_import·-·offset·:·0x5196a | 1316351 | ·DW_MACRO_import·-·offset·:·0x5196a |
1316352 | ·DW_MACRO_end_file | 1316352 | ·DW_MACRO_end_file |
1316353 | ·DW_MACRO_start_file·-·lineno:·49·filenum:·136 | 1316353 | ·DW_MACRO_start_file·-·lineno:·49·filenum:·136 |
1316354 | ·DW_MACRO_end_file | 1316354 | ·DW_MACRO_end_file |
1316355 | ·DW_MACRO_start_file·-·lineno:·50·filenum:·31 | ||
1316356 | ·DW_MACRO_end_file | ||
1316357 | ·DW_MACRO_start_file·-·lineno:·51·filenum:·112 | ||
1316358 | ·DW_MACRO_end_file | ||
1316355 | ·DW_MACRO_start_file·-·lineno:·5 | 1316359 | ·DW_MACRO_start_file·-·lineno:·54·filenum:·291 |
1316356 | ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1 | 1316360 | ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1 |
1316357 | ·DW_MACRO_start_file·-·lineno:·41·filenum:·14 | 1316361 | ·DW_MACRO_start_file·-·lineno:·41·filenum:·14 |
1316358 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H· | 1316362 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H· |
1316359 | ·DW_MACRO_start_file·-·lineno:·33·filenum:·15 | 1316363 | ·DW_MACRO_start_file·-·lineno:·33·filenum:·15 |
1316360 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1 | 1316364 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1 |
1316361 | ·DW_MACRO_start_file·-·lineno:·35·filenum:·16 | 1316365 | ·DW_MACRO_start_file·-·lineno:·35·filenum:·16 |
1316362 | ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1 | 1316366 | ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1 |
Offset 1316364, 18 lines modified | Offset 1316368, 14 lines modified | ||
1316364 | ·DW_MACRO_end_file | 1316368 | ·DW_MACRO_end_file |
1316365 | ·DW_MACRO_end_file | 1316369 | ·DW_MACRO_end_file |
1316366 | ·DW_MACRO_import·-·offset·:·0x9c74 | 1316370 | ·DW_MACRO_import·-·offset·:·0x9c74 |
1316367 | ·DW_MACRO_start_file·-·lineno:·56·filenum:·177 | 1316371 | ·DW_MACRO_start_file·-·lineno:·56·filenum:·177 |
1316368 | ·DW_MACRO_import·-·offset·:·0x4f9575 | 1316372 | ·DW_MACRO_import·-·offset·:·0x4f9575 |
1316369 | ·DW_MACRO_end_file | 1316373 | ·DW_MACRO_end_file |
1316370 | ·DW_MACRO_end_file | 1316374 | ·DW_MACRO_end_file |
1316371 | ·DW_MACRO_start_file·-·lineno:·53·filenum:·31 | ||
1316372 | ·DW_MACRO_end_file | ||
1316373 | ·DW_MACRO_start_file·-·lineno:·54·filenum:·112 | ||
1316374 | ·DW_MACRO_end_file | ||
1316375 | ·DW_MACRO_start_file·-·lineno:·57·filenum:·83 | 1316375 | ·DW_MACRO_start_file·-·lineno:·57·filenum:·83 |
1316376 | ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring· | 1316376 | ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring· |
1316377 | ·DW_MACRO_start_file·-·lineno:·42·filenum:·177 | 1316377 | ·DW_MACRO_start_file·-·lineno:·42·filenum:·177 |
1316378 | ·DW_MACRO_import·-·offset·:·0x4f9b61 | 1316378 | ·DW_MACRO_import·-·offset·:·0x4f9b61 |
1316379 | ·DW_MACRO_end_file | 1316379 | ·DW_MACRO_end_file |
1316380 | ·DW_MACRO_start_file·-·lineno:·43·filenum:·140 | 1316380 | ·DW_MACRO_start_file·-·lineno:·43·filenum:·140 |
1316381 | ·DW_MACRO_import·-·offset·:·0x10936 | 1316381 | ·DW_MACRO_import·-·offset·:·0x10936 |
Offset 4194297, 8 lines modified | Offset 4194297, 8 lines modified | ||
4194297 | ····00c1b036·v000000000000003·v000000000000000·location·view·pair | 4194297 | ····00c1b036·v000000000000003·v000000000000000·location·view·pair |
4194298 | ····00c1b038·v000000000000003·v000000000000000·views·at·00c1b036·for: | 4194298 | ····00c1b038·v000000000000003·v000000000000000·views·at·00c1b036·for: |
4194299 | ·············0000000000622715·000000000062272c·(DW_OP_reg5·(rdi)) | 4194299 | ·············0000000000622715·000000000062272c·(DW_OP_reg5·(rdi)) |
4194300 | ····00c1b044·<End·of·list> | 4194300 | ····00c1b044·<End·of·list> |
4194301 | [·Too·much·input·for·diff·(SHA256:· | 4194301 | [·Too·much·input·for·diff·(SHA256:·8d666180298e769dfa72390ab0efd8a05c47a4e24dc52139b26bce6553e965af)·] |
Offset 1, 30368 lines modified | Offset 1, 30088 lines modified | ||
1 | GCC:·(Debian·14.2.0-14)·14.2.0 | 1 | 1GCC:·(Debian·14.2.0-14)·14.2.0 |
2 | HR» #YZMY | 2 | HR» #YZMY |
3 | 2<[6?f@{]yMc | 3 | 2<[6?f@{]yMc |
4 | ?5A_L}B- | 4 | ?5A_L}B- |
5 | p~X)8z50 | 5 | p~X)8z50 |
6 | >_~:A~qW | 6 | >_~:A~qW |
7 | #oH--'~T | 7 | #oH--'~T |
8 | K.Cy?K~r9 | 8 | K.Cy?K~r9 |
9 | Xp~2p{*lM | 9 | Xp~2p{*lM |
10 | gkp[i'Vc | ||
11 | xFu6%zFu1 | ||
12 | *4ezFu55 | ||
13 | P=}%mUMZG{ | ||
14 | JJtmpP2} | ||
15 | /5`VB/e0+ | ||
16 | nefffnWffZqeZ | ||
17 | » ggoW» |ji | ||
18 | 8OW$y*O~ | ||
19 | Fh.*3HW3j | ||
20 | v@h[KS$x'J | ||
21 | y^E0X_·mV2 | ||
22 | nNj<8gtR | ||
23 | 10 | HWK_!]#} | |
11 | 1}mgTP:s" | ||
12 | Frb`[J=k | ||
13 | :*~t*c*w | ||
14 | ?'» S|q3R | ||
15 | *5eVB*5cV | ||
16 | hI0/NrP9 | ||
17 | i)B5nP,/N | ||
18 | 8;7GGp87 | ||
19 | K» X&@*0} | ||
20 | n$hN7» BE | ||
21 | x&Cv[\DV | ||
22 | ;QE|zB,X@ | ||
23 | Ku+y~F?/ | ||
24 | ;» *#KLuMv% | ||
25 | j_L;1"ql" | ||
26 | vpb5UtH's | ||
27 | IOIKwz@*3 | ||
24 | vIq7|» yJd | 28 | vIq7|» yJd1 |
25 | N72$-K&T | ||
26 | >~c5|_Y· | ||
27 | QAO^5uM< | ||
28 | >1W|bNGb | ||
29 | +)7Sh» ,7S | ||
30 | Si*`H.B]? | ||
31 | ?%^J!^>/ | ||
32 | (}=P» %]Bm | ||
33 | s@» rri'l8 | ||
34 | %_s\cxgq! | ||
35 | w@» rri'l | ||
36 | 29 | JP%?b=$j&a | |
30 | D>/hi·T0 | ||
31 | eV,M'"P' | ||
32 | #!?rn1+#n·/ | ||
33 | T+F16a|b | ||
34 | l]`\itNe | ||
35 | HfuICjf3 | ||
36 | X·_Rwe`e | ||
37 | kQ9M4,s| | ||
38 | ^Qi]%h35s | ||
39 | 9I]H/wiR | ||
40 | W/h|+]9^ | ||
41 | ^PZC?O/( | ||
42 | >J`[TW(e | ||
43 | rPN;+)60 | ||
44 | rZ» IQ/QN | ||
37 | D9] | 45 | D9]&RNK-p |
38 | iP6s&*QN | ||
39 | D9].RNK5p | ||
40 | r;$ZY>L1 | ||
41 | ue!=y?`UoD | ||
42 | D9jL,+Cl | ||
43 | .~CsG,/Q | ||
44 | UQI\qKELJ | ||
45 | Q~JU~AI8f | ||
46 | z:_u)cU-; | ||
47 | 46 | Ka67L#~o | |
47 | rUl5Jo5by | ||
48 | @9jB,+Bl | ||
49 | d+.<%3Lp | ||
50 | n.;`_wj& | ||
51 | '<A"QLs8 | ||
52 | jI1jQD-)FT | ||
53 | 6\» "V+-G | ||
54 | M(jO}_=c | ||
55 | vr0}vm[. | ||
56 | &F» .5+>C | ||
57 | >efwfwfv | ||
58 | Z`>Rd^Pl | ||
48 | \1k=GMR8j | 59 | \1k=GMR8j |
60 | jFt$vZJ4 | ||
61 | ydNM97hK | ||
62 | |s]:^j\k | ||
63 | s[5&MY_s1 | ||
64 | m4q]]3zg | ||
65 | sikHD#IP^ | ||
66 | ]*\#3vM* | ||
67 | u,\{ievw | ||
68 | » cI!"XGC | ||
69 | &nJpO&<T | ||
70 | cCt0_Qk} | ||
71 | ~cO-7X%n | ||
72 | 6=xmQ3y2 | ||
73 | &» 8ea"l# | ||
74 | ]'3@>3jf | ||
75 | 7p&@c3gR | ||
76 | <6%eq"K,BV | ||
77 | !Ohz6J"h | ||
78 | sTA2UVG2y | ||
79 | `:\_wS]z | ||
80 | Oh8\V+Tq | ||
81 | e?6\a8\- | ||
82 | JPooX$,G[| | ||
83 | \Un=WU?e | ||
84 | VG}dq,hZ@] | ||
85 | ·{mWTW$D | ||
86 | F{)Bcu]"V | ||
87 | J#u]"Rw\>^ | ||
88 | 13~l~NKj | ||
89 | diX3;Z·/ | ||
49 | A_-@MR8j | ||
50 | [U@l1>cRF | ||
51 | PZu·nIeqKs | ||
52 | ·b[jaE» 6h | ||
53 | VLsQB3R=54 | ||
Max diff block lines reached; 669899/671728 bytes (99.73%) of diff not shown. |