Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
1 | ·d93efc9d9a19607ccd655f0eebcfd4b2·1887004·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb | ||
2 | ·e06b81fbbecd5ae4a1d253d815135df2·108156·math·optional·cvc5_1.1.2-2_amd64.deb | ||
3 | ·e7a294920f83e963d69eb6fe5cc85e4e·183023976·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb | ||
4 | · | 1 | ·7485522998673ad1ba049a16dedc43aa·1887388·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb |
2 | ·7a0a0465bd0115d5671ed40a6ba5cd74·107700·math·optional·cvc5_1.1.2-2_amd64.deb | ||
3 | ·88e552d85450ab37292bb7c38035706f·183019640·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb | ||
4 | ·22c8d66508678aa48fc4adbb8f9293cf·6696856·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 | ·8dad779e9ed4ece23bef2d99d98c0865·4116456·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb | ||
7 | ·3d928da3031a6da54853cb22d3a7bf78·237260·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb | ||
8 | ·5337432d59870d9ae7f8532822167c6f·2664468·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb | ||
9 | · | 6 | ·56f814b903556194aeaff57aaf17fa6e·4116128·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb |
7 | ·c0f129419442a45041f158f42e695b22·237448·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb | ||
8 | ·d003b02c79a1d3bad07ea9f67382dec1·2664312·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb | ||
9 | ·a2034b9873fd05c82643c06ac0ea8a56·339308·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···106392·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:·b98f493e4a07806b66b8b3647db37bb1fb592259 |
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 | /lib64/ld-linux-x86-64.so.2 | 1 | Y"Y/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·39616335·39356139·36393563·63636366·9ac595a9695ccccf | ||
3 | ··0x000000 | 2 | ··0x00000000·38663439·33653461·30373830·36623636·8f493e4a07806b66 |
3 | ··0x00000010·62386233·36343764·62333762·62316662·b8b3647db37bb1fb | ||
4 | ··0x00000020· | 4 | ··0x00000020·35393232·35392e64·65627567·00000000·592259.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·b07bacb1····························.{.. |
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··6695384·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:·0ce73674cf06710fb4d388d17724f6a036827a12 |
Offset 668460, 19 lines modified | Offset 668460, 19 lines modified | ||
668460 | » movl···$0x75,0x12c0(%rsp) | 668460 | » movl···$0x75,0x12c0(%rsp) |
668461 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668461 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668462 | » lea····0x12f0(%rsp),%rdi | 668462 | » lea····0x12f0(%rsp),%rdi |
668463 | » lea····0x12d1f13(%rip),%rsi········ | 668463 | » lea····0x12d1f13(%rip),%rsi········ |
668464 | » movl···$0x76,0x12e8(%rsp) | 668464 | » movl···$0x76,0x12e8(%rsp) |
668465 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668465 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668466 | » lea····0x1318(%rsp),%rdi | 668466 | » lea····0x1318(%rsp),%rdi |
668467 | » lea····0x12c | 668467 | » lea····0x12c3f2c(%rip),%rsi········ |
668468 | » movl···$0x77,0x1310(%rsp) | 668468 | » movl···$0x77,0x1310(%rsp) |
668469 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668469 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668470 | » lea····0x1340(%rsp),%rdi | 668470 | » lea····0x1340(%rsp),%rdi |
668471 | » lea····0x12c | 668471 | » lea····0x12c6292(%rip),%rsi········ |
668472 | » movl···$0x78,0x1338(%rsp) | 668472 | » movl···$0x78,0x1338(%rsp) |
668473 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668473 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668474 | » lea····0x1368(%rsp),%rdi | 668474 | » lea····0x1368(%rsp),%rdi |
668475 | » lea····0x12d0a62(%rip),%rsi········ | 668475 | » lea····0x12d0a62(%rip),%rsi········ |
668476 | » movl···$0x78,0x1360(%rsp) | 668476 | » movl···$0x78,0x1360(%rsp) |
668477 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668477 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668478 | » lea····0x1390(%rsp),%rdi | 668478 | » lea····0x1390(%rsp),%rdi |
Offset 668912, 31 lines modified | Offset 668912, 31 lines modified | ||
668912 | » movl···$0xe4,0x2468(%rsp) | 668912 | » movl···$0xe4,0x2468(%rsp) |
668913 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668913 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668914 | » lea····0x2498(%rsp),%rdi | 668914 | » lea····0x2498(%rsp),%rdi |
668915 | » lea····0x12d134e(%rip),%rsi········ | 668915 | » lea····0x12d134e(%rip),%rsi········ |
668916 | » movl···$0xe5,0x2490(%rsp) | 668916 | » movl···$0xe5,0x2490(%rsp) |
668917 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668917 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668918 | » lea····0x24c0(%rsp),%rdi | 668918 | » lea····0x24c0(%rsp),%rdi |
668919 | » lea····0x12 | 668919 | » lea····0x12c3197(%rip),%rsi········ |
668920 | » movl···$0xe6,0x24b8(%rsp) | 668920 | » movl···$0xe6,0x24b8(%rsp) |
668921 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668921 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668922 | » lea····0x24e8(%rsp),%rdi | 668922 | » lea····0x24e8(%rsp),%rdi |
668923 | » lea····0x12 | 668923 | » lea····0x12d05a2(%rip),%rsi········ |
668924 | » movl···$0xe7,0x24e0(%rsp) | 668924 | » movl···$0xe7,0x24e0(%rsp) |
668925 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668925 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668926 | » lea····0x2510(%rsp),%rdi | 668926 | » lea····0x2510(%rsp),%rdi |
668927 | » lea····0x12cfee5(%rip),%rsi········ | 668927 | » lea····0x12cfee5(%rip),%rsi········ |
668928 | » movl···$0xe7,0x2508(%rsp) | 668928 | » movl···$0xe7,0x2508(%rsp) |
668929 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668929 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668930 | » lea····0x2538(%rsp),%rdi | 668930 | » lea····0x2538(%rsp),%rdi |
668931 | » lea····0x12c | 668931 | » lea····0x12cfecd(%rip),%rsi········ |
668932 | » movl···$0xe8,0x2530(%rsp) | 668932 | » movl···$0xe8,0x2530(%rsp) |
668933 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668933 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668934 | » lea····0x2560(%rsp),%rdi | 668934 | » lea····0x2560(%rsp),%rdi |
668935 | » lea····0x12c | 668935 | » lea····0x12c8dac(%rip),%rsi········ |
668936 | » movl···$0xe9,0x2558(%rsp) | 668936 | » movl···$0xe9,0x2558(%rsp) |
668937 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668937 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668938 | » lea····0x2588(%rsp),%rdi | 668938 | » lea····0x2588(%rsp),%rdi |
668939 | » lea····0x12d0948(%rip),%rsi········ | 668939 | » lea····0x12d0948(%rip),%rsi········ |
668940 | » movl···$0xe9,0x2580(%rsp) | 668940 | » movl···$0xe9,0x2580(%rsp) |
668941 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668941 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668942 | » lea····0x25b0(%rsp),%rdi | 668942 | » lea····0x25b0(%rsp),%rdi |
Offset 668956, 19 lines modified | Offset 668956, 19 lines modified | ||
668956 | » movl···$0xec,0x2620(%rsp) | 668956 | » movl···$0xec,0x2620(%rsp) |
668957 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668957 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668958 | » lea····0x2650(%rsp),%rdi | 668958 | » lea····0x2650(%rsp),%rdi |
668959 | » lea····0x12cfe28(%rip),%rsi········ | 668959 | » lea····0x12cfe28(%rip),%rsi········ |
668960 | » movl···$0xed,0x2648(%rsp) | 668960 | » movl···$0xed,0x2648(%rsp) |
668961 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668961 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668962 | » lea····0x2678(%rsp),%rdi | 668962 | » lea····0x2678(%rsp),%rdi |
668963 | » lea····0x12cf | 668963 | » lea····0x12cfe1e(%rip),%rsi········ |
668964 | » movl···$0xee,0x2670(%rsp) | 668964 | » movl···$0xee,0x2670(%rsp) |
668965 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668965 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668966 | » lea····0x26a0(%rsp),%rdi | 668966 | » lea····0x26a0(%rsp),%rdi |
668967 | » lea····0x12cf | 668967 | » lea····0x12cfa7f(%rip),%rsi········ |
668968 | » movl···$0xef,0x2698(%rsp) | 668968 | » movl···$0xef,0x2698(%rsp) |
668969 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668969 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668970 | » lea····0x26c8(%rsp),%rdi | 668970 | » lea····0x26c8(%rsp),%rdi |
668971 | » lea····0x12cfdf3(%rip),%rsi········ | 668971 | » lea····0x12cfdf3(%rip),%rsi········ |
668972 | » movl···$0xef,0x26c0(%rsp) | 668972 | » movl···$0xef,0x26c0(%rsp) |
668973 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668973 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668974 | » lea····0x26f0(%rsp),%rdi | 668974 | » lea····0x26f0(%rsp),%rdi |
Offset 669340, 19 lines modified | Offset 669340, 19 lines modified | ||
669340 | » movl···$0x148,0x3520(%rsp) | 669340 | » movl···$0x148,0x3520(%rsp) |
669341 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669341 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669342 | » lea····0x3550(%rsp),%rdi | 669342 | » lea····0x3550(%rsp),%rdi |
669343 | » lea····0x12cf510(%rip),%rsi········ | 669343 | » lea····0x12cf510(%rip),%rsi········ |
669344 | » movl···$0x149,0x3548(%rsp) | 669344 | » movl···$0x149,0x3548(%rsp) |
669345 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669345 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669346 | » lea····0x3578(%rsp),%rdi | 669346 | » lea····0x3578(%rsp),%rdi |
669347 | » lea····0x12c | 669347 | » lea····0x12c7622(%rip),%rsi········ |
669348 | » movl···$0x14a,0x3570(%rsp) | 669348 | » movl···$0x14a,0x3570(%rsp) |
669349 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669349 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669350 | » lea····0x35a0(%rsp),%rdi | 669350 | » lea····0x35a0(%rsp),%rdi |
669351 | » lea····0x12c | 669351 | » lea····0x12cf4e7(%rip),%rsi········ |
669352 | » movl···$0x14b,0x3598(%rsp) | 669352 | » movl···$0x14b,0x3598(%rsp) |
669353 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669353 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669354 | » lea····0x35c8(%rsp),%rdi | 669354 | » lea····0x35c8(%rsp),%rdi |
669355 | » lea····0x12d0c86(%rip),%rsi········ | 669355 | » lea····0x12d0c86(%rip),%rsi········ |
669356 | » movl···$0x14b,0x35c0(%rsp) | 669356 | » movl···$0x14b,0x35c0(%rsp) |
669357 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669357 | » call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669358 | » lea····0x35f0(%rsp),%rdi | 669358 | » lea····0x35f0(%rsp),%rdi |
Offset 4194296, 8 lines modified | Offset 4194296, 8 lines modified | ||
4194296 | » cmp····%rbx,-0x188(%rbp) | 4194296 | » cmp····%rbx,-0x188(%rbp) |
4194297 | » je·····d07170·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xeb920> | 4194297 | » je·····d07170·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xeb920> |
4194298 | ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591 | 4194298 | ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591 |
4194299 | » mov····(%rbx),%rsi | 4194299 | » mov····(%rbx),%rsi |
4194300 | ./obj-x86_64-linux-gnu/src/./src/./expr/node.h:1058 | 4194300 | ./obj-x86_64-linux-gnu/src/./src/./expr/node.h:1058 |
4194301 | » mov····(%r12),%rdi | 4194301 | » mov····(%r12),%rdi |
4194302 | ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591 | 4194302 | ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591 |
4194303 | [·Too·much·input·for·diff·(SHA256:· | 4194303 | [·Too·much·input·for·diff·(SHA256:·3a97b1e50269b43f4c97e0f16307b0e5861e1fe2486075ce684a1415595f444b)·] |
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·66363438·32653036·62393731·66333966·f6482e06b971f39f | ||
3 | ··0x000000 | 2 | ··0x00000000·65373336·37346366·30363731·30666234·e73674cf06710fb4 |
3 | ··0x00000010·64333838·64313737·32346636·61303336·d388d17724f6a036 | ||
4 | ··0x00000020·3 | 4 | ··0x00000020·38323761·31322e64·65627567·00000000·827a12.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·03be0c2a····························...* |
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·····1264·2024-03-19·00:06:23.000000·control.tar.xz | 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···235 | 3 | -rw-r--r--···0········0········0···235992·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:·9a2f7120ebb607e36f7aaa713ce642b94ba23fe2 |
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·34323430·37313832·33303030·30363933·4240718230000693 | ||
3 | ··0x000000 | 2 | ··0x00000000·32663731·32306562·62363037·65333666·2f7120ebb607e36f |
3 | ··0x00000010·37616161·37313363·65363432·62393462·7aaa713ce642b94b | ||
4 | ··0x00000020·63 | 4 | ··0x00000020·61323366·65322e64·65627567·00000000·a23fe2.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·3ef564c6····························>.d. |
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·····1676·2024-03-19·00:06:23.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1676·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···337440·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:·2570bdc103ca0840bdffed22fcf2df2bdd925b02 |
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·30646138·63363737·63376237·36343336·0da8c677c7b76436 | ||
3 | ··0x000000 | 2 | ··0x00000000·37306264·63313033·63613038·34306264·70bdc103ca0840bd |
3 | ··0x00000010·66666564·32326663·66326466·32626464·ffed22fcf2df2bdd | ||
4 | ··0x00000020·3 | 4 | ··0x00000020·39323562·30322e64·65627567·00000000·925b02.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·85ae19aa····························.... |
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··1886 | 3 | -rw-r--r--···0········0········0··1886664·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:·2090 | 7 | Installed-Size:·2090 |
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:·b98f493e4a07806b66b8b3647db37bb1fb592259 |
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)··212 | 7 | -rw-r--r--···0·root·········(0)·root·········(0)··2129024·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b9/8f493e4a07806b66b8b3647db37bb1fb592259.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 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·1830 | 3 | -rw-r--r--···0········0········0·183018896·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:·18261 | 7 | Installed-Size:·182610 |
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:·0ce73674cf06710fb4d388d17724f6a036827a12 |
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/0c/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)·18698 | 7 | -rw-r--r--···0·root·········(0)·root·········(0)·186981496·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/0c/e73674cf06710fb4d388d17724f6a036827a12.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:··········1869 | 13 | ··Start·of·section·headers:··········186978936·(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·0xb251 | 1 | There·are·40·section·headers,·starting·at·offset·0xb251278: |
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··········0000000001864780·000570·014ad0·00··WA··0···0·32 | 27 | ··[22]·.data.rel.ro······NOBITS··········0000000001864780·000570·014ad0·00··WA··0···0·32 |
28 | ··[23]·.dynamic··········NOBITS··········0000000001879250·000570·000250·10··WA··4···0··8 | 28 | ··[23]·.dynamic··········NOBITS··········0000000001879250·000570·000250·10··WA··4···0··8 |
29 | ··[24]·.got··············NOBITS··········00000000018794a0·000570·003b50·08··WA··0···0··8 | 29 | ··[24]·.got··············NOBITS··········00000000018794a0·000570·003b50·08··WA··0···0··8 |
30 | ··[25]·.data·············NOBITS··········000000000187d000·000570·008240·00··WA··0···0·32 | 30 | ··[25]·.data·············NOBITS··········000000000187d000·000570·008240·00··WA··0···0·32 |
31 | ··[26]·.bss··············NOBITS··········0000000001885240·000570·001a00·00··WA··0···0·32 | 31 | ··[26]·.bss··············NOBITS··········0000000001885240·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·00dc19·00···C··0···0··8 | 33 | ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dc19·00···C··0···0··8 |
34 | ··[29]·.debug_info·······PROGBITS········0000000000000000·00ded8·881 | 34 | ··[29]·.debug_info·······PROGBITS········0000000000000000·00ded8·8813870·00···C··0···0··8 |
35 | ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·8821 | 35 | ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·8821748·0dc9ab·00···C··0···0··8 |
36 | ··[31]·.debug_line·······PROGBITS········0000000000000000·88fe | 36 | ··[31]·.debug_line·······PROGBITS········0000000000000000·88fe0f8·8726d8·00···C··0···0··8 |
37 | ··[32]·.debug_str········PROGBITS········0000000000000000·9170 | 37 | ··[32]·.debug_str········PROGBITS········0000000000000000·91707d0·3e0064·01·MSC··0···0··8 |
38 | ··[33]·.debug_line_str···PROGBITS········0000000000000000·955 | 38 | ··[33]·.debug_line_str···PROGBITS········0000000000000000·9550838·0028d5·01·MSC··0···0··8 |
39 | ··[34]·.debug_loclists···PROGBITS········0000000000000000·9553 | 39 | ··[34]·.debug_loclists···PROGBITS········0000000000000000·9553110·12960bf·00···C··0···0··8 |
40 | ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e9 | 40 | ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e91d0·16a666·00···C··0···0··8 |
41 | ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a953 | 41 | ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a953838·585e55·00···C··0···0··8 |
42 | ··[37]·.symtab···········SYMTAB··········0000000000000000·aed9 | 42 | ··[37]·.symtab···········SYMTAB··········0000000000000000·aed9690·0ca1a0·18·····38·31780··8 |
43 | ··[38]·.strtab···········STRTAB··········0000000000000000·afa3 | 43 | ··[38]·.strtab···········STRTAB··········0000000000000000·afa3830·2ad8b5·00······0···0··1 |
44 | ··[39]·.shstrtab·········STRTAB··········0000000000000000·b251 | 44 | ··[39]·.shstrtab·········STRTAB··········0000000000000000·b2510e5·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:·0ce73674cf06710fb4d388d17724f6a036827a12 |
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:·29·(DW_TAG_base_type) | 12 | ·<1><15>:·Abbrev·Number:·29·(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:·0x160 | 15 | ····<18>···DW_AT_name········:·(strp)·(offset:·0x160a8):·long·int |
16 | ·<1><1c>:·Abbrev·Number:·29·(DW_TAG_base_type) | 16 | ·<1><1c>:·Abbrev·Number:·29·(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:·0xea17):·long·unsigned·int | 19 | ····<1f>···DW_AT_name········:·(strp)·(offset:·0xea17):·long·unsigned·int |
20 | ·<1><23>:·Abbrev·Number:·29·(DW_TAG_base_type) | 20 | ·<1><23>:·Abbrev·Number:·29·(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:·0x1ad34):·unsigned·char | 23 | ····<26>···DW_AT_name········:·(strp)·(offset:·0x1ad34):·unsigned·char |
24 | ·<1><2a>:·Abbrev·Number:·29·(DW_TAG_base_type) | 24 | ·<1><2a>:·Abbrev·Number:·29·(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:·0x12 | 27 | ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1280f):·short·unsigned·int |
28 | ·<1><31>:·Abbrev·Number:·29·(DW_TAG_base_type) | 28 | ·<1><31>:·Abbrev·Number:·29·(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:·0xc7b8):·unsigned·int | 31 | ····<34>···DW_AT_name········:·(strp)·(offset:·0xc7b8):·unsigned·int |
32 | ·<1><38>:·Abbrev·Number:·29·(DW_TAG_base_type) | 32 | ·<1><38>:·Abbrev·Number:·29·(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:·29·(DW_TAG_base_type) | 100 | ·<1><b8>:·Abbrev·Number:·29·(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:·0x1ff26):·char32_t | 103 | ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1ff26):·char32_t |
104 | ·<1><bf>:·Abbrev·Number:·29·(DW_TAG_base_type) | 104 | ·<1><bf>:·Abbrev·Number:·29·(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:·0x141 | 107 | ····<c2>···DW_AT_name········:·(strp)·(offset:·0x1417e):·__int128 |
108 | ·<1><c6>:·Abbrev·Number:·29·(DW_TAG_base_type) | 108 | ·<1><c6>:·Abbrev·Number:·29·(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:·0x236b8):·__int128·unsigned | 111 | ····<c9>···DW_AT_name········:·(strp)·(offset:·0x236b8):·__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:········0x1006·(32-bit) | 114 | ···Length:········0x1006·(32-bit) |
Offset 807, 29 lines modified | Offset 807, 29 lines modified | ||
807 | ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f13f):·_IO_read_end | 807 | ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f13f):·_IO_read_end |
808 | ····<45e>···DW_AT_decl_file···:·(data1)·69 | 808 | ····<45e>···DW_AT_decl_file···:·(data1)·69 |
809 | ····<45f>···DW_AT_decl_line···:·(data1)·56 | 809 | ····<45f>···DW_AT_decl_line···:·(data1)·56 |
810 | ····<460>···DW_AT_decl_column·:·(data1)·9 | 810 | ····<460>···DW_AT_decl_column·:·(data1)·9 |
811 | ····<461>···DW_AT_type········:·(ref_udata)·<0x13d> | 811 | ····<461>···DW_AT_type········:·(ref_udata)·<0x13d> |
812 | ····<462>···DW_AT_data_member_location:·(data1)·16 | 812 | ····<462>···DW_AT_data_member_location:·(data1)·16 |
813 | ·<2><463>:·Abbrev·Number:·43·(DW_TAG_member) | 813 | ·<2><463>:·Abbrev·Number:·43·(DW_TAG_member) |
814 | ····<464>···DW_AT_name········:·(strp)·(offset:·0x106 | 814 | ····<464>···DW_AT_name········:·(strp)·(offset:·0x1063d):·_IO_read_base |
815 | ····<468>···DW_AT_decl_file···:·(data1)·69 | 815 | ····<468>···DW_AT_decl_file···:·(data1)·69 |
816 | ····<469>···DW_AT_decl_line···:·(data1)·57 | 816 | ····<469>···DW_AT_decl_line···:·(data1)·57 |
817 | ····<46a>···DW_AT_decl_column·:·(data1)·9 | 817 | ····<46a>···DW_AT_decl_column·:·(data1)·9 |
818 | ····<46b>···DW_AT_type········:·(ref_udata)·<0x13d> | 818 | ····<46b>···DW_AT_type········:·(ref_udata)·<0x13d> |
819 | ····<46c>···DW_AT_data_member_location:·(data1)·24 | 819 | ····<46c>···DW_AT_data_member_location:·(data1)·24 |
820 | ·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member) | 820 | ·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member) |
821 | ····<46e>···DW_AT_name········:·(strp)·(offset:·0x519c):·_IO_write_base | 821 | ····<46e>···DW_AT_name········:·(strp)·(offset:·0x519c):·_IO_write_base |
822 | ····<472>···DW_AT_decl_file···:·(data1)·69 | 822 | ····<472>···DW_AT_decl_file···:·(data1)·69 |
823 | ····<473>···DW_AT_decl_line···:·(data1)·58 | 823 | ····<473>···DW_AT_decl_line···:·(data1)·58 |
824 | ····<474>···DW_AT_decl_column·:·(data1)·9 | 824 | ····<474>···DW_AT_decl_column·:·(data1)·9 |
825 | ····<475>···DW_AT_type········:·(ref_udata)·<0x13d> | 825 | ····<475>···DW_AT_type········:·(ref_udata)·<0x13d> |
826 | ····<476>···DW_AT_data_member_location:·(data1)·32 | 826 | ····<476>···DW_AT_data_member_location:·(data1)·32 |
827 | ·<2><477>:·Abbrev·Number:·43·(DW_TAG_member) | 827 | ·<2><477>:·Abbrev·Number:·43·(DW_TAG_member) |
828 | ····<478>···DW_AT_name········:·(strp)·(offset:·0xfc | 828 | ····<478>···DW_AT_name········:·(strp)·(offset:·0xfce5):·_IO_write_ptr |
829 | ····<47c>···DW_AT_decl_file···:·(data1)·69 | 829 | ····<47c>···DW_AT_decl_file···:·(data1)·69 |
830 | ····<47d>···DW_AT_decl_line···:·(data1)·59 | 830 | ····<47d>···DW_AT_decl_line···:·(data1)·59 |
831 | ····<47e>···DW_AT_decl_column·:·(data1)·9 | 831 | ····<47e>···DW_AT_decl_column·:·(data1)·9 |
832 | ····<47f>···DW_AT_type········:·(ref_udata)·<0x13d> | 832 | ····<47f>···DW_AT_type········:·(ref_udata)·<0x13d> |
833 | ····<480>···DW_AT_data_member_location:·(data1)·40 | 833 | ····<480>···DW_AT_data_member_location:·(data1)·40 |
834 | ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member) | 834 | ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member) |
835 | ····<482>···DW_AT_name········:·(strp)·(offset:·0xe2fe):·_IO_write_end | 835 | ····<482>···DW_AT_name········:·(strp)·(offset:·0xe2fe):·_IO_write_end |
Offset 842, 36 lines modified | Offset 842, 36 lines modified | ||
842 | ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb549):·_IO_buf_base | 842 | ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb549):·_IO_buf_base |
843 | ····<490>···DW_AT_decl_file···:·(data1)·69 | 843 | ····<490>···DW_AT_decl_file···:·(data1)·69 |
844 | ····<491>···DW_AT_decl_line···:·(data1)·61 | 844 | ····<491>···DW_AT_decl_line···:·(data1)·61 |
845 | ····<492>···DW_AT_decl_column·:·(data1)·9 | 845 | ····<492>···DW_AT_decl_column·:·(data1)·9 |
846 | ····<493>···DW_AT_type········:·(ref_udata)·<0x13d> | 846 | ····<493>···DW_AT_type········:·(ref_udata)·<0x13d> |
847 | ····<494>···DW_AT_data_member_location:·(data1)·56 | 847 | ····<494>···DW_AT_data_member_location:·(data1)·56 |
848 | ·<2><495>:·Abbrev·Number:·43·(DW_TAG_member) | 848 | ·<2><495>:·Abbrev·Number:·43·(DW_TAG_member) |
849 | ····<496>···DW_AT_name········:·(strp)·(offset:·0x15 | 849 | ····<496>···DW_AT_name········:·(strp)·(offset:·0x15419):·_IO_buf_end |
850 | ····<49a>···DW_AT_decl_file···:·(data1)·69 | 850 | ····<49a>···DW_AT_decl_file···:·(data1)·69 |
851 | ····<49b>···DW_AT_decl_line···:·(data1)·62 | 851 | ····<49b>···DW_AT_decl_line···:·(data1)·62 |
852 | ····<49c>···DW_AT_decl_column·:·(data1)·9 | 852 | ····<49c>···DW_AT_decl_column·:·(data1)·9 |
853 | ····<49d>···DW_AT_type········:·(ref_udata)·<0x13d> | 853 | ····<49d>···DW_AT_type········:·(ref_udata)·<0x13d> |
854 | ····<49e>···DW_AT_data_member_location:·(data1)·64 | 854 | ····<49e>···DW_AT_data_member_location:·(data1)·64 |
855 | ·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member) | 855 | ·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member) |
856 | ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe371):·_IO_save_base | 856 | ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe371):·_IO_save_base |
857 | ····<4a4>···DW_AT_decl_file···:·(data1)·69 | 857 | ····<4a4>···DW_AT_decl_file···:·(data1)·69 |
858 | ····<4a5>···DW_AT_decl_line···:·(data1)·65 | 858 | ····<4a5>···DW_AT_decl_line···:·(data1)·65 |
859 | ····<4a6>···DW_AT_decl_column·:·(data1)·9 | 859 | ····<4a6>···DW_AT_decl_column·:·(data1)·9 |
860 | ····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d> | 860 | ····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d> |
861 | ····<4a8>···DW_AT_data_member_location:·(data1)·72 | 861 | ····<4a8>···DW_AT_data_member_location:·(data1)·72 |
862 | ·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member) | 862 | ·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member) |
863 | ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10 | 863 | ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10f04):·_IO_backup_base |
864 | ····<4ae>···DW_AT_decl_file···:·(data1)·69 | 864 | ····<4ae>···DW_AT_decl_file···:·(data1)·69 |
865 | ····<4af>···DW_AT_decl_line···:·(data1)·66 | 865 | ····<4af>···DW_AT_decl_line···:·(data1)·66 |
866 | ····<4b0>···DW_AT_decl_column·:·(data1)·9 | 866 | ····<4b0>···DW_AT_decl_column·:·(data1)·9 |
867 | ····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d> | 867 | ····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d> |
868 | ····<4b2>···DW_AT_data_member_location:·(data1)·80 | 868 | ····<4b2>···DW_AT_data_member_location:·(data1)·80 |
869 | ·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member) | 869 | ·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member) |
870 | ····<4b4>···DW_AT_name········:·(strp)·(offset:·0x18d | 870 | ····<4b4>···DW_AT_name········:·(strp)·(offset:·0x18d37):·_IO_save_end |
871 | ····<4b8>···DW_AT_decl_file···:·(data1)·69 | 871 | ····<4b8>···DW_AT_decl_file···:·(data1)·69 |
872 | ····<4b9>···DW_AT_decl_line···:·(data1)·67 | 872 | ····<4b9>···DW_AT_decl_line···:·(data1)·67 |
873 | ····<4ba>···DW_AT_decl_column·:·(data1)·9 | 873 | ····<4ba>···DW_AT_decl_column·:·(data1)·9 |
874 | ····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d> | 874 | ····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d> |
875 | ····<4bc>···DW_AT_data_member_location:·(data1)·88 | 875 | ····<4bc>···DW_AT_data_member_location:·(data1)·88 |
876 | ·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member) | 876 | ·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member) |
877 | ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4be3):·_markers | 877 | ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4be3):·_markers |
Offset 884, 58 lines modified | Offset 884, 58 lines modified | ||
884 | ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac52):·_chain | 884 | ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac52):·_chain |
885 | ····<4cd>···DW_AT_decl_file···:·(data1)·69 | 885 | ····<4cd>···DW_AT_decl_file···:·(data1)·69 |
886 | ····<4ce>···DW_AT_decl_line···:·(data1)·71 | 886 | ····<4ce>···DW_AT_decl_line···:·(data1)·71 |
887 | ····<4cf>···DW_AT_decl_column·:·(data1)·20 | 887 | ····<4cf>···DW_AT_decl_column·:·(data1)·20 |
888 | ····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0> | 888 | ····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0> |
889 | ····<4d2>···DW_AT_data_member_location:·(data1)·104 | 889 | ····<4d2>···DW_AT_data_member_location:·(data1)·104 |
890 | ·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member) | 890 | ·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member) |
891 | ····<4d4>···DW_AT_name········:·(strp)·(offset:·0x19f | 891 | ····<4d4>···DW_AT_name········:·(strp)·(offset:·0x19fe8):·_fileno |
892 | ····<4d8>···DW_AT_decl_file···:·(data1)·69 | 892 | ····<4d8>···DW_AT_decl_file···:·(data1)·69 |
893 | ····<4d9>···DW_AT_decl_line···:·(data1)·73 | 893 | ····<4d9>···DW_AT_decl_line···:·(data1)·73 |
894 | ····<4da>···DW_AT_decl_column·:·(data1)·7 | 894 | ····<4da>···DW_AT_decl_column·:·(data1)·7 |
895 | ····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int | 895 | ····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int |
896 | ····<4df>···DW_AT_data_member_location:·(data1)·112 | 896 | ····<4df>···DW_AT_data_member_location:·(data1)·112 |
897 | ·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member) | 897 | ·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member) |
898 | ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c219):·_flags2 | 898 | ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c219):·_flags2 |
899 | ····<4e5>···DW_AT_decl_file···:·(data1)·69 | 899 | ····<4e5>···DW_AT_decl_file···:·(data1)·69 |
Max diff block lines reached; 25374023/25381125 bytes (99.97%) of diff not shown. |
Offset 1568, 16 lines modified | Offset 1568, 16 lines modified | ||
1568 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 | 1568 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 |
1569 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 1569 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
1570 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 1570 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
1571 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 1571 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
1572 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 | 1572 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 |
1573 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 1573 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
1574 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 1574 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
1575 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 1575 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
1576 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 1576 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
1577 | ··Offset:······················0x19e8 | 1577 | ··Offset:······················0x19e8 |
1578 | ··Version:·····················5 | 1578 | ··Version:·····················5 |
1579 | ··Offset·size:·················4 | 1579 | ··Offset·size:·················4 |
1580 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 | 1580 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 |
1581 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 | 1581 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 |
Offset 52750, 16 lines modified | Offset 52750, 16 lines modified | ||
52750 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1 | 52750 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1 |
52751 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 52751 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
52752 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 52752 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
52753 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 52753 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
52754 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 | 52754 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 |
52755 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 52755 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
52756 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 52756 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
52757 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 52757 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
52758 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 52758 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
52759 | ··Offset:······················0x4914f | 52759 | ··Offset:······················0x4914f |
52760 | ··Version:·····················5 | 52760 | ··Version:·····················5 |
52761 | ··Offset·size:·················4 | 52761 | ··Offset·size:·················4 |
52762 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H· | 52762 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H· |
52763 | ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_· | 52763 | ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_· |
Offset 1342746, 17 lines modified | Offset 1342746, 19 lines modified | ||
1342746 | ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H· | 1342746 | ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H· |
1342747 | ·DW_MACRO_start_file·-·lineno:·24·filenum:·42 | 1342747 | ·DW_MACRO_start_file·-·lineno:·24·filenum:·42 |
1342748 | ·DW_MACRO_end_file | 1342748 | ·DW_MACRO_end_file |
1342749 | ·DW_MACRO_import·-·offset·:·0x52260 | 1342749 | ·DW_MACRO_import·-·offset·:·0x52260 |
1342750 | ·DW_MACRO_end_file | 1342750 | ·DW_MACRO_end_file |
1342751 | ·DW_MACRO_start_file·-·lineno:·49·filenum:·136 | 1342751 | ·DW_MACRO_start_file·-·lineno:·49·filenum:·136 |
1342752 | ·DW_MACRO_end_file | 1342752 | ·DW_MACRO_end_file |
1342753 | ·DW_MACRO_start_file·-·lineno:·5 | 1342753 | ·DW_MACRO_start_file·-·lineno:·51·filenum:·31 |
1342754 | ·DW_MACRO_end_file | ||
1342755 | ·DW_MACRO_start_file·-·lineno:·52·filenum:·112 | ||
1342754 | ·DW_MACRO_end_file | 1342756 | ·DW_MACRO_end_file |
1342755 | ·DW_MACRO_start_file·-·lineno:·5 | 1342757 | ·DW_MACRO_start_file·-·lineno:·53·filenum:·303 |
1342756 | ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1 | 1342758 | ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1 |
1342757 | ·DW_MACRO_start_file·-·lineno:·41·filenum:·14 | 1342759 | ·DW_MACRO_start_file·-·lineno:·41·filenum:·14 |
1342758 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H· | 1342760 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H· |
1342759 | ·DW_MACRO_start_file·-·lineno:·33·filenum:·15 | 1342761 | ·DW_MACRO_start_file·-·lineno:·33·filenum:·15 |
1342760 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1 | 1342762 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1 |
1342761 | ·DW_MACRO_start_file·-·lineno:·35·filenum:·16 | 1342763 | ·DW_MACRO_start_file·-·lineno:·35·filenum:·16 |
1342762 | ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1 | 1342764 | ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1 |
Offset 1342764, 16 lines modified | Offset 1342766, 14 lines modified | ||
1342764 | ·DW_MACRO_end_file | 1342766 | ·DW_MACRO_end_file |
1342765 | ·DW_MACRO_end_file | 1342767 | ·DW_MACRO_end_file |
1342766 | ·DW_MACRO_import·-·offset·:·0x9e10 | 1342768 | ·DW_MACRO_import·-·offset·:·0x9e10 |
1342767 | ·DW_MACRO_start_file·-·lineno:·56·filenum:·177 | 1342769 | ·DW_MACRO_start_file·-·lineno:·56·filenum:·177 |
1342768 | ·DW_MACRO_import·-·offset·:·0x510820 | 1342770 | ·DW_MACRO_import·-·offset·:·0x510820 |
1342769 | ·DW_MACRO_end_file | 1342771 | ·DW_MACRO_end_file |
1342770 | ·DW_MACRO_end_file | 1342772 | ·DW_MACRO_end_file |
1342771 | ·DW_MACRO_start_file·-·lineno:·54·filenum:·112 | ||
1342772 | ·DW_MACRO_end_file | ||
1342773 | ·DW_MACRO_start_file·-·lineno:·57·filenum:·83 | 1342773 | ·DW_MACRO_start_file·-·lineno:·57·filenum:·83 |
1342774 | ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring· | 1342774 | ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring· |
1342775 | ·DW_MACRO_start_file·-·lineno:·42·filenum:·177 | 1342775 | ·DW_MACRO_start_file·-·lineno:·42·filenum:·177 |
1342776 | ·DW_MACRO_import·-·offset·:·0x510e0c | 1342776 | ·DW_MACRO_import·-·offset·:·0x510e0c |
1342777 | ·DW_MACRO_end_file | 1342777 | ·DW_MACRO_end_file |
1342778 | ·DW_MACRO_start_file·-·lineno:·43·filenum:·140 | 1342778 | ·DW_MACRO_start_file·-·lineno:·43·filenum:·140 |
1342779 | ·DW_MACRO_import·-·offset·:·0x10b8a | 1342779 | ·DW_MACRO_import·-·offset·:·0x10b8a |
Offset 4194297, 8 lines modified | Offset 4194297, 8 lines modified | ||
4194297 | ····00c1aa78·v000000000000000·v000000000000000·views·at·00c1aa76·for: | 4194297 | ····00c1aa78·v000000000000000·v000000000000000·views·at·00c1aa76·for: |
4194298 | ·············00000000006223e3·0000000000622422·(DW_OP_reg13·(r13)) | 4194298 | ·············00000000006223e3·0000000000622422·(DW_OP_reg13·(r13)) |
4194299 | ····00c1aa84·<End·of·list> | 4194299 | ····00c1aa84·<End·of·list> |
4194300 | ····00c1aa85·v000000000000000·v000000000000000·location·view·pair | 4194300 | ····00c1aa85·v000000000000000·v000000000000000·location·view·pair |
4194301 | [·Too·much·input·for·diff·(SHA256:· | 4194301 | [·Too·much·input·for·diff·(SHA256:·c71d9cdc5a09389892f7e511d35687a60a0838910f4b3d5fc726b6d47644446c)·] |
Offset 1, 30087 lines modified | Offset 1, 30111 lines modified | ||
1 | GCC:·(Debian·14.2.0-19)·14.2.0 | 1 | GCC:·(Debian·14.2.0-19)·14.2.0 |
2 | }ggfggy< | 2 | }ggfggy< |
3 | O.P__\{e | 3 | O.P__\{e |
4 | o3~c`moG} | 4 | o3~c`moG} |
5 | Fd~y_)K^%t | 5 | Fd~y_)K^%t |
6 | #w{`~U=s; | 6 | #w{`~U=s; |
7 | {rW~V{l5 | ||
8 | |\QiAcdG | ||
9 | p*7e,*?) | ||
10 | BXZXnpnpZ | ||
11 | IEGH*:Bz | ||
12 | ktD3BGd9 | ||
13 | Zd~T&LqG% | ||
14 | uLsx0*;,: | ||
15 | |m-(*^#% | ||
16 | ]G~F9lZ6 | ||
17 | "j}]}=}y/ | ||
18 | RC7Cvo2{) | ||
19 | (N3Mqnq: | ||
20 | L,?7@?rp | ||
21 | >EpIzUj\'0 | ||
22 | d?s*n+$;4 | ||
23 | MK8gk?FU | ||
24 | cfbEpL/Z | ||
25 | 88:`(gSie | ||
26 | Pm&5sdze | ||
27 | xA:;2,wTh | ||
28 | ^csz]iT; | ||
29 | 7 | }W4P6Sy?072ay!) | |
8 | 8ux\Oq1XSq | ||
9 | _kk_r\tu | ||
10 | F;KY#|TN | ||
11 | IZ*ezPF; | ||
12 | !"W>LpCd | ||
13 | ma2LTMW9 | ||
14 | rY{st3L7 | ||
15 | q8]V&)"K | ||
16 | » U},6n_6 | ||
17 | \KiHYAt1 | ||
18 | ILssH<5( | ||
19 | &W*Pv1WL | ||
20 | -te» YKks | ||
21 | |LqJ·/hg | ||
22 | a=s-0<pl | ||
23 | QN7lDdUj | ||
24 | uV!pW2n; | ||
25 | f>alO2)' | ||
26 | $%F_p{vL~= | ||
27 | 5C`5#_Kp | ||
28 | T7nG?J<-\ | ||
29 | sfOEkX=A» | ||
30 | TXDfKK$o!t | ||
31 | !jxTnOQyXI | ||
32 | |<X1Vv5/ | ||
33 | o=)9*)_& | ||
34 | .jd6~N/: | ||
35 | t@» rri'l | ||
36 | w@» rri'l< | ||
37 | GA.;·M?T | ||
30 | @(mQPNSc | 38 | @(mQPNSc |
39 | oQRN+'uQ | ||
31 | hji@9mQPN | ||
32 | 8SN39PN[ | ||
33 | PRNC6M!t | ||
34 | D9]&RNK | 40 | D9]&RNK5p |
41 | v!Ts9Ls!4 | ||
42 | 7p=:D?=g | ||
43 | ou!W]n2Q0kq. | ||
44 | 5&J?/<~[ | ||
45 | ,0.1b:ex | ||
46 | e2}*.Nu4 | ||
47 | f<J5?H3?J | ||
48 | (w49zu@_B | ||
49 | \n=`=L]k | ||
50 | Z5{<FCFyN?) | ||
51 | d2B9k%HA | ||
52 | 1RN/Hlc* | ||
53 | c^·_v#T\ | ||
54 | zpH~·wVP | ||
55 | ${]~y(xQQg | ||
56 | $b.A"61vfl | ||
57 | 70nH·FWx | ||
58 | Z;V1*u\*V | ||
59 | kOR;zirEY | ||
60 | )9)B]NXU | ||
61 | @6;pQ·f!j | ||
62 | |Jy» k}Zy | ||
63 | B]z~b}#3' | ||
64 | :e1?{q6e | ||
65 | 61:k=lR& | ||
66 | k1L[}0Lz | ||
67 | 0],q^.QbW | ||
68 | IRH1%vU0L | ||
69 | OzA|L'ugtE | ||
70 | gi=%-]xW | ||
71 | ^KQ» :OD| | ||
72 | p%EC6dz[ | ||
73 | KktHbO'M | ||
74 | m98J[{^C | ||
75 | #G#u]"Rw< | ||
76 | v1IDew@*j | ||
77 | ._Ud=x^V | ||
78 | ~XhQWP/go | ||
79 | GMKkkx+o | ||
80 | |D$(-|f)S | ||
81 | nr27/wE. | ||
82 | WN&MM^)" | ||
83 | v6vY|So`& | ||
84 | Zk·Vx3bE;J | ||
85 | 3]A|cZc-c | ||
86 | ${O{n_.w | ||
87 | kj<$Kb4g | ||
88 | ·!EROnA~Z | ||
89 | pqb:\c<$ | ||
90 | eO/$WuwP | ||
91 | -}dL<VHJ | ||
92 | $5px*I~d\ | ||
93 | AAh6LbjA | ||
94 | ]{rko^C· | ||
95 | y+q·@GK_ | ||
96 | fL[nH[c4 | ||
97 | zj7E?Go+% | ||
98 | }G$=Oz+Z8 | ||
99 | Z-HUnb4] | ||
100 | 0·Y/Y#]O | ||
101 | PaJ#]x.X | ||
35 | 8SN+rgZg | ||
Max diff block lines reached; 659131/661486 bytes (99.64%) of diff not shown. |