Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
1 | ·67a93a7f81f29e9a56235346c50a4f1d·1884716·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb | ||
2 | ·aae5a6c6c8d5e3b324f23bd7b7078090·108776·math·optional·cvc5_1.1.2-2_amd64.deb | ||
3 | ·11686c2580b45ead2f7babc63d4063fb·183030412·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb | ||
4 | · | 1 | ·bf104b8f4e25bf777a97300377a0bd54·1885544·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb |
2 | ·a301fe7cfaabae6c625c82bdcdcab2fc·107888·math·optional·cvc5_1.1.2-2_amd64.deb | ||
3 | ·5832dc623e4ee182a2b5e5e754bd3637·183030192·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb | ||
4 | ·0b9d59ceee2635d431c10a2aa289c76d·6696960·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 | ·ccbab7267fb9607f8830ce61d7bd75b7·4115724·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb | ||
7 | ·6b8ff2ba8cfa64af8cac03359df2d81b·237076·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb | ||
8 | ·873c3bb51576291f32887be8d68c8129·2665220·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb | ||
9 | · | 6 | ·6473027c0e584e52052b96cb9d122828·4116052·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb |
7 | ·41124e0f8ec9053df76a3ec721019d62·237300·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb | ||
8 | ·4c99e721c16199ced779867a670f5223·2664904·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb | ||
9 | ·8b254407ee1da28553c32be174a412f3·339624·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···10 | 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:·2689715b597c436f8c3b87859e749c94e3b5b53c |
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 | </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·62383033·64663331·32316335·62376361·b803df3121c5b7ca | ||
3 | ··0x000000 | 2 | ··0x00000000·38393731·35623539·37633433·36663863·89715b597c436f8c |
3 | ··0x00000010·33623837·38353965·37343963·39346533·3b87859e749c94e3 | ||
4 | ··0x00000020· | 4 | ··0x00000020·62356235·33632e64·65627567·00000000·b5b53c.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·a5cad497····························.... |
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·····12 | 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··66954 | 3 | -rw-r--r--···0········0········0··6695488·2024-03-19·00:06:23.000000·data.tar.xz |
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 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 |
8701 | 0000000001880ee0··0000000000000008·R_X86_64_RELATIVE·························15a4d5d | 8701 | 0000000001880ee0··0000000000000008·R_X86_64_RELATIVE·························15a4d5d |
8702 | 0000000001880f00··0000000000000008·R_X86_64_RELATIVE·························15a65fc | 8702 | 0000000001880f00··0000000000000008·R_X86_64_RELATIVE·························15a65fc |
8703 | 0000000001880f20··0000000000000008·R_X86_64_RELATIVE·························15a60bf | 8703 | 0000000001880f20··0000000000000008·R_X86_64_RELATIVE·························15a60bf |
8704 | 0000000001880f40··0000000000000008·R_X86_64_RELATIVE·························15a60ca | 8704 | 0000000001880f40··0000000000000008·R_X86_64_RELATIVE·························15a60ca |
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:·4a46644ceec5310ab504e88da12c7768f609316d |
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 668920, 63 lines modified | Offset 668920, 63 lines modified | ||
668920 | » movl···$0xe4,0x2468(%rsp) | 668920 | » movl···$0xe4,0x2468(%rsp) |
668921 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668921 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668922 | » lea····0x2498(%rsp),%rdi | 668922 | » lea····0x2498(%rsp),%rdi |
668923 | » lea····0x12d22be(%rip),%rsi········ | 668923 | » lea····0x12d22be(%rip),%rsi········ |
668924 | » movl···$0xe5,0x2490(%rsp) | 668924 | » movl···$0xe5,0x2490(%rsp) |
668925 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668925 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668926 | » lea····0x24c0(%rsp),%rdi | 668926 | » lea····0x24c0(%rsp),%rdi |
668927 | » lea····0x12 | 668927 | » lea····0x12d1531(%rip),%rsi········ |
668928 | » movl···$0xe6,0x24b8(%rsp) | 668928 | » movl···$0xe6,0x24b8(%rsp) |
668929 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668929 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668930 | » lea····0x24e8(%rsp),%rdi | 668930 | » lea····0x24e8(%rsp),%rdi |
668931 | » lea····0x12 | 668931 | » lea····0x12c40e8(%rip),%rsi········ |
668932 | » movl···$0xe7,0x24e0(%rsp) | 668932 | » movl···$0xe7,0x24e0(%rsp) |
668933 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668933 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668934 | » lea····0x2510(%rsp),%rdi | 668934 | » lea····0x2510(%rsp),%rdi |
668935 | » lea····0x12d0e55(%rip),%rsi········ | 668935 | » lea····0x12d0e55(%rip),%rsi········ |
668936 | » movl···$0xe7,0x2508(%rsp) | 668936 | » movl···$0xe7,0x2508(%rsp) |
668937 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668937 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668938 | » lea····0x2538(%rsp),%rdi | 668938 | » lea····0x2538(%rsp),%rdi |
668939 | » lea····0x12 | 668939 | » lea····0x12d0e3d(%rip),%rsi········ |
668940 | » movl···$0xe8,0x2530(%rsp) | 668940 | » movl···$0xe8,0x2530(%rsp) |
668941 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668941 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668942 | » lea····0x2560(%rsp),%rdi | 668942 | » lea····0x2560(%rsp),%rdi |
668943 | » lea····0x12 | 668943 | » lea····0x12c9d1c(%rip),%rsi········ |
668944 | » movl···$0xe9,0x2558(%rsp) | 668944 | » movl···$0xe9,0x2558(%rsp) |
668945 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668945 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668946 | » lea····0x2588(%rsp),%rdi | 668946 | » lea····0x2588(%rsp),%rdi |
668947 | » lea····0x12d18b8(%rip),%rsi········ | 668947 | » lea····0x12d18b8(%rip),%rsi········ |
668948 | » movl···$0xe9,0x2580(%rsp) | 668948 | » movl···$0xe9,0x2580(%rsp) |
668949 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668949 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668950 | » lea····0x25b0(%rsp),%rdi | 668950 | » lea····0x25b0(%rsp),%rdi |
668951 | » lea····0x12d21f0(%rip),%rsi········ | 668951 | » lea····0x12d21f0(%rip),%rsi········ |
668952 | » movl···$0xea,0x25a8(%rsp) | 668952 | » movl···$0xea,0x25a8(%rsp) |
668953 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668953 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668954 | » lea····0x25d8(%rsp),%rdi | 668954 | » lea····0x25d8(%rsp),%rdi |
668955 | » lea····0x12 | 668955 | » lea····0x12c8044(%rip),%rsi········ |
668956 | » movl···$0xeb,0x25d0(%rsp) | 668956 | » movl···$0xeb,0x25d0(%rsp) |
668957 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668957 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668958 | » lea····0x2600(%rsp),%rdi | 668958 | » lea····0x2600(%rsp),%rdi |
668959 | » lea····0x12 | 668959 | » lea····0x12d0dae(%rip),%rsi········ |
668960 | » movl···$0xec,0x25f8(%rsp) | 668960 | » movl···$0xec,0x25f8(%rsp) |
668961 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668961 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668962 | » lea····0x2628(%rsp),%rdi | 668962 | » lea····0x2628(%rsp),%rdi |
668963 | » lea····0x12d0d9f(%rip),%rsi········ | 668963 | » lea····0x12d0d9f(%rip),%rsi········ |
668964 | » movl···$0xec,0x2620(%rsp) | 668964 | » movl···$0xec,0x2620(%rsp) |
668965 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668965 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668966 | » lea····0x2650(%rsp),%rdi | 668966 | » lea····0x2650(%rsp),%rdi |
668967 | » lea····0x12d0d98(%rip),%rsi········ | 668967 | » lea····0x12d0d98(%rip),%rsi········ |
668968 | » movl···$0xed,0x2648(%rsp) | 668968 | » movl···$0xed,0x2648(%rsp) |
668969 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668969 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668970 | » lea····0x2678(%rsp),%rdi | 668970 | » lea····0x2678(%rsp),%rdi |
668971 | » lea····0x12d0 | 668971 | » lea····0x12d0a0e(%rip),%rsi········ |
668972 | » movl···$0xee,0x2670(%rsp) | 668972 | » movl···$0xee,0x2670(%rsp) |
668973 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668973 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668974 | » lea····0x26a0(%rsp),%rdi | 668974 | » lea····0x26a0(%rsp),%rdi |
668975 | » lea····0x12d0 | 668975 | » lea····0x12d0d6f(%rip),%rsi········ |
668976 | » movl···$0xef,0x2698(%rsp) | 668976 | » movl···$0xef,0x2698(%rsp) |
668977 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668977 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668978 | » lea····0x26c8(%rsp),%rdi | 668978 | » lea····0x26c8(%rsp),%rdi |
668979 | » lea····0x12d0d63(%rip),%rsi········ | 668979 | » lea····0x12d0d63(%rip),%rsi········ |
668980 | » movl···$0xef,0x26c0(%rsp) | 668980 | » movl···$0xef,0x26c0(%rsp) |
668981 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 668981 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
668982 | » lea····0x26f0(%rsp),%rdi | 668982 | » lea····0x26f0(%rsp),%rdi |
Offset 669188, 15 lines modified | Offset 669188, 15 lines modified | ||
669188 | » movl···$0x122,0x2ee0(%rsp) | 669188 | » movl···$0x122,0x2ee0(%rsp) |
669189 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669189 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669190 | » lea····0x2f10(%rsp),%rdi | 669190 | » lea····0x2f10(%rsp),%rdi |
669191 | » lea····0x12d0834(%rip),%rsi········ | 669191 | » lea····0x12d0834(%rip),%rsi········ |
669192 | » movl···$0x123,0x2f08(%rsp) | 669192 | » movl···$0x123,0x2f08(%rsp) |
669193 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669193 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669194 | » lea····0x2f38(%rsp),%rdi | 669194 | » lea····0x2f38(%rsp),%rdi |
669195 | » lea····0x12d082 | 669195 | » lea····0x12d0821(%rip),%rsi········ |
669196 | » movl···$0x124,0x2f30(%rsp) | 669196 | » movl···$0x124,0x2f30(%rsp) |
669197 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669197 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669198 | » lea····0x2f60(%rsp),%rdi | 669198 | » lea····0x2f60(%rsp),%rdi |
669199 | » lea····0x12d146f(%rip),%rsi········ | 669199 | » lea····0x12d146f(%rip),%rsi········ |
669200 | » movl···$0x124,0x2f58(%rsp) | 669200 | » movl···$0x124,0x2f58(%rsp) |
669201 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669201 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669202 | » lea····0x2f88(%rsp),%rdi | 669202 | » lea····0x2f88(%rsp),%rdi |
Offset 669348, 19 lines modified | Offset 669348, 19 lines modified | ||
669348 | » movl···$0x148,0x3520(%rsp) | 669348 | » movl···$0x148,0x3520(%rsp) |
669349 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669349 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669350 | » lea····0x3550(%rsp),%rdi | 669350 | » lea····0x3550(%rsp),%rdi |
669351 | » lea····0x12d0480(%rip),%rsi········ | 669351 | » lea····0x12d0480(%rip),%rsi········ |
669352 | » movl···$0x149,0x3548(%rsp) | 669352 | » movl···$0x149,0x3548(%rsp) |
669353 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669353 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669354 | » lea····0x3578(%rsp),%rdi | 669354 | » lea····0x3578(%rsp),%rdi |
669355 | » lea····0x12 | 669355 | » lea····0x12c8592(%rip),%rsi········ |
669356 | » movl···$0x14a,0x3570(%rsp) | 669356 | » movl···$0x14a,0x3570(%rsp) |
669357 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669357 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669358 | » lea····0x35a0(%rsp),%rdi | 669358 | » lea····0x35a0(%rsp),%rdi |
669359 | » lea····0x12 | 669359 | » lea····0x12d0457(%rip),%rsi········ |
669360 | » movl···$0x14b,0x3598(%rsp) | 669360 | » movl···$0x14b,0x3598(%rsp) |
669361 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669361 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669362 | » lea····0x35c8(%rsp),%rdi | 669362 | » lea····0x35c8(%rsp),%rdi |
669363 | » lea····0x12d1bf6(%rip),%rsi········ | 669363 | » lea····0x12d1bf6(%rip),%rsi········ |
669364 | » movl···$0x14b,0x35c0(%rsp) | 669364 | » movl···$0x14b,0x35c0(%rsp) |
669365 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> | 669365 | » call···13ffb30·<cvc5::internal::Options::Options()@@Base+0x12d0> |
669366 | » lea····0x35f0(%rsp),%rdi | 669366 | » lea····0x35f0(%rsp),%rdi |
Offset 4194296, 8 lines modified | Offset 4194296, 8 lines modified | ||
4194296 | » movq···%r14,%xmm0 | 4194296 | » movq···%r14,%xmm0 |
4194297 | » mov····%r14,0xc8(%rbx) | 4194297 | » mov····%r14,0xc8(%rbx) |
4194298 | » punpcklqdq·%xmm0,%xmm0 | 4194298 | » punpcklqdq·%xmm0,%xmm0 |
4194299 | » movups·%xmm0,0x48(%r14) | 4194299 | » movups·%xmm0,0x48(%r14) |
4194300 | » jmp····d06a7b·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xea7eb> | 4194300 | » jmp····d06a7b·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xea7eb> |
4194301 | /usr/include/c++/14/bits/shared_ptr_base.h:346 | 4194301 | /usr/include/c++/14/bits/shared_ptr_base.h:346 |
4194302 | » mov····0x0(%rbp),%rax | 4194302 | » mov····0x0(%rbp),%rax |
4194303 | [·Too·much·input·for·diff·(SHA256:·a | 4194303 | [·Too·much·input·for·diff·(SHA256:·8977e72af4f510a04abcb5340deaadc1fed224db2dc66190eb6c4d1e9b21ea7b)·] |
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 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 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·31303466·33323666·35313033·36343761·104f326f5103647a | ||
3 | ··0x000000 | 2 | ··0x00000000·34363634·34636565·63353331·30616235·46644ceec5310ab5 |
3 | ··0x00000010·30346538·38646131·32633737·36386636·04e88da12c7768f6 | ||
4 | ··0x00000020·30 | 4 | ··0x00000020·30393331·36642e64·65627567·00000000·09316d.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·5e5471a7····························^Tq. |
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···235 | 3 | -rw-r--r--···0········0········0···235844·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:·9c75c10c416ad6475ffce472337a33a8cff281eb |
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·65653036·61383130·37666433·63663530·ee06a8107fd3cf50 | ||
3 | ··0x000000 | 2 | ··0x00000000·37356331·30633431·36616436·34373566·75c10c416ad6475f |
3 | ··0x00000010·66636534·37323333·37613333·61386366·fce472337a33a8cf | ||
4 | ··0x00000020· | 4 | ··0x00000020·66323831·65622e64·65627567·00000000·f281eb.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·a2ebcec1····························.... |
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···337 | 3 | -rw-r--r--···0········0········0···337752·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:·d846d1e56e9cf645916416e139055f48ce05d668 |
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·39353934·34383635·64303739·62353134·95944865d079b514 | ||
3 | ··0x000000 | 2 | ··0x00000000·34366431·65353665·39636636·34353931·46d1e56e9cf64591 |
3 | ··0x00000010·36343136·65313339·30353566·34386365·6416e139055f48ce | ||
4 | ··0x00000020·3 | 4 | ··0x00000020·30356436·36382e64·65627567·00000000·05d668.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·530a82cc····························S... |
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··188 | 3 | -rw-r--r--···0········0········0··1884820·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:·2089 | 7 | Installed-Size:·2089 |
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:·2689715b597c436f8c3b87859e749c94e3b5b53c |
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/26/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)··2128 | 7 | -rw-r--r--···0·root·········(0)·root·········(0)··2128664·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/26/89715b597c436f8c3b87859e749c94e3b5b53c.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:··········2126 | 13 | ··Start·of·section·headers:··········2126040·(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·0x207 | 1 | There·are·41·section·headers,·starting·at·offset·0x2070d8: |
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·0001f9·00···C··0···0··8 | 34 | ··[29]·.debug_aranges····PROGBITS········0000000000000000·01f670·0001f9·00···C··0···0··8 |
35 | ··[30]·.debug_info·······PROGBITS········0000000000000000·01f870·157 | 35 | ··[30]·.debug_info·······PROGBITS········0000000000000000·01f870·157ae5·00···C··0···0··8 |
36 | ··[31]·.debug_abbrev·····PROGBITS········0000000000000000·1773 | 36 | ··[31]·.debug_abbrev·····PROGBITS········0000000000000000·177358·00357f·00···C··0···0··8 |
37 | ··[32]·.debug_line·······PROGBITS········0000000000000000·17a | 37 | ··[32]·.debug_line·······PROGBITS········0000000000000000·17a8d8·00fc93·00···C··0···0··8 |
38 | ··[33]·.debug_str········PROGBITS········0000000000000000·18a5 | 38 | ··[33]·.debug_str········PROGBITS········0000000000000000·18a570·02f03d·01·MSC··0···0··8 |
39 | ··[34]·.debug_line_str···PROGBITS········0000000000000000·1b9 | 39 | ··[34]·.debug_line_str···PROGBITS········0000000000000000·1b95b0·0007e9·01·MSC··0···0··8 |
40 | ··[35]·.debug_loclists···PROGBITS········0000000000000000·1b9d | 40 | ··[35]·.debug_loclists···PROGBITS········0000000000000000·1b9da0·033212·00···C··0···0··8 |
41 | ··[36]·.debug_macro······PROGBITS········0000000000000000·1e | 41 | ··[36]·.debug_macro······PROGBITS········0000000000000000·1ecfb8·00a104·00···C··0···0··8 |
42 | ··[37]·.debug_rnglists···PROGBITS········0000000000000000·1f7 | 42 | ··[37]·.debug_rnglists···PROGBITS········0000000000000000·1f70c0·009050·00···C··0···0··8 |
43 | ··[38]·.symtab···········SYMTAB··········0000000000000000·2001 | 43 | ··[38]·.symtab···········SYMTAB··········0000000000000000·200110·0025f8·18·····39·116··8 |
44 | ··[39]·.strtab···········STRTAB··········0000000000000000·2027 | 44 | ··[39]·.strtab···········STRTAB··········0000000000000000·202708·00481d·00······0···0··1 |
45 | ··[40]·.shstrtab·········STRTAB··········0000000000000000·206f | 45 | ··[40]·.shstrtab·········STRTAB··········0000000000000000·206f25·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:·2689715b597c436f8c3b87859e749c94e3b5b53c |
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:·30·(DW_TAG_partial_unit) | 9 | ·<0><c>:·Abbrev·Number:·30·(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:·19·(DW_TAG_base_type) | 12 | ·<1><15>:·Abbrev·Number:·19·(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:·0xa34 | 15 | ····<18>···DW_AT_name········:·(strp)·(offset:·0xa3481):·unsigned·char |
16 | ·<1><1c>:·Abbrev·Number:·19·(DW_TAG_base_type) | 16 | ·<1><1c>:·Abbrev·Number:·19·(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:·0x4a3 | 19 | ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a3da):·short·unsigned·int |
20 | ·<1><23>:·Abbrev·Number:·19·(DW_TAG_base_type) | 20 | ·<1><23>:·Abbrev·Number:·19·(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:·0xbb | 23 | ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb62a):·unsigned·int |
24 | ·<1><2a>:·Abbrev·Number:·19·(DW_TAG_base_type) | 24 | ·<1><2a>:·Abbrev·Number:·19·(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:·0x7ce | 27 | ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cec4):·long·unsigned·int |
28 | ·<1><31>:·Abbrev·Number:·40·(DW_TAG_typedef) | 28 | ·<1><31>:·Abbrev·Number:·40·(DW_TAG_typedef) |
29 | ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5e9):·__int8_t | 29 | ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5e9):·__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:·19·(DW_TAG_base_type) | 34 | ·<1><3a>:·Abbrev·Number:·19·(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:·0x716 | 37 | ····<3d>···DW_AT_name········:·(strp)·(offset:·0x71669):·signed·char |
38 | ·<1><41>:·Abbrev·Number:·40·(DW_TAG_typedef) | 38 | ·<1><41>:·Abbrev·Number:·40·(DW_TAG_typedef) |
39 | ····<42>···DW_AT_name········:·(strp)·(offset:·0x416 | 39 | ····<42>···DW_AT_name········:·(strp)·(offset:·0x41690):·__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:·40·(DW_TAG_typedef) | 44 | ·<1><4a>:·Abbrev·Number:·40·(DW_TAG_typedef) |
45 | ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb40 | 45 | ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb40fb):·__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:·19·(DW_TAG_base_type) | 50 | ·<1><53>:·Abbrev·Number:·19·(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:·0x8b4 | 53 | ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b4ee):·short·int |
54 | ·<1><5a>:·Abbrev·Number:·40·(DW_TAG_typedef) | 54 | ·<1><5a>:·Abbrev·Number:·40·(DW_TAG_typedef) |
55 | ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8e | 55 | ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8e77):·__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:·40·(DW_TAG_typedef) | 60 | ·<1><63>:·Abbrev·Number:·40·(DW_TAG_typedef) |
61 | ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b3 | 61 | ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b335):·__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:·44·(DW_TAG_base_type) | 66 | ·<1><6c>:·Abbrev·Number:·44·(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:·34·(DW_TAG_const_type) | 70 | ·<1><73>:·Abbrev·Number:·34·(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:·40·(DW_TAG_typedef) | 72 | ·<1><75>:·Abbrev·Number:·40·(DW_TAG_typedef) |
73 | ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fd | 73 | ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fdec):·__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:·40·(DW_TAG_typedef) | 78 | ·<1><7e>:·Abbrev·Number:·40·(DW_TAG_typedef) |
79 | ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63a | 79 | ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63ac9):·__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:·19·(DW_TAG_base_type) | 84 | ·<1><88>:·Abbrev·Number:·19·(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:·0xfe38):·long·int | 87 | ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe38):·long·int |
88 | ·<1><8f>:·Abbrev·Number:·40·(DW_TAG_typedef) | 88 | ·<1><8f>:·Abbrev·Number:·40·(DW_TAG_typedef) |
89 | ····<90>···DW_AT_name········:·(strp)·(offset:·0x689 | 89 | ····<90>···DW_AT_name········:·(strp)·(offset:·0x689db):·__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:·40·(DW_TAG_typedef) | 94 | ·<1><98>:·Abbrev·Number:·40·(DW_TAG_typedef) |
95 | ····<99>···DW_AT_name········:·(strp)·(offset:·0x59f | 95 | ····<99>···DW_AT_name········:·(strp)·(offset:·0x59fc2):·__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:·40·(DW_TAG_typedef) | 100 | ·<1><a1>:·Abbrev·Number:·40·(DW_TAG_typedef) |
101 | ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5ff | 101 | ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5ffdb):·__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:·40·(DW_TAG_typedef) | 106 | ·<1><aa>:·Abbrev·Number:·40·(DW_TAG_typedef) |
107 | ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7ff | 107 | ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7ffeb):·__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:·40·(DW_TAG_typedef) | 112 | ·<1><b3>:·Abbrev·Number:·40·(DW_TAG_typedef) |
113 | ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d4e):·__uint_least16_t | 113 | ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d4e):·__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:·40·(DW_TAG_typedef) | 118 | ·<1><bc>:·Abbrev·Number:·40·(DW_TAG_typedef) |
119 | ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56f | 119 | ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56f7a):·__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:·40·(DW_TAG_typedef) | 124 | ·<1><c5>:·Abbrev·Number:·40·(DW_TAG_typedef) |
125 | ····<c6>···DW_AT_name········:·(strp)·(offset:·0xca9 | 125 | ····<c6>···DW_AT_name········:·(strp)·(offset:·0xca964):·__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:·40·(DW_TAG_typedef) | 130 | ·<1><ce>:·Abbrev·Number:·40·(DW_TAG_typedef) |
131 | ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ee | 131 | ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ee82):·__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; 37480449/37488558 bytes (99.98%) of diff not shown. |
Offset 1741, 16 lines modified | Offset 1741, 16 lines modified | ||
1741 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 | 1741 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 |
1742 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 1742 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
1743 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 1743 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
1744 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 1744 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
1745 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1 | 1745 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1 |
1746 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 1746 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
1747 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 1747 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
1748 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 1748 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
1749 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 1749 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
1750 | ··Offset:······················0x1c75 | 1750 | ··Offset:······················0x1c75 |
1751 | ··Version:·····················5 | 1751 | ··Version:·····················5 |
1752 | ··Offset·size:·················4 | 1752 | ··Offset·size:·················4 |
1753 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 | 1753 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 |
1754 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 | 1754 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 |
Offset 14164, 16 lines modified | Offset 14164, 16 lines modified | ||
14164 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 | 14164 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 |
14165 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 14165 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
14166 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 14166 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
14167 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 14167 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
14168 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1 | 14168 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1 |
14169 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 14169 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
14170 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 14170 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
14171 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 14171 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
14172 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 14172 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
14173 | ··Offset:······················0x13135 | 14173 | ··Offset:······················0x13135 |
14174 | ··Version:·····················5 | 14174 | ··Version:·····················5 |
14175 | ··Offset·size:·················4 | 14175 | ··Offset·size:·················4 |
14176 | ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU | 14176 | ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU |
14177 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE | 14177 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE |
Offset 1, 370 lines modified | Offset 1, 377 lines modified | ||
1 | GCC:·(Debian·14.2.0-17)·14.2.0 | 1 | GCC:·(Debian·14.2.0-17)·14.2.0 |
2 | \}Hm)WCT | ||
3 | {r*-!)z» | ||
4 | Ss{3-p5p | ||
5 | 2'C\\%A3M | ||
6 | ($B4TiaL | ||
7 | *$BT7jav | ||
8 | yYW>cFQ!Z | ||
9 | {l'V1v*D | ||
10 | A*s@"DPk@ | ||
11 | c3E!j&k!5c] | ||
12 | $B$g+@>.; | ||
13 | /MX!OX!u} | ||
14 | D<R|Ct|S | ||
15 | F.,23tsmk | ||
16 | e.533C[n | ||
17 | .'OWP40pV | ||
18 | KY}BhBU& | ||
19 | 1zqN#UZy | ||
20 | N4Fr-OYg | ||
21 | k":C6M·>i | ||
22 | a9jcu_5» | ||
23 | ~!!\*J32q"L | ||
24 | 2&)#qMA"k | ||
25 | $KT;&xjp | ||
26 | _VkDj`o@ | ||
27 | I{m8lT·Ss | ||
28 | o|&&f"l+ | ||
29 | Zj;fZ2:^ | ||
30 | hXKvZPcd | ||
31 | sQd&JW\F | ||
32 | <URJ%1R% | ||
33 | dG[siF.U& | ||
34 | ,YM(1?FE | ||
35 | >\nA!9xg | ||
36 | d3}08o;J | ||
37 | ^`·;XN6@ | ||
38 | {R$[~1P-@ | ||
39 | ,~!(VOmQ | ||
40 | h:n7Xekm| | ||
41 | Wk|c1n+VZ | ||
42 | d9a0v» }x | ||
43 | AveJ@\O·9 | ||
44 | [?IHOA8n; | ||
45 | %;!Car%y | ||
46 | /yn>» ;Oz | ||
47 | cHcHcHcHcHcHcH | ||
48 | N&$@Oor2 | ||
49 | 7S&$@s/R | ||
50 | ~BMIvB}R | ||
51 | m>{yJ:(y | ||
52 | w.J}/J}o | ||
53 | si%OkKnv | ||
54 | DK77wO~| | ||
55 | iBDJ>x7G | ||
56 | ;)f·~z;C | ||
57 | z{>nr.'y | ||
58 | G!~dOc7G@ | ||
59 | df?2EW·\ | ||
60 | )5U*(8~J | ||
61 | U3[#a[#Ab | ||
62 | 7» $aB|,a | ||
63 | ECzhJ],E | ||
64 | -i-q1f/V0= | ||
65 | ~u/MOI·=U | ||
66 | j|v5VJlFU | ||
67 | o29,1f6k | ||
68 | BR!99LS3 | ||
69 | ]L600YCO/ | ||
70 | g)z1]w·e | ||
71 | jr+"Ozc9 | ||
72 | Pvn<eH}·yt, | ||
73 | Z"RbW7k> | ||
74 | +5VpFckA | ||
75 | 6TxVesOuJduuo | ||
76 | ,Mg]CWjb | ||
77 | ZWvBCgb; | ||
78 | $iBVXh@L | ||
79 | FD+6R<8RG | ||
80 | MPC%>$cWc | ||
81 | WvRn?c» )Xb | ||
82 | B[rIe.lISMg | ||
83 | ,1N]w;QU | ||
84 | _8VT@K%t | ||
85 | izJB[rMB | ||
86 | » '[TYD\n»6 | ||
87 | uYKK"y\_ | ||
88 | )rRT3!vg | ||
89 | jksi`.oIB, | ||
90 | %4Oj,mB{ | ||
91 | ha$U"#iB | ||
2 | ,tl!=!_Y | ||
3 | x-YVMiei | ||
4 | 5g46?][r | ||
5 | 8» XczVclc | ||
6 | }» \T_Wg$ | ||
7 | ·DtC"DtC | ||
8 | `fS!v;9@L | ||
9 | nRC>cLeD | ||
10 | kY7>cFP! | ||
11 | XsvQ!~5iP | ||
12 | 3w{77WR/ | ||
13 | fqt`,}3V | ||
14 | l*^iFW|B | ||
15 | ^xO|>[z>[ | ||
16 | rk3As(~O;W | ||
17 | Pv7LWk+z | ||
18 | Vy()Sse* | ||
19 | =YPNW6[$ | ||
20 | cxL^`RmV!R | ||
21 | cCUdc:ECk | ||
22 | XBbBx#3&B | ||
23 | 2zqNcEZ~ | ||
24 | %b}.S_tm_ | ||
25 | r{c;h`nlGm | ||
26 | W:V{fi~) | ||
27 | E*J?3c1zP | ||
28 | WVqy!}TD | ||
29 | G6[x}sr^ | ||
30 | &_L}0O*· | ||
31 | JaL~s8Po | ||
32 | \~Z&/_9h | ||
33 | ···PV(dlo:L& | ||
34 | y|J^[xwasL | ||
35 | ~Ai|·;Gg | ||
36 | `B*t1D/6 | ||
37 | V2_gs{75 | ||
Max diff block lines reached; 5606/9222 bytes (60.79%) of diff not shown. |
Offset 2183, 10980 lines modified | Offset 2183, 10980 lines modified | ||
2183 | ··[·22190]··_____fpos_t_defined·1 | 2183 | ··[·22190]··_____fpos_t_defined·1 |
2184 | ··[·221a6]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·> | 2184 | ··[·221a6]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·> |
2185 | ··[·22202]··_ZNK4cvc56Result6isNullEv | 2185 | ··[·22202]··_ZNK4cvc56Result6isNullEv |
2186 | ··[·2221c]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv | 2186 | ··[·2221c]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv |
2187 | ··[·2227e]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv | 2187 | ··[·2227e]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv |
2188 | ··[·222ce]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_ | 2188 | ··[·222ce]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_ | Diff chunk too large, falling back to line-by-line diff (10966 lines added, 10966 lines removed) |
2189 | ··[·2234c]··_ZNSt22_Optional_payload_baseIlEC4EOS0_ | 2189 | ··[·2234c]··_ZNSt22_Optional_payload_baseIlEC4EOS0_ |
2190 | ··[·22374]·· | 2190 | ··[·22374]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF64 |
2191 | ··[·223 | 2191 | ··[·22398]··CLOCK_MONOTONIC_COARSE·6 |
2192 | ··[·223b | 2192 | ··[·223b1]··_GLIBCXX_HAVE_SYS_STAT_H·1 |
2193 | ··[·223c | 2193 | ··[·223cc]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv |
2194 | ··[·22 | 2194 | ··[·2242d]··__cpp_rvalue_reference·200610L |
2195 | ··[·2244 | 2195 | ··[·2244c]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_ |
2196 | ··[·224 | 2196 | ··[·22489]··d_sep |
2197 | ··[·224 | 2197 | ··[·2248f]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_ |
2198 | ··[·224 | 2198 | ··[·224d1]··__try·try |
2199 | ··[·224 | 2199 | ··[·224db]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev |
2200 | ··[·22 | 2200 | ··[·2251d]··isSequenceValue |
2201 | ··[·225 | 2201 | ··[·2252d]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_ |
2202 | ··[·225 | 2202 | ··[·2258f]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset) |
2203 | ··[·225 | 2203 | ··[·225bb]··__glibcxx_want_smart_ptr_for_overwrite |
2204 | ··[·225 | 2204 | ··[·225e2]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_ |
2205 | ··[·22 | 2205 | ··[·22647]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_ |
2206 | ··[·226 | 2206 | ··[·226ab]··_ZNK4cvc512DatatypeDecl12isNullHelperEv |
2207 | ··[·226 | 2207 | ··[·226d3]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv |
2208 | ··[·22 | 2208 | ··[·22720]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE |
2209 | ··[·227 | 2209 | ··[·227d5]··_M_erase_at_end |
2210 | ··[·227e | 2210 | ··[·227e5]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_ |
2211 | ··[·22 | 2211 | ··[·22847]··_ZNKSt6vectorIjSaIjEE4dataEv |
2212 | ··[·2286 | 2212 | ··[·22864]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv |
2213 | ··[·228 | 2213 | ··[·228d7]··__UINT_LEAST32_MAX__·0xffffffffU |
2214 | ··[·228f | 2214 | ··[·228f8]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev |
2215 | ··[·229 | 2215 | ··[·22955]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel() |
2216 | ··[·229 | 2216 | ··[·229bc]··allocator_traits<std::allocator<char>·> |
2217 | ··[·229 | 2217 | ··[·229e4]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv |
2218 | ··[·22 | 2218 | ··[·22a37]··_ZNSt6vectorIbSaIbEE4flipEv |
2219 | ··[·22a5 | 2219 | ··[·22a53]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_ |
2220 | ··[·22a | 2220 | ··[·22aa6]··__need___va_list |
2221 | ··[·22a | 2221 | ··[·22ab7]··_GLIBCXX_TXN_SAFE_DYN· |
2222 | ··[·22a | 2222 | ··[·22ace]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name) |
2223 | ··[·22 | 2223 | ··[·22b01]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator |
2224 | ··[·22b | 2224 | ··[·22b32]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_ |
2225 | ··[·22b | 2225 | ··[·22bc4]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv |
2226 | ··[·22 | 2226 | ··[·22c09]··d_bv |
2227 | ··[·22c | 2227 | ··[·22c0e]··EXISTS |
2228 | ··[·22c | 2228 | ··[·22c15]··_ZNKSt6vectorIbSaIbEE7crbeginEv |
2229 | ··[·22c | 2229 | ··[·22c35]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_ |
2230 | ··[·22c | 2230 | ··[·22c76]··_SC_JOB_CONTROL·_SC_JOB_CONTROL |
2231 | ··[·22c9 | 2231 | ··[·22c96]··__glibcxx_want_execution |
2232 | ··[·22c | 2232 | ··[·22caf]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv |
2233 | ··[·22c | 2233 | ··[·22cec]··__dat |
2234 | ··[·22 | 2234 | ··[·22cf2]··__LC_MEASUREMENT·11 |
2235 | ··[·22d0 | 2235 | ··[·22d06]··__in_chrg |
2236 | ··[·22d | 2236 | ··[·22d10]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev |
2237 | ··[·22d | 2237 | ··[·22d64]··SCHED_FLAG_UTIL_CLAMP_MAX·0x40 |
2238 | ··[·22d | 2238 | ··[·22d83]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·> |
2239 | ··[·22d | 2239 | ··[·22df1]··_Arg |
2240 | ··[·22 | 2240 | ··[·22df6]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·" |
2241 | ··[·22e | 2241 | ··[·22e28]··__STDC_UTF_32__·1 |
2242 | ··[·22e | 2242 | ··[·22e3a]··__glibcxx_want_optional· |
2243 | ··[·22e5 | 2243 | ··[·22e53]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_ |
2244 | ··[·22e | 2244 | ··[·22eb3]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true> |
2245 | ··[·22 | 2245 | ··[·22f2c]··add_lvalue_reference<cvc5::internal::smt::SmtSolver> |
2246 | ··[·22f | 2246 | ··[·22f61]··__glibcxx_no_dangling_refs(_U1,_U2)· |
2247 | ··[·22f | 2247 | ··[·22f86]··long·double |
2248 | ··[·22f | 2248 | ··[·22f92]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_ |
2249 | ··[·22f | 2249 | ··[·22ffe]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_ |
2250 | ··[·230 | 2250 | ··[·23065]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_ |
2251 | ··[·230 | 2251 | ··[·230c6]··_ZNSt11char_traitsIwE7compareEPKwS2_m |
2252 | ··[·230e | 2252 | ··[·230ec]··_ZNKSt8optionalImE9has_valueEv |
2253 | ··[·2310 | 2253 | ··[·2310b]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true> |
2254 | ··[·231 | 2254 | ··[·23186]··_GLIBCXX_USE_CHMOD·1 |
2255 | ··[·231 | 2255 | ··[·2319b]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>() |
2256 | ··[·23 | 2256 | ··[·2320d]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_ |
2257 | ··[·232 | 2257 | ··[·23254]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv |
2258 | ··[·232 | 2258 | ··[·232b6]··_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS·_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS |
2259 | ··[·232 | 2259 | ··[·232fe]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m |
2260 | ··[·233 | 2260 | ··[·23340]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw |
2261 | ··[·233 | 2261 | ··[·23374]··_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·...·] |
2262 | ··[·23 | 2262 | ··[·234d7]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv |
2263 | ··[·23 | 2263 | ··[·2354c]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true> |
2264 | ··[·235 | 2264 | ··[·2359e]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm |
2265 | ··[·235 | 2265 | ··[·235c5]··assertFormulaInternal |
2266 | ··[·235d | 2266 | ··[·235db]··STA_PPSFREQ·0x0002 |
2267 | ··[·235 | 2267 | ··[·235ee]··mkNullableLift |
2268 | ··[·23 | 2268 | ··[·235fd]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev |
2269 | ··[·236 | 2269 | ··[·2363f]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv |
2270 | ··[·236 | 2270 | ··[·2368d]··mkFiniteFieldElem |
2271 | ··[·236 | 2271 | ··[·2369f]··ARITH_TRANS_EXP_NEG |
2272 | ··[·236b | 2272 | ··[·236b3]··__glibcxx_allocator_traits_is_always_equal·201411L |
2273 | ··[·236 | 2273 | ··[·236e6]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE |
2274 | ··[·237 | 2274 | ··[·2372a]··_SC_2_FORT_DEV·_SC_2_FORT_DEV |
2275 | ··[·2374 | 2275 | ··[·23748]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true> |
2276 | ··[·237 | 2276 | ··[·237cb]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE |
2277 | ··[·23 | 2277 | ··[·23851]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE |
2278 | ··[·238 | 2278 | ··[·238a2]··_ZNK4cvc512DatatypeDecl10isResolvedEv |
2279 | ··[·238 | 2279 | ··[·238c8]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv |
2280 | ··[·23 | 2280 | ··[·2393d]··_IsUnused |
2281 | ··[·239 | 2281 | ··[·23947]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev |
2282 | ··[·239 | 2282 | ··[·23970]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_ |
2283 | ··[·239 | 2283 | ··[·239f2]··_vtable_offset |
2284 | ··[·23a0 | 2284 | ··[·23a01]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E |
2285 | ··[·23a | 2285 | ··[·23aa5]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm |
2286 | ··[·23a | 2286 | ··[·23aee]··_GLIBCXX_POSTYPES_H·1 |
2287 | ··[·23b0 | 2287 | ··[·23b04]··INT_FAST16_MIN·(-9223372036854775807L-1) |
2288 | ··[·23b | 2288 | ··[·23b2d]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_ |
2289 | ··[·23b | 2289 | ··[·23b8b]··__cpp_lib_tuples_by_type·201304L |
2290 | ··[·23ba | 2290 | ··[·23bac]··getInterpolant |
2291 | ··[·23b | 2291 | ··[·23bbb]··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·...·] |
2292 | ··[·23 | 2292 | ··[·23e16]··rebind<std::_Rb_tree_node<cvc5::Term>·> |
2293 | ··[·23e3 | 2293 | ··[·23e3e]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·} |
2294 | ··[·23e | 2294 | ··[·23ec4]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_ |
2295 | ··[·23 | 2295 | ··[·23f27]··_ZNSt8optionalIlEaSESt9nullopt_t |
2296 | ··[·23f4 | 2296 | ··[·23f48]··_ZNSt16initializer_listIPKcEC4EPKS1_m |
2297 | ··[·23f6 | 2297 | ··[·23f6e]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING |
2298 | ··[·23f | 2298 | ··[·23f98]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv |
2299 | ··[·23f | 2299 | ··[·23fd0]··_POSIX_TRACE·-1 |
2300 | ··[·23fe | 2300 | ··[·23fe0]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true> |
2301 | ··[·2 | 2301 | ··[·24033]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_ |
2302 | ··[·240 | 2302 | ··[·24084]··_M_parent |
2303 | ··[·240 | 2303 | ··[·2408e]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc |
2304 | ··[·240 | 2304 | ··[·240c8]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm |
2305 | ··[·240 | 2305 | ··[·240fb]··PDP_ENDIAN·__PDP_ENDIAN |
2306 | ··[·2411 | 2306 | ··[·24113]··_GLIBCXX14_DEPRECATED_SUGGEST(ALT)·_GLIBCXX_DEPRECATED_SUGGEST(ALT) |
2307 | ··[·241 | 2307 | ··[·24157]··CVC5_NO_EXPORT·__attribute__((visibility("hidden"))) |
2308 | ··[·241 | 2308 | ··[·2418c]··_ZN4cvc58internal9ExceptionC4EPKc |
Max diff block lines reached; 358/1697727 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·183029 | 3 | -rw-r--r--···0········0········0·183029448·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:·182615 |
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:·4a46644ceec5310ab504e88da12c7768f609316d |
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/4a/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)·186986 | 7 | -rw-r--r--···0·root·········(0)·root·········(0)·186986968·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/4a/46644ceec5310ab504e88da12c7768f609316d.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:··········18698 | 13 | ··Start·of·section·headers:··········186984408·(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·0xb252 | 1 | There·are·40·section·headers,·starting·at·offset·0xb2527d8: |
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·00dbdc·00···C··0···0··8 | 33 | ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dbdc·00···C··0···0··8 |
34 | ··[29]·.debug_info·······PROGBITS········0000000000000000·00de98·8811 | 34 | ··[29]·.debug_info·······PROGBITS········0000000000000000·00de98·8811d79·00···C··0···0··8 |
35 | ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·881f | 35 | ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·881fc18·0dca6a·00···C··0···0··8 |
36 | ··[31]·.debug_line·······PROGBITS········0000000000000000·88fc | 36 | ··[31]·.debug_line·······PROGBITS········0000000000000000·88fc688·872d6d·00···C··0···0··8 |
37 | ··[32]·.debug_str········PROGBITS········0000000000000000·916f | 37 | ··[32]·.debug_str········PROGBITS········0000000000000000·916f3f8·3e0075·01·MSC··0···0··8 |
38 | ··[33]·.debug_line_str···PROGBITS········0000000000000000·954f | 38 | ··[33]·.debug_line_str···PROGBITS········0000000000000000·954f470·0028d5·01·MSC··0···0··8 |
39 | ··[34]·.debug_loclists···PROGBITS········0000000000000000·9551 | 39 | ··[34]·.debug_loclists···PROGBITS········0000000000000000·9551d48·129817e·00···C··0···0··8 |
40 | ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e9 | 40 | ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e9ec8·16a6c0·00···C··0···0··8 |
41 | ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a954 | 41 | ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a954588·586667·00···C··0···0··8 |
42 | ··[37]·.symtab···········SYMTAB··········0000000000000000·aeda | 42 | ··[37]·.symtab···········SYMTAB··········0000000000000000·aedabf0·0ca1a0·18·····38·31780··8 |
43 | ··[38]·.strtab···········STRTAB··········0000000000000000·afa4 | 43 | ··[38]·.strtab···········STRTAB··········0000000000000000·afa4d90·2ad8b5·00······0···0··1 |
44 | ··[39]·.shstrtab·········STRTAB··········0000000000000000·b252 | 44 | ··[39]·.shstrtab·········STRTAB··········0000000000000000·b252645·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:·4a46644ceec5310ab504e88da12c7768f609316d |
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:·0x160cc):·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:·0xea3b):·long·unsigned·int | 19 | ····<1f>···DW_AT_name········:·(strp)·(offset:·0xea3b):·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:·0x1ace6):·unsigned·char | 23 | ····<26>···DW_AT_name········:·(strp)·(offset:·0x1ace6):·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:·0x128 | 27 | ····<2d>···DW_AT_name········:·(strp)·(offset:·0x12833):·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:·0xc79c):·unsigned·int | 31 | ····<34>···DW_AT_name········:·(strp)·(offset:·0xc79c):·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:·0x1fed8):·char32_t | 103 | ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fed8):·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:·0x141a2):·__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:·0x2366a):·__int128·unsigned | 111 | ····<c9>···DW_AT_name········:·(strp)·(offset:·0x2366a):·__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:·0x1f0f1):·_IO_read_end | 807 | ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f0f1):·_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:·0x10661):·_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:·0x5169):·_IO_write_base | 821 | ····<46e>···DW_AT_name········:·(strp)·(offset:·0x5169):·_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:·0xf | 828 | ····<478>···DW_AT_name········:·(strp)·(offset:·0xfd09):·_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:·0xe322):·_IO_write_end | 835 | ····<482>···DW_AT_name········:·(strp)·(offset:·0xe322):·_IO_write_end |
Offset 842, 36 lines modified | Offset 842, 36 lines modified | ||
842 | ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb52d):·_IO_buf_base | 842 | ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb52d):·_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:·0x154 | 849 | ····<496>···DW_AT_name········:·(strp)·(offset:·0x1543d):·_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:·0xe395):·_IO_save_base | 856 | ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe395):·_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:·0x10f | 863 | ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10f28):·_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:·0x18d5b):·_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:·0x4bb0):·_markers | 877 | ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4bb0):·_markers |
Offset 884, 58 lines modified | Offset 884, 58 lines modified | ||
884 | ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac19):·_chain | 884 | ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac19):·_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:·0x19f9a):·_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:·0x1c1cb):·_flags2 | 898 | ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c1cb):·_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:······················0x19e9 | 1577 | ··Offset:······················0x19e9 |
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 52738, 16 lines modified | Offset 52738, 16 lines modified | ||
52738 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1 | 52738 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1 |
52739 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 52739 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
52740 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 52740 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
52741 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 52741 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
52742 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 | 52742 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 |
52743 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 52743 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
52744 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 52744 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
52745 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 52745 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
52746 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 52746 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
52747 | ··Offset:······················0x49129 | 52747 | ··Offset:······················0x49129 |
52748 | ··Version:·····················5 | 52748 | ··Version:·····················5 |
52749 | ··Offset·size:·················4 | 52749 | ··Offset·size:·················4 |
52750 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H· | 52750 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H· |
52751 | ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_· | 52751 | ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_· |
Offset 1342638, 17 lines modified | Offset 1342638, 15 lines modified | ||
1342638 | ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H· | 1342638 | ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H· |
1342639 | ·DW_MACRO_start_file·-·lineno:·24·filenum:·42 | 1342639 | ·DW_MACRO_start_file·-·lineno:·24·filenum:·42 |
1342640 | ·DW_MACRO_end_file | 1342640 | ·DW_MACRO_end_file |
1342641 | ·DW_MACRO_import·-·offset·:·0x5220c | 1342641 | ·DW_MACRO_import·-·offset·:·0x5220c |
1342642 | ·DW_MACRO_end_file | 1342642 | ·DW_MACRO_end_file |
1342643 | ·DW_MACRO_start_file·-·lineno:·49·filenum:·136 | 1342643 | ·DW_MACRO_start_file·-·lineno:·49·filenum:·136 |
1342644 | ·DW_MACRO_end_file | 1342644 | ·DW_MACRO_end_file |
1342645 | ·DW_MACRO_start_file·-·lineno:·51·filenum:·31 | ||
1342646 | ·DW_MACRO_end_file | ||
1342647 | ·DW_MACRO_start_file·-·lineno:·5 | 1342645 | ·DW_MACRO_start_file·-·lineno:·51·filenum:·303 |
1342648 | ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1 | 1342646 | ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1 |
1342649 | ·DW_MACRO_start_file·-·lineno:·41·filenum:·14 | 1342647 | ·DW_MACRO_start_file·-·lineno:·41·filenum:·14 |
1342650 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H· | 1342648 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H· |
1342651 | ·DW_MACRO_start_file·-·lineno:·33·filenum:·15 | 1342649 | ·DW_MACRO_start_file·-·lineno:·33·filenum:·15 |
1342652 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1 | 1342650 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1 |
1342653 | ·DW_MACRO_start_file·-·lineno:·35·filenum:·16 | 1342651 | ·DW_MACRO_start_file·-·lineno:·35·filenum:·16 |
1342654 | ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1 | 1342652 | ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1 |
Offset 1342656, 15 lines modified | Offset 1342654, 17 lines modified | ||
1342656 | ·DW_MACRO_end_file | 1342654 | ·DW_MACRO_end_file |
1342657 | ·DW_MACRO_end_file | 1342655 | ·DW_MACRO_end_file |
1342658 | ·DW_MACRO_import·-·offset·:·0x9e11 | 1342656 | ·DW_MACRO_import·-·offset·:·0x9e11 |
1342659 | ·DW_MACRO_start_file·-·lineno:·56·filenum:·177 | 1342657 | ·DW_MACRO_start_file·-·lineno:·56·filenum:·177 |
1342660 | ·DW_MACRO_import·-·offset·:·0x510854 | 1342658 | ·DW_MACRO_import·-·offset·:·0x510854 |
1342661 | ·DW_MACRO_end_file | 1342659 | ·DW_MACRO_end_file |
1342662 | ·DW_MACRO_end_file | 1342660 | ·DW_MACRO_end_file |
1342661 | ·DW_MACRO_start_file·-·lineno:·52·filenum:·31 | ||
1342662 | ·DW_MACRO_end_file | ||
1342663 | ·DW_MACRO_start_file·-·lineno:·5 | 1342663 | ·DW_MACRO_start_file·-·lineno:·54·filenum:·112 |
1342664 | ·DW_MACRO_end_file | 1342664 | ·DW_MACRO_end_file |
1342665 | ·DW_MACRO_start_file·-·lineno:·57·filenum:·83 | 1342665 | ·DW_MACRO_start_file·-·lineno:·57·filenum:·83 |
1342666 | ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring· | 1342666 | ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring· |
1342667 | ·DW_MACRO_start_file·-·lineno:·42·filenum:·177 | 1342667 | ·DW_MACRO_start_file·-·lineno:·42·filenum:·177 |
1342668 | ·DW_MACRO_import·-·offset·:·0x510e40 | 1342668 | ·DW_MACRO_import·-·offset·:·0x510e40 |
1342669 | ·DW_MACRO_end_file | 1342669 | ·DW_MACRO_end_file |
1342670 | ·DW_MACRO_start_file·-·lineno:·43·filenum:·140 | 1342670 | ·DW_MACRO_start_file·-·lineno:·43·filenum:·140 |
Offset 4194297, 8 lines modified | Offset 4194297, 8 lines modified | ||
4194297 | ····00c1b04c·v000000000000000·v000000000000003·views·at·00c1b04a·for: | 4194297 | ····00c1b04c·v000000000000000·v000000000000003·views·at·00c1b04a·for: |
4194298 | ·············0000000000621e88·0000000000621e88·(DW_OP_breg0·(rax):·8;·DW_OP_stack_value) | 4194298 | ·············0000000000621e88·0000000000621e88·(DW_OP_breg0·(rax):·8;·DW_OP_stack_value) |
4194299 | ····00c1b05a·<End·of·list> | 4194299 | ····00c1b05a·<End·of·list> |
4194300 | ····00c1b05b·v000000000000001·v000000000000003·location·view·pair | 4194300 | ····00c1b05b·v000000000000001·v000000000000003·location·view·pair |
4194301 | ····00c1b05d·v000000000000001·v000000000000003·views·at·00c1b05b·for: | 4194301 | ····00c1b05d·v000000000000001·v000000000000003·views·at·00c1b05b·for: |
4194302 | [·Too·much·input·for·diff·(SHA256:· | 4194302 | [·Too·much·input·for·diff·(SHA256:·084c5ed55293e43d1e515925e2ae6c021fb74b535bda04576b3d0b09fff60ffc)·] |
Offset 1, 29907 lines modified | Offset 1, 30192 lines modified | ||
1 | 1 | » 1mGCC:·(Debian·14.2.0-17)·14.2.0 | |
2 | :·;^/:}3 | 2 | :·;^/:}3 |
3 | xg9^gO+} | 3 | xg9^gO+} |
4 | $_yiP{fI | 4 | $_yiP{fI |
5 | w;hxd4>2 | ||
6 | irW~R{l% | ||
7 | VwhJ, | 5 | VwhJ,z^f |
6 | F15G8n%U | ||
7 | Bw6|8'|x | ||
8 | FR4T_9pJ | ||
9 | y>d@C90< | ||
10 | !?XhaS?M | ||
11 | {<E'T~;FRPywD | ||
12 | sy;yw."at | ||
13 | ,gp-$2O8_ | ||
14 | ]J"h:,/B1 | ||
15 | 0/,%IWC: | ||
16 | >4s!a9KG | ||
17 | %D7lEv!\ | ||
18 | \O6t;v0G | ||
19 | G"LPndra | ||
20 | F#[w·s[eF= | ||
21 | rG~mES%~ | ||
22 | Sw_» 2_5H | ||
23 | P2E[(9O8@t | ||
24 | x86`(gSi | ||
25 | L5/s0q((_Ot7 | ||
26 | )CPx$j\ny | ||
27 | h-8FUT&o | ||
28 | !gA,RN_d | ||
29 | r>P})H}>0 | ||
30 | )p/|tw)4 | ||
8 | QoX=[?[Z | ||
9 | qRb[T·}vv. | ||
10 | 1PU;{» k9 | ||
11 | wAecc%;* | ||
12 | CuBhu78Y^ | ||
13 | b5BJaB~% | ||
14 | 'p8]R&)" | ||
15 | L2SX·(itA} | ||
16 | 1?ij4{x: | ||
17 | ~cEg`=Z? | ||
18 | 5w(z&)gB | ||
19 | r^Y~9SbQ | ||
20 | k)B]WUMp | ||
21 | VelFWJod | ||
22 | )0P>Tn\d | ||
23 | %Byi{|"* | ||
24 | DKXr<X\n | ||
25 | vaqEVTN7,1 | ||
26 | xH*» %Nkj@* | ||
27 | |N6e^!p72 | ||
28 | (VTAQ» Yf6 | ||
29 | TX[{ioy% | ||
30 | Bv9;!sX1yvB!; | ||
31 | }]~TQu53 | ||
32 | 4~dC>q3QVJ | ||
33 | F=+lkT:z | ||
34 | 'eF8Hetm | ||
35 | %rt/F9c0f | ||
36 | V#ER}#ER | ||
37 | 1Qy.Q)]1 | ||
38 | ufV}"FG8[I& | ||
39 | T|W0t7801 | ||
40 | 5:7(u6e; | ||
41 | VLS9c.tbkv | ||
42 | @9mvPNKe | ||
43 | D9]*RNK=& | ||
44 | D9]*RN+VKI/QN | ||
45 | D9]*RN+!) | ||
46 | D9]*RN;[I& | ||
47 | =I+NuQ?UE&& | ||
48 | kfe\^#|^ | ||
49 | 4VXK6IDW | 31 | 4VXK6IDW |
32 | IolnPQyc | ||
50 | ;VgQ|{.ff | 33 | ;VgQ|{.ff |
51 | YH5Q}{.n | 34 | YH5Q}{.n |
35 | VyQ!@}v}eg^F | ||
36 | Nl^Or>,rc | ||
37 | t8Zw<Fw8: | ||
38 | y(» p·@K{1Q | ||
39 | bZD5nw3A | ||
40 | ffyNgy>u | ||
41 | sNWvefev | ||
42 | ?K5oN7?KM | ||
43 | g:4v`;qd; | ||
44 | DTgB/i*J | ||
45 | K)UR~RY· | ||
46 | 8'_)FF@R' | ||
47 | O9Lmba;L> | ||
48 | 5Mm\#yG;h | ||
49 | ·9s"O(^q | ||
50 | M$uDk3l&; | ||
51 | =$zwWw^w) | ||
52 | 0N%_[fir | ||
53 | 7\Cy2{oKC8 | ||
54 | 32EA"6"|J8 | ||
55 | 70nH·FWx | ||
56 | >9%]D@kX | ||
57 | NI]J.GC\ | ||
52 | >&x|0ouT | ||
53 | "b2khrn$B | ||
54 | @~%g81qy8K | ||
55 | xmg5jh?7^ | ||
56 | xO1r7"EzO1r7" | ||
57 | um>E&QZx | ||
58 | yu:r&E#g | ||
59 | ESPr&+#g"E= | ||
60 | wMTglWlZ~ | ||
61 | S3)k~QO1 | ||
62 | 2R+uu(Fye | ||
63 | 9F_B(@s, | ||
64 | %d*» bRxL | ||
65 | KXkw?Wa/ | ||
66 | Z$yU|g]6 | ||
67 | nd5x+KBrR | ||
68 | vckWL_rd | ||
69 | Cq3S}IT5G/ | ||
70 | Ijhf]1IR | ||
71 | t?W32oO| | ||
72 | "XN$>7T@ | ||
73 | wlQ^p9pG | ||
74 | bO)}RY#X | ||
75 | s$"hd>%#4 | ||
76 | ]\.~I.r»1B | ||
77 | 37;h)2dS | ||
78 | ON6=+szXk | 58 | ON6=+szXk |
Max diff block lines reached; 664690/666622 bytes (99.71%) of diff not shown. |