Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
1 | ·d89cb129b5a6cd0e12e12dc89754c44d·1844288·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb | ||
2 | · | 1 | ·a3f2119146edca162dcbe2e27d216d29·1844652·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb |
2 | ·bc8237b80d0d4051b901955130d92af0·97120·math·optional·cvc5_1.1.2-2_arm64.deb | ||
3 | ·a | 3 | ·a742d9f8c126c5e40e188fa3e780ea54·179688856·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb |
4 | · | 4 | ·976ccafa6f6828bc07b30ad0cbd78cb6·5707652·libs·optional·libcvc5-1_1.1.2-2_arm64.deb |
5 | ·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb | 5 | ·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb |
6 | ·ce5167ef7581f5f1a691c88ff71f0d5e·3993792·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb | ||
7 | ·3d885c16555f53d4b52e1c5ed24ae32f·207156·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb | ||
8 | ·c935cc384b8fd622d1845dacd02ff80b·2596188·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb | ||
9 | · | 6 | ·b0fa4917a272fdfe21b9e850f2c4d9c1·3994076·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb |
7 | ·960b8ff5537d5f3e5026871d9ce5bfb7·207520·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb | ||
8 | ·5e39f08c03bf44db4ed7deb2a499a619·2596084·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb | ||
9 | ·074eca7328727d2828b3451dbc752788·297488·python·optional·python3-cvc5_1.1.2-2_arm64.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····95 | 3 | -rw-r--r--···0········0········0····95812·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:·AArch64·feature:·BTI,·PAC | 3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·AArch64·feature:·BTI,·PAC |
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:·2e0699e43d9ac1b55258c1153706998555491562 |
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.7.0 | 9 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.7.0 |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | /lib/ld-linux-aarch64.so.1 | 1 | b/lib/ld-linux-aarch64.so.1 |
2 | Ut<{~·U> | 2 | Ut<{~·U> |
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·39386230·38613462·32353433·38346162·98b08a4b254384ab | ||
3 | ··0x000000 | 2 | ··0x00000000·30363939·65343364·39616331·62353532·0699e43d9ac1b552 |
3 | ··0x00000010·35386331·31353337·30363939·38353535·58c1153706998555 | ||
4 | ··0x00000020·3 | 4 | ··0x00000020·34393135·36322e64·65627567·00000000·491562.debug.... |
5 | ··0x00000030·2 | 5 | ··0x00000030·b2141e39····························...9 |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0··570 | 3 | -rw-r--r--···0········0········0··5706180·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 3798, 15 lines modified | Offset 3798, 15 lines modified | ||
3798 | 00000000015cfa50··0000000000000403·R_AARCH64_RELATIVE························1317410 | 3798 | 00000000015cfa50··0000000000000403·R_AARCH64_RELATIVE························1317410 |
3799 | 00000000015cfa58··0000000000000403·R_AARCH64_RELATIVE························1317420 | 3799 | 00000000015cfa58··0000000000000403·R_AARCH64_RELATIVE························1317420 |
3800 | 00000000015cfa60··0000000000000403·R_AARCH64_RELATIVE························1317430 | 3800 | 00000000015cfa60··0000000000000403·R_AARCH64_RELATIVE························1317430 |
3801 | 00000000015cfa68··0000000000000403·R_AARCH64_RELATIVE························1317440 | 3801 | 00000000015cfa68··0000000000000403·R_AARCH64_RELATIVE························1317440 |
3802 | 00000000015cfa70··0000000000000403·R_AARCH64_RELATIVE························1317450 | 3802 | 00000000015cfa70··0000000000000403·R_AARCH64_RELATIVE························1317450 |
3803 | 00000000015cfa78··0000000000000403·R_AARCH64_RELATIVE························1317460 | 3803 | 00000000015cfa78··0000000000000403·R_AARCH64_RELATIVE························1317460 |
3804 | 00000000015cfa80··0000000000000403·R_AARCH64_RELATIVE························1317470 | 3804 | 00000000015cfa80··0000000000000403·R_AARCH64_RELATIVE························1317470 |
3805 | 00000000015cfa88··0000000000000403·R_AARCH64_RELATIVE························1317a | 3805 | 00000000015cfa88··0000000000000403·R_AARCH64_RELATIVE························1317ae0 |
3806 | 00000000015cfa90··0000000000000403·R_AARCH64_RELATIVE························1317480 | 3806 | 00000000015cfa90··0000000000000403·R_AARCH64_RELATIVE························1317480 |
3807 | 00000000015cfa98··0000000000000403·R_AARCH64_RELATIVE························1317498 | 3807 | 00000000015cfa98··0000000000000403·R_AARCH64_RELATIVE························1317498 |
3808 | 00000000015cfaa0··0000000000000403·R_AARCH64_RELATIVE························13174b0 | 3808 | 00000000015cfaa0··0000000000000403·R_AARCH64_RELATIVE························13174b0 |
3809 | 00000000015cfaa8··0000000000000403·R_AARCH64_RELATIVE························13174c0 | 3809 | 00000000015cfaa8··0000000000000403·R_AARCH64_RELATIVE························13174c0 |
3810 | 00000000015cfab0··0000000000000403·R_AARCH64_RELATIVE························13174d0 | 3810 | 00000000015cfab0··0000000000000403·R_AARCH64_RELATIVE························13174d0 |
3811 | 00000000015cfab8··0000000000000403·R_AARCH64_RELATIVE························13174e0 | 3811 | 00000000015cfab8··0000000000000403·R_AARCH64_RELATIVE························13174e0 |
3812 | 00000000015cfac0··0000000000000403·R_AARCH64_RELATIVE························13174f0 | 3812 | 00000000015cfac0··0000000000000403·R_AARCH64_RELATIVE························13174f0 |
Offset 3866, 23 lines modified | Offset 3866, 23 lines modified | ||
3866 | 00000000015cfc70··0000000000000403·R_AARCH64_RELATIVE························130c3e0 | 3866 | 00000000015cfc70··0000000000000403·R_AARCH64_RELATIVE························130c3e0 |
3867 | 00000000015cfc78··0000000000000403·R_AARCH64_RELATIVE························130ad80 | 3867 | 00000000015cfc78··0000000000000403·R_AARCH64_RELATIVE························130ad80 |
3868 | 00000000015cfc80··0000000000000403·R_AARCH64_RELATIVE························13178b8 | 3868 | 00000000015cfc80··0000000000000403·R_AARCH64_RELATIVE························13178b8 |
3869 | 00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························13178c0 | 3869 | 00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························13178c0 |
3870 | 00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························12eafc0 | 3870 | 00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························12eafc0 |
3871 | 00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························13178d0 | 3871 | 00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························13178d0 |
3872 | 00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························13178e0 | 3872 | 00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························13178e0 |
3873 | 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························13179 | 3873 | 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························1317940 |
3874 | 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························1317900 | 3874 | 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························1317900 |
3875 | 00000000015cfcb8··0000000000000403·R_AARCH64_RELATIVE························1317910 | 3875 | 00000000015cfcb8··0000000000000403·R_AARCH64_RELATIVE························1317910 |
3876 | 00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························1317928 | 3876 | 00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························1317928 |
3877 | 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························13179 | 3877 | 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························1317950 |
3878 | 00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························1317968 | 3878 | 00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························1317968 |
3879 | 00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························1317980 | 3879 | 00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························1317980 |
3880 | 00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························1317998 | 3880 | 00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························1317998 |
3881 | 00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························1318b | 3881 | 00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························1318b28 |
3882 | 00000000015cfcf0··0000000000000403·R_AARCH64_RELATIVE························13179a8 | 3882 | 00000000015cfcf0··0000000000000403·R_AARCH64_RELATIVE························13179a8 |
3883 | 00000000015cfcf8··0000000000000403·R_AARCH64_RELATIVE························13179b8 | 3883 | 00000000015cfcf8··0000000000000403·R_AARCH64_RELATIVE························13179b8 |
3884 | 00000000015cfd00··0000000000000403·R_AARCH64_RELATIVE························13179c8 | 3884 | 00000000015cfd00··0000000000000403·R_AARCH64_RELATIVE························13179c8 |
3885 | 00000000015cfd08··0000000000000403·R_AARCH64_RELATIVE························13179d8 | 3885 | 00000000015cfd08··0000000000000403·R_AARCH64_RELATIVE························13179d8 |
3886 | 00000000015cfd10··0000000000000403·R_AARCH64_RELATIVE························13179e8 | 3886 | 00000000015cfd10··0000000000000403·R_AARCH64_RELATIVE························13179e8 |
3887 | 00000000015cfd18··0000000000000403·R_AARCH64_RELATIVE························1317a00 | 3887 | 00000000015cfd18··0000000000000403·R_AARCH64_RELATIVE························1317a00 |
3888 | 00000000015cfd20··0000000000000403·R_AARCH64_RELATIVE························1317a18 | 3888 | 00000000015cfd20··0000000000000403·R_AARCH64_RELATIVE························1317a18 |
Offset 3892, 15 lines modified | Offset 3892, 15 lines modified | ||
3892 | 00000000015cfd40··0000000000000403·R_AARCH64_RELATIVE························1317a68 | 3892 | 00000000015cfd40··0000000000000403·R_AARCH64_RELATIVE························1317a68 |
3893 | 00000000015cfd48··0000000000000403·R_AARCH64_RELATIVE························1317a80 | 3893 | 00000000015cfd48··0000000000000403·R_AARCH64_RELATIVE························1317a80 |
3894 | 00000000015cfd50··0000000000000403·R_AARCH64_RELATIVE························1317a98 | 3894 | 00000000015cfd50··0000000000000403·R_AARCH64_RELATIVE························1317a98 |
3895 | 00000000015cfd58··0000000000000403·R_AARCH64_RELATIVE························1317ab0 | 3895 | 00000000015cfd58··0000000000000403·R_AARCH64_RELATIVE························1317ab0 |
3896 | 00000000015cfd60··0000000000000403·R_AARCH64_RELATIVE························1317ac0 | 3896 | 00000000015cfd60··0000000000000403·R_AARCH64_RELATIVE························1317ac0 |
3897 | 00000000015cfd68··0000000000000403·R_AARCH64_RELATIVE························12d8b70 | 3897 | 00000000015cfd68··0000000000000403·R_AARCH64_RELATIVE························12d8b70 |
3898 | 00000000015cfd70··0000000000000403·R_AARCH64_RELATIVE························1317ad0 | 3898 | 00000000015cfd70··0000000000000403·R_AARCH64_RELATIVE························1317ad0 |
3899 | 00000000015cfd78··0000000000000403·R_AARCH64_RELATIVE························1317a | 3899 | 00000000015cfd78··0000000000000403·R_AARCH64_RELATIVE························1317af8 |
3900 | 00000000015cfd80··0000000000000403·R_AARCH64_RELATIVE························1317b10 | 3900 | 00000000015cfd80··0000000000000403·R_AARCH64_RELATIVE························1317b10 |
3901 | 00000000015cfd88··0000000000000403·R_AARCH64_RELATIVE························1317b28 | 3901 | 00000000015cfd88··0000000000000403·R_AARCH64_RELATIVE························1317b28 |
3902 | 00000000015cfd90··0000000000000403·R_AARCH64_RELATIVE························1317b40 | 3902 | 00000000015cfd90··0000000000000403·R_AARCH64_RELATIVE························1317b40 |
3903 | 00000000015cfd98··0000000000000403·R_AARCH64_RELATIVE························1317b58 | 3903 | 00000000015cfd98··0000000000000403·R_AARCH64_RELATIVE························1317b58 |
3904 | 00000000015cfda0··0000000000000403·R_AARCH64_RELATIVE························12ec010 | 3904 | 00000000015cfda0··0000000000000403·R_AARCH64_RELATIVE························12ec010 |
3905 | 00000000015cfda8··0000000000000403·R_AARCH64_RELATIVE························1317b78 | 3905 | 00000000015cfda8··0000000000000403·R_AARCH64_RELATIVE························1317b78 |
3906 | 00000000015cfdb0··0000000000000403·R_AARCH64_RELATIVE························1317b88 | 3906 | 00000000015cfdb0··0000000000000403·R_AARCH64_RELATIVE························1317b88 |
Offset 3924, 16 lines modified | Offset 3924, 16 lines modified | ||
3924 | 00000000015cfe40··0000000000000403·R_AARCH64_RELATIVE························1317d00 | 3924 | 00000000015cfe40··0000000000000403·R_AARCH64_RELATIVE························1317d00 |
3925 | 00000000015cfe48··0000000000000403·R_AARCH64_RELATIVE························1317d10 | 3925 | 00000000015cfe48··0000000000000403·R_AARCH64_RELATIVE························1317d10 |
3926 | 00000000015cfe50··0000000000000403·R_AARCH64_RELATIVE························1317d28 | 3926 | 00000000015cfe50··0000000000000403·R_AARCH64_RELATIVE························1317d28 |
3927 | 00000000015cfe58··0000000000000403·R_AARCH64_RELATIVE························1317d38 | 3927 | 00000000015cfe58··0000000000000403·R_AARCH64_RELATIVE························1317d38 |
3928 | 00000000015cfe60··0000000000000403·R_AARCH64_RELATIVE························1317d48 | 3928 | 00000000015cfe60··0000000000000403·R_AARCH64_RELATIVE························1317d48 |
3929 | 00000000015cfe68··0000000000000403·R_AARCH64_RELATIVE························1317d58 | 3929 | 00000000015cfe68··0000000000000403·R_AARCH64_RELATIVE························1317d58 |
3930 | 00000000015cfe70··0000000000000403·R_AARCH64_RELATIVE························12e5cd8 | 3930 | 00000000015cfe70··0000000000000403·R_AARCH64_RELATIVE························12e5cd8 |
3931 | 00000000015cfe78··0000000000000403·R_AARCH64_RELATIVE························1317d | 3931 | 00000000015cfe78··0000000000000403·R_AARCH64_RELATIVE························1317d68 |
3932 | 00000000015cfe80··0000000000000403·R_AARCH64_RELATIVE························1317d | 3932 | 00000000015cfe80··0000000000000403·R_AARCH64_RELATIVE························1317d78 |
3933 | 00000000015cfe88··0000000000000403·R_AARCH64_RELATIVE························1317d90 | 3933 | 00000000015cfe88··0000000000000403·R_AARCH64_RELATIVE························1317d90 |
3934 | 00000000015cfe90··0000000000000403·R_AARCH64_RELATIVE························1317da8 | 3934 | 00000000015cfe90··0000000000000403·R_AARCH64_RELATIVE························1317da8 |
3935 | 00000000015cfe98··0000000000000403·R_AARCH64_RELATIVE························1317db0 | 3935 | 00000000015cfe98··0000000000000403·R_AARCH64_RELATIVE························1317db0 |
3936 | 00000000015cfea0··0000000000000403·R_AARCH64_RELATIVE························1317dc0 | 3936 | 00000000015cfea0··0000000000000403·R_AARCH64_RELATIVE························1317dc0 |
3937 | 00000000015cfea8··0000000000000403·R_AARCH64_RELATIVE························12d8b80 | 3937 | 00000000015cfea8··0000000000000403·R_AARCH64_RELATIVE························12d8b80 |
3938 | 00000000015cfeb0··0000000000000403·R_AARCH64_RELATIVE························1317de0 | 3938 | 00000000015cfeb0··0000000000000403·R_AARCH64_RELATIVE························1317de0 |
3939 | 00000000015cfeb8··0000000000000403·R_AARCH64_RELATIVE························1317df8 | 3939 | 00000000015cfeb8··0000000000000403·R_AARCH64_RELATIVE························1317df8 |
Offset 4104, 15 lines modified | Offset 4104, 15 lines modified | ||
4104 | 00000000015d03e0··0000000000000403·R_AARCH64_RELATIVE························1318ad8 | 4104 | 00000000015d03e0··0000000000000403·R_AARCH64_RELATIVE························1318ad8 |
4105 | 00000000015d03e8··0000000000000403·R_AARCH64_RELATIVE························1318ae8 | 4105 | 00000000015d03e8··0000000000000403·R_AARCH64_RELATIVE························1318ae8 |
4106 | 00000000015d03f0··0000000000000403·R_AARCH64_RELATIVE························1318af8 | 4106 | 00000000015d03f0··0000000000000403·R_AARCH64_RELATIVE························1318af8 |
4107 | 00000000015d03f8··0000000000000403·R_AARCH64_RELATIVE························1318b10 | 4107 | 00000000015d03f8··0000000000000403·R_AARCH64_RELATIVE························1318b10 |
4108 | 00000000015d0400··0000000000000403·R_AARCH64_RELATIVE························12d8b28 | 4108 | 00000000015d0400··0000000000000403·R_AARCH64_RELATIVE························12d8b28 |
4109 | 00000000015d0408··0000000000000403·R_AARCH64_RELATIVE························12d8a28 | 4109 | 00000000015d0408··0000000000000403·R_AARCH64_RELATIVE························12d8a28 |
4110 | 00000000015d0410··0000000000000403·R_AARCH64_RELATIVE························1318b18 | 4110 | 00000000015d0410··0000000000000403·R_AARCH64_RELATIVE························1318b18 |
4111 | 00000000015d0418··0000000000000403·R_AARCH64_RELATIVE························1318b | 4111 | 00000000015d0418··0000000000000403·R_AARCH64_RELATIVE························1318b38 |
4112 | 00000000015d0420··0000000000000403·R_AARCH64_RELATIVE························130b4a0 | 4112 | 00000000015d0420··0000000000000403·R_AARCH64_RELATIVE························130b4a0 |
4113 | 00000000015d0428··0000000000000403·R_AARCH64_RELATIVE························130b4a8 | 4113 | 00000000015d0428··0000000000000403·R_AARCH64_RELATIVE························130b4a8 |
4114 | 00000000015d0430··0000000000000403·R_AARCH64_RELATIVE························12dc250 | 4114 | 00000000015d0430··0000000000000403·R_AARCH64_RELATIVE························12dc250 |
4115 | 00000000015d0438··0000000000000403·R_AARCH64_RELATIVE························130b498 | 4115 | 00000000015d0438··0000000000000403·R_AARCH64_RELATIVE························130b498 |
4116 | 00000000015d0440··0000000000000403·R_AARCH64_RELATIVE························13182d0 | 4116 | 00000000015d0440··0000000000000403·R_AARCH64_RELATIVE························13182d0 |
4117 | 00000000015d0448··0000000000000403·R_AARCH64_RELATIVE························13188a0 | 4117 | 00000000015d0448··0000000000000403·R_AARCH64_RELATIVE························13188a0 |
4118 | 00000000015d0450··0000000000000403·R_AARCH64_RELATIVE························130b7b8 | 4118 | 00000000015d0450··0000000000000403·R_AARCH64_RELATIVE························130b7b8 |
Offset 8317, 23 lines modified | Offset 8317, 23 lines modified | ||
8317 | 00000000015e24e0··0000000000000403·R_AARCH64_RELATIVE························1316dc0 | 8317 | 00000000015e24e0··0000000000000403·R_AARCH64_RELATIVE························1316dc0 |
8318 | 00000000015e2500··0000000000000403·R_AARCH64_RELATIVE························1316dd8 | 8318 | 00000000015e2500··0000000000000403·R_AARCH64_RELATIVE························1316dd8 |
8319 | 00000000015e2520··0000000000000403·R_AARCH64_RELATIVE························1316e10 | 8319 | 00000000015e2520··0000000000000403·R_AARCH64_RELATIVE························1316e10 |
8320 | 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························1317900 | 8320 | 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························1317900 |
8321 | 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························13178f8 | 8321 | 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························13178f8 |
8322 | 00000000015e2580··0000000000000403·R_AARCH64_RELATIVE························1317910 | 8322 | 00000000015e2580··0000000000000403·R_AARCH64_RELATIVE························1317910 |
8323 | 00000000015e25a0··0000000000000403·R_AARCH64_RELATIVE························1317928 | 8323 | 00000000015e25a0··0000000000000403·R_AARCH64_RELATIVE························1317928 |
8324 | 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························13179 | 8324 | 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························1317950 |
8325 | 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························13179 | 8325 | 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························1317940 |
8326 | 00000000015e2600··0000000000000403·R_AARCH64_RELATIVE························1317968 | 8326 | 00000000015e2600··0000000000000403·R_AARCH64_RELATIVE························1317968 |
8327 | 00000000015e2620··0000000000000403·R_AARCH64_RELATIVE························1317980 | 8327 | 00000000015e2620··0000000000000403·R_AARCH64_RELATIVE························1317980 |
8328 | 00000000015e2640··0000000000000403·R_AARCH64_RELATIVE························1317998 | 8328 | 00000000015e2640··0000000000000403·R_AARCH64_RELATIVE························1317998 |
8329 | 00000000015e2660··0000000000000403·R_AARCH64_RELATIVE························1317d90 | 8329 | 00000000015e2660··0000000000000403·R_AARCH64_RELATIVE························1317d90 |
8330 | 00000000015e2680··0000000000000403·R_AARCH64_RELATIVE························132cef0 | 8330 | 00000000015e2680··0000000000000403·R_AARCH64_RELATIVE························132cef0 |
8331 | 00000000015e26a0··0000000000000403·R_AARCH64_RELATIVE························1318b | 8331 | 00000000015e26a0··0000000000000403·R_AARCH64_RELATIVE························1318b38 |
8332 | 00000000015e26c0··0000000000000403·R_AARCH64_RELATIVE························1318b | 8332 | 00000000015e26c0··0000000000000403·R_AARCH64_RELATIVE························1318b28 |
8333 | 00000000015e26e0··0000000000000403·R_AARCH64_RELATIVE························1317230 | 8333 | 00000000015e26e0··0000000000000403·R_AARCH64_RELATIVE························1317230 |
8334 | 00000000015e2700··0000000000000403·R_AARCH64_RELATIVE························132cf08 | 8334 | 00000000015e2700··0000000000000403·R_AARCH64_RELATIVE························132cf08 |
8335 | 00000000015e2720··0000000000000403·R_AARCH64_RELATIVE························13172f0 | 8335 | 00000000015e2720··0000000000000403·R_AARCH64_RELATIVE························13172f0 |
8336 | 00000000015e2740··0000000000000403·R_AARCH64_RELATIVE························1317338 | 8336 | 00000000015e2740··0000000000000403·R_AARCH64_RELATIVE························1317338 |
8337 | 00000000015e2760··0000000000000403·R_AARCH64_RELATIVE························132cf20 | 8337 | 00000000015e2760··0000000000000403·R_AARCH64_RELATIVE························132cf20 |
8338 | 00000000015e2780··0000000000000403·R_AARCH64_RELATIVE························1317350 | 8338 | 00000000015e2780··0000000000000403·R_AARCH64_RELATIVE························1317350 |
8339 | 00000000015e27a0··0000000000000403·R_AARCH64_RELATIVE························132cf38 | 8339 | 00000000015e27a0··0000000000000403·R_AARCH64_RELATIVE························132cf38 |
Offset 8384, 16 lines modified | Offset 8384, 16 lines modified | ||
8384 | 00000000015e2d40··0000000000000403·R_AARCH64_RELATIVE························132d108 | 8384 | 00000000015e2d40··0000000000000403·R_AARCH64_RELATIVE························132d108 |
8385 | 00000000015e2d60··0000000000000403·R_AARCH64_RELATIVE························1317cb0 | 8385 | 00000000015e2d60··0000000000000403·R_AARCH64_RELATIVE························1317cb0 |
8386 | 00000000015e2d80··0000000000000403·R_AARCH64_RELATIVE························1317cd0 | 8386 | 00000000015e2d80··0000000000000403·R_AARCH64_RELATIVE························1317cd0 |
8387 | 00000000015e2da0··0000000000000403·R_AARCH64_RELATIVE························1317640 | 8387 | 00000000015e2da0··0000000000000403·R_AARCH64_RELATIVE························1317640 |
8388 | 00000000015e2dc0··0000000000000403·R_AARCH64_RELATIVE························132d120 | 8388 | 00000000015e2dc0··0000000000000403·R_AARCH64_RELATIVE························132d120 |
8389 | 00000000015e2de0··0000000000000403·R_AARCH64_RELATIVE························12e8f40 | 8389 | 00000000015e2de0··0000000000000403·R_AARCH64_RELATIVE························12e8f40 |
8390 | 00000000015e2e00··0000000000000403·R_AARCH64_RELATIVE························1317a68 | 8390 | 00000000015e2e00··0000000000000403·R_AARCH64_RELATIVE························1317a68 |
8391 | 00000000015e2e20··0000000000000403·R_AARCH64_RELATIVE························1317d | 8391 | 00000000015e2e20··0000000000000403·R_AARCH64_RELATIVE························1317d68 |
8392 | 00000000015e2e40··0000000000000403·R_AARCH64_RELATIVE························1317d | 8392 | 00000000015e2e40··0000000000000403·R_AARCH64_RELATIVE························1317d78 |
8393 | 00000000015e2e60··0000000000000403·R_AARCH64_RELATIVE························1317ea0 | 8393 | 00000000015e2e60··0000000000000403·R_AARCH64_RELATIVE························1317ea0 |
8394 | 00000000015e2e80··0000000000000403·R_AARCH64_RELATIVE························1317eb8 | 8394 | 00000000015e2e80··0000000000000403·R_AARCH64_RELATIVE························1317eb8 |
8395 | 00000000015e2ea0··0000000000000403·R_AARCH64_RELATIVE························1317f38 | 8395 | 00000000015e2ea0··0000000000000403·R_AARCH64_RELATIVE························1317f38 |
8396 | 00000000015e2ec0··0000000000000403·R_AARCH64_RELATIVE························1317f48 | 8396 | 00000000015e2ec0··0000000000000403·R_AARCH64_RELATIVE························1317f48 |
8397 | 00000000015e2ee0··0000000000000403·R_AARCH64_RELATIVE························1316b68 | 8397 | 00000000015e2ee0··0000000000000403·R_AARCH64_RELATIVE························1316b68 |
Max diff block lines reached; 1658/13522 bytes (12.26%) of diff not shown. |
Offset 1, 8 lines modified | Offset 1, 8 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:·AArch64·feature:·BTI,·PAC | 3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·AArch64·feature:·BTI,·PAC |
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:·f | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·fbea2f3ce0e05dbc3f2895742bf0dd52a619dacb |
Offset 8905, 16 lines modified | Offset 8905, 16 lines modified | ||
8905 | opt-res-reconstruction-size | 8905 | opt-res-reconstruction-size |
8906 | output-lang | 8906 | output-lang |
8907 | parse-only | 8907 | parse-only |
8908 | partial-triggers | 8908 | partial-triggers |
8909 | partition-check | 8909 | partition-check |
8910 | partition-conflict-size | 8910 | partition-conflict-size |
8911 | partition-start-time | 8911 | partition-start-time |
8912 | partition-strategy | ||
8913 | partition | 8912 | partition |
8913 | partition-strategy | ||
8914 | partition-time-interval | 8914 | partition-time-interval |
8915 | partition-tlimit | 8915 | partition-tlimit |
8916 | partition-when | 8916 | partition-when |
8917 | pb-rewrites | 8917 | pb-rewrites |
8918 | pivot-threshold | 8918 | pivot-threshold |
8919 | pool-inst | 8919 | pool-inst |
8920 | portfolio-jobs | 8920 | portfolio-jobs |
Offset 8926, 16 lines modified | Offset 8926, 16 lines modified | ||
8926 | preprocess-only | 8926 | preprocess-only |
8927 | preregister-mode | 8927 | preregister-mode |
8928 | print-cores-full | 8928 | print-cores-full |
8929 | print-dot-clusters | 8929 | print-dot-clusters |
8930 | print-inst | 8930 | print-inst |
8931 | print-inst-full | 8931 | print-inst-full |
8932 | produce-abducts | 8932 | produce-abducts |
8933 | produce-assertions | ||
8934 | interactive-mode | 8933 | interactive-mode |
8934 | produce-assertions | ||
8935 | produce-assignments | 8935 | produce-assignments |
8936 | produce-difficulty | 8936 | produce-difficulty |
8937 | produce-interpolants | 8937 | produce-interpolants |
8938 | produce-learned-literals | 8938 | produce-learned-literals |
8939 | produce-proofs | 8939 | produce-proofs |
8940 | produce-unsat-assumptions | 8940 | produce-unsat-assumptions |
8941 | proof-alethe-res-pivots | 8941 | proof-alethe-res-pivots |
Offset 8956, 16 lines modified | Offset 8956, 16 lines modified | ||
8956 | prop-row-length | 8956 | prop-row-length |
8957 | purify-triggers | 8957 | purify-triggers |
8958 | quant-alpha-equiv | 8958 | quant-alpha-equiv |
8959 | quant-dsplit | 8959 | quant-dsplit |
8960 | quant-fun-wd | 8960 | quant-fun-wd |
8961 | quant-ind | 8961 | quant-ind |
8962 | quant-rep-mode | 8962 | quant-rep-mode |
8963 | random-frequency | ||
8964 | random-freq | 8963 | random-freq |
8964 | random-frequency | ||
8965 | random-partitioning | 8965 | random-partitioning |
8966 | re-inter-mode | 8966 | re-inter-mode |
8967 | register-quant-body-terms | 8967 | register-quant-body-terms |
8968 | relational-triggers | 8968 | relational-triggers |
8969 | relevance-filter | 8969 | relevance-filter |
8970 | relevant-triggers | 8970 | relevant-triggers |
8971 | repeat-simp | 8971 | repeat-simp |
Offset 9111, 16 lines modified | Offset 9111, 16 lines modified | ||
9111 | use-fcsimplex | 9111 | use-fcsimplex |
9112 | use-portfolio | 9112 | use-portfolio |
9113 | user-pat | 9113 | user-pat |
9114 | user-pool | 9114 | user-pool |
9115 | var-elim-quant | 9115 | var-elim-quant |
9116 | var-ineq-elim-quant | 9116 | var-ineq-elim-quant |
9117 | wf-checking | 9117 | wf-checking |
9118 | write-partitions-to | ||
9119 | partitions-out | 9118 | partitions-out |
9119 | write-partitions-to | ||
9120 | Argument·' | 9120 | Argument·' |
9121 | '·for·bool·option· | 9121 | '·for·bool·option· |
9122 | ·is·not·a·bool·constant | 9122 | ·is·not·a·bool·constant |
9123 | Unrecognized·option·key·or·setting:· | 9123 | Unrecognized·option·key·or·setting:· |
9124 | Ungettable·option·key·or·setting:· | 9124 | Ungettable·option·key·or·setting:· |
9125 | ·is·not·a·legal·setting,·value·should·be·at·least· | 9125 | ·is·not·a·legal·setting,·value·should·be·at·least· |
9126 | ·is·not·a·legal·setting,·value·should·be·at·most· | 9126 | ·is·not·a·legal·setting,·value·should·be·at·most· |
Offset 73120, 23 lines modified | Offset 73120, 23 lines modified | ||
73120 | » mov» w2,·#0x53··················» //·#83 | 73120 | » mov» w2,·#0x53··················» //·#83 |
73121 | » adrp» x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80> | 73121 | » adrp» x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80> |
73122 | » add» x0,·x19,·#0xd20 | 73122 | » add» x0,·x19,·#0xd20 |
73123 | » add» x1,·x1,·#0xf10 | 73123 | » add» x1,·x1,·#0xf10 |
73124 | » str» w2,·[sp,·#3400] | 73124 | » str» w2,·[sp,·#3400] |
73125 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 73125 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
73126 | » mov» w2,·#0x54··················» //·#84 | 73126 | » mov» w2,·#0x54··················» //·#84 |
73127 | » adrp» x1,·13 | 73127 | » adrp» x1,·1334000·<CaDiCaL::Internal::cover()@@Base+0x5fa80> |
73128 | » add» x0,·x19,·#0xd48 | 73128 | » add» x0,·x19,·#0xd48 |
73129 | » add» x1,·x1,·#0x | 73129 | » add» x1,·x1,·#0xe30 |
73130 | » str» w2,·[sp,·#3440] | 73130 | » str» w2,·[sp,·#3440] |
73131 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 73131 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
73132 | » mov» w2,·#0x55··················» //·#85 | 73132 | » mov» w2,·#0x55··················» //·#85 |
73133 | » adrp» x1,·13 | 73133 | » adrp» x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80> |
73134 | » add» x0,·x19,·#0xd70 | 73134 | » add» x0,·x19,·#0xd70 |
73135 | » add» x1,·x1,·#0x | 73135 | » add» x1,·x1,·#0xf28 |
73136 | » str» w2,·[sp,·#3480] | 73136 | » str» w2,·[sp,·#3480] |
73137 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 73137 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
73138 | » mov» w2,·#0x55··················» //·#85 | 73138 | » mov» w2,·#0x55··················» //·#85 |
73139 | » adrp» x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80> | 73139 | » adrp» x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80> |
73140 | » add» x0,·x19,·#0xd98 | 73140 | » add» x0,·x19,·#0xd98 |
73141 | » add» x1,·x1,·#0x460 | 73141 | » add» x1,·x1,·#0x460 |
73142 | » str» w2,·[sp,·#3520] | 73142 | » str» w2,·[sp,·#3520] |
Offset 74145, 45 lines modified | Offset 74145, 45 lines modified | ||
74145 | » mov» x3,·#0x2468················» //·#9320 | 74145 | » mov» x3,·#0x2468················» //·#9320 |
74146 | » adrp» x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80> | 74146 | » adrp» x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80> |
74147 | » add» x0,·x19,·x3 | 74147 | » add» x0,·x19,·x3 |
74148 | » add» x1,·x1,·#0x3e0 | 74148 | » add» x1,·x1,·#0x3e0 |
74149 | » str» w2,·[sp,·#9360] | 74149 | » str» w2,·[sp,·#9360] |
74150 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74150 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74151 | » mov» w2,·#0xe6··················» //·#230 | 74151 | » mov» w2,·#0xe6··················» //·#230 |
74152 | » adrp» x1,·1 | 74152 | » adrp» x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80> |
74153 | » mov» x0,·#0x2490················» //·#9360 | 74153 | » mov» x0,·#0x2490················» //·#9360 |
74154 | » add» x1,·x1,·#0x | 74154 | » add» x1,·x1,·#0xb80 |
74155 | » add» x0,·x19,·x0 | 74155 | » add» x0,·x19,·x0 |
74156 | » str» w2,·[sp,·#9400] | 74156 | » str» w2,·[sp,·#9400] |
74157 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74157 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74158 | » mov» w2,·#0xe7··················» //·#231 | 74158 | » mov» w2,·#0xe7··················» //·#231 |
74159 | » mov» x30,·#0x24b8················» //·#9400 | 74159 | » mov» x30,·#0x24b8················» //·#9400 |
74160 | » adrp» x1,·1 | 74160 | » adrp» x1,·130a000·<CaDiCaL::Internal::cover()@@Base+0x35a80> |
74161 | » add» x0,·x19,·x30 | 74161 | » add» x0,·x19,·x30 |
74162 | » add» x1,·x1,·#0x | 74162 | » add» x1,·x1,·#0xd80 |
74163 | » str» w2,·[sp,·#9440] | 74163 | » str» w2,·[sp,·#9440] |
74164 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74164 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74165 | » mov» w2,·#0xe7··················» //·#231 | 74165 | » mov» w2,·#0xe7··················» //·#231 |
74166 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> | 74166 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> |
74167 | » mov» x28,·#0x24e0················» //·#9440 | 74167 | » mov» x28,·#0x24e0················» //·#9440 |
74168 | » add» x1,·x1,·#0x8b8 | 74168 | » add» x1,·x1,·#0x8b8 |
74169 | » add» x0,·x19,·x28 | 74169 | » add» x0,·x19,·x28 |
74170 | » str» w2,·[sp,·#9480] | 74170 | » str» w2,·[sp,·#9480] |
74171 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74171 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74172 | » mov» w2,·#0xe8··················» //·#232 | 74172 | » mov» w2,·#0xe8··················» //·#232 |
74173 | » adrp» x1,·1 | 74173 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> |
74174 | » mov» x27,·#0x2508················» //·#9480 | 74174 | » mov» x27,·#0x2508················» //·#9480 |
74175 | » add» x1,·x1,·#0x | 74175 | » add» x1,·x1,·#0x8c0 |
74176 | » add» x0,·x19,·x27 | 74176 | » add» x0,·x19,·x27 |
74177 | » str» w2,·[sp,·#9520] | 74177 | » str» w2,·[sp,·#9520] |
74178 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74178 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74179 | » mov» w2,·#0xe9··················» //·#233 | 74179 | » mov» w2,·#0xe9··················» //·#233 |
74180 | » adrp» x1,·1 | 74180 | » adrp» x1,·12ea000·<CaDiCaL::Internal::cover()@@Base+0x15a80> |
74181 | » mov» x26,·#0x2530················» //·#9520 | 74181 | » mov» x26,·#0x2530················» //·#9520 |
74182 | » add» x1,·x1,·#0x | 74182 | » add» x1,·x1,·#0xfc0 |
74183 | » add» x0,·x19,·x26 | 74183 | » add» x0,·x19,·x26 |
74184 | » str» w2,·[sp,·#9560] | 74184 | » str» w2,·[sp,·#9560] |
74185 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74185 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74186 | » mov» w2,·#0xe9··················» //·#233 | 74186 | » mov» w2,·#0xe9··················» //·#233 |
74187 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> | 74187 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> |
74188 | » mov» x25,·#0x2558················» //·#9560 | 74188 | » mov» x25,·#0x2558················» //·#9560 |
74189 | » add» x1,·x1,·#0x8d0 | 74189 | » add» x1,·x1,·#0x8d0 |
Offset 74232, 15 lines modified | Offset 74232, 15 lines modified | ||
74232 | » add» x1,·x1,·#0x940 | 74232 | » add» x1,·x1,·#0x940 |
74233 | » str» w2,·[sp,·#9840] | 74233 | » str» w2,·[sp,·#9840] |
74234 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74234 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74235 | » mov» w2,·#0xef··················» //·#239 | 74235 | » mov» w2,·#0xef··················» //·#239 |
74236 | » mov» x17,·#0x2670················» //·#9840 | 74236 | » mov» x17,·#0x2670················» //·#9840 |
74237 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> | 74237 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> |
74238 | » add» x0,·x19,·x17 | 74238 | » add» x0,·x19,·x17 |
74239 | » add» x1,·x1,·#0x95 | 74239 | » add» x1,·x1,·#0x950 |
74240 | » str» w2,·[sp,·#9880] | 74240 | » str» w2,·[sp,·#9880] |
74241 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74241 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74242 | » mov» w2,·#0xef··················» //·#239 | 74242 | » mov» w2,·#0xef··················» //·#239 |
74243 | » mov» x16,·#0x2698················» //·#9880 | 74243 | » mov» x16,·#0x2698················» //·#9880 |
74244 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> | 74244 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> |
74245 | » add» x0,·x19,·x16 | 74245 | » add» x0,·x19,·x16 |
74246 | » add» x1,·x1,·#0x968 | 74246 | » add» x1,·x1,·#0x968 |
Offset 74617, 15 lines modified | Offset 74617, 15 lines modified | ||
74617 | » add» x1,·x1,·#0xd68 | 74617 | » add» x1,·x1,·#0xd68 |
74618 | » str» w2,·[sp,·#12040] | 74618 | » str» w2,·[sp,·#12040] |
74619 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74619 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74620 | » mov» w2,·#0x124·················» //·#292 | 74620 | » mov» w2,·#0x124·················» //·#292 |
74621 | » mov» x16,·#0x2f08················» //·#12040 | 74621 | » mov» x16,·#0x2f08················» //·#12040 |
74622 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> | 74622 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> |
74623 | » add» x0,·x19,·x16 | 74623 | » add» x0,·x19,·x16 |
74624 | » add» x1,·x1,·#0xd | 74624 | » add» x1,·x1,·#0xd78 |
74625 | » str» w2,·[sp,·#12080] | 74625 | » str» w2,·[sp,·#12080] |
74626 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74626 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74627 | » mov» w2,·#0x124·················» //·#292 | 74627 | » mov» w2,·#0x124·················» //·#292 |
74628 | » mov» x15,·#0x2f30················» //·#12080 | 74628 | » mov» x15,·#0x2f30················» //·#12080 |
74629 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> | 74629 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> |
74630 | » add» x0,·x19,·x15 | 74630 | » add» x0,·x19,·x15 |
74631 | » add» x1,·x1,·#0xd90 | 74631 | » add» x1,·x1,·#0xd90 |
Offset 74740, 24 lines modified | Offset 74740, 24 lines modified | ||
74740 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> | 74740 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> |
74741 | » mov» x27,·#0x31b0················» //·#12720 | 74741 | » mov» x27,·#0x31b0················» //·#12720 |
74742 | » add» x1,·x1,·#0xef8 | 74742 | » add» x1,·x1,·#0xef8 |
74743 | » add» x0,·x19,·x27 | 74743 | » add» x0,·x19,·x27 |
74744 | » str» w2,·[sp,·#12760] | 74744 | » str» w2,·[sp,·#12760] |
74745 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74745 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74746 | » mov» w2,·#0x135·················» //·#309 | 74746 | » mov» w2,·#0x135·················» //·#309 |
74747 | » adrp» x1,·1 | 74747 | » adrp» x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80> |
74748 | » mov» x26,·#0x31d8················» //·#12760 | 74748 | » mov» x26,·#0x31d8················» //·#12760 |
74749 | » add» x1,·x1,·#0x | 74749 | » add» x1,·x1,·#0xb98 |
74750 | » add» x0,·x19,·x26 | 74750 | » add» x0,·x19,·x26 |
74751 | » str» w2,·[sp,·#12800] | 74751 | » str» w2,·[sp,·#12800] |
74752 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74752 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74753 | » mov» w2,·#0x136·················» //·#310 | 74753 | » mov» w2,·#0x136·················» //·#310 |
74754 | » adrp» x1,·1 | 74754 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> |
74755 | » mov» x25,·#0x3200················» //·#12800 | 74755 | » mov» x25,·#0x3200················» //·#12800 |
74756 | » add» x1,·x1,·#0x | 74756 | » add» x1,·x1,·#0xf00 |
74757 | » add» x0,·x19,·x25 | 74757 | » add» x0,·x19,·x25 |
74758 | » str» w2,·[sp,·#12840] | 74758 | » str» w2,·[sp,·#12840] |
74759 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> | 74759 | » bl» 1194670·<cvc5::internal::Options::Options()@@Base+0x268c> |
74760 | » mov» w2,·#0x136·················» //·#310 | 74760 | » mov» w2,·#0x136·················» //·#310 |
74761 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> | 74761 | » adrp» x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80> |
74762 | » mov» x24,·#0x3228················» //·#12840 | 74762 | » mov» x24,·#0x3228················» //·#12840 |
74763 | » add» x1,·x1,·#0xf10 | 74763 | » add» x1,·x1,·#0xf10 |
Offset 74895, 23 lines modified | Offset 74895, 23 lines modified | ||
Max diff block lines reached; 3150/8721 bytes (36.12%) of diff not shown. |
Offset 17147, 17 lines modified | Offset 17147, 17 lines modified | ||
17147 | ··0x013178d0·70617273·652d6f6e·6c790000·00000000·parse-only...... | 17147 | ··0x013178d0·70617273·652d6f6e·6c790000·00000000·parse-only...... |
17148 | ··0x013178e0·70617274·69616c2d·74726967·67657273·partial-triggers | 17148 | ··0x013178e0·70617274·69616c2d·74726967·67657273·partial-triggers |
17149 | ··0x013178f0·00000000·00000000·63686563·6b000000·........check... | 17149 | ··0x013178f0·00000000·00000000·63686563·6b000000·........check... |
17150 | ··0x01317900·70617274·6974696f·6e2d6368·65636b00·partition-check. | 17150 | ··0x01317900·70617274·6974696f·6e2d6368·65636b00·partition-check. |
17151 | ··0x01317910·70617274·6974696f·6e2d636f·6e666c69·partition-confli | 17151 | ··0x01317910·70617274·6974696f·6e2d636f·6e666c69·partition-confli |
17152 | ··0x01317920·63742d73·697a6500·70617274·6974696f·ct-size.partitio | 17152 | ··0x01317920·63742d73·697a6500·70617274·6974696f·ct-size.partitio |
17153 | ··0x01317930·6e2d7374·6172742d·74696d65·00000000·n-start-time.... | 17153 | ··0x01317930·6e2d7374·6172742d·74696d65·00000000·n-start-time.... |
17154 | ··0x01317940·70617274·6974696f·6e000000·00000000·partition....... | ||
17154 | ··0x013179 | 17155 | ··0x01317950·70617274·6974696f·6e2d7374·72617465·partition-strate |
17155 | ··0x013179 | 17156 | ··0x01317960·67790000·00000000·70617274·6974696f·gy......partitio |
17156 | ··0x01317960·6e000000·00000000·70617274·6974696f·n.......partitio | ||
17157 | ··0x01317970·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval. | 17157 | ··0x01317970·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval. |
17158 | ··0x01317980·70617274·6974696f·6e2d746c·696d6974·partition-tlimit | 17158 | ··0x01317980·70617274·6974696f·6e2d746c·696d6974·partition-tlimit |
17159 | ··0x01317990·00000000·00000000·70617274·6974696f·........partitio | 17159 | ··0x01317990·00000000·00000000·70617274·6974696f·........partitio |
17160 | ··0x013179a0·6e2d7768·656e0000·70622d72·65777269·n-when..pb-rewri | 17160 | ··0x013179a0·6e2d7768·656e0000·70622d72·65777269·n-when..pb-rewri |
17161 | ··0x013179b0·74657300·00000000·7069766f·742d7468·tes.....pivot-th | 17161 | ··0x013179b0·74657300·00000000·7069766f·742d7468·tes.....pivot-th |
17162 | ··0x013179c0·72657368·6f6c6400·706f6f6c·2d696e73·reshold.pool-ins | 17162 | ··0x013179c0·72657368·6f6c6400·706f6f6c·2d696e73·reshold.pool-ins |
17163 | ··0x013179d0·74000000·00000000·706f7274·666f6c69·t.......portfoli | 17163 | ··0x013179d0·74000000·00000000·706f7274·666f6c69·t.......portfoli |
Offset 17173, 17 lines modified | Offset 17173, 17 lines modified | ||
17173 | ··0x01317a70·7465722d·6d6f6465·00000000·00000000·ter-mode........ | 17173 | ··0x01317a70·7465722d·6d6f6465·00000000·00000000·ter-mode........ |
17174 | ··0x01317a80·7072696e·742d636f·7265732d·66756c6c·print-cores-full | 17174 | ··0x01317a80·7072696e·742d636f·7265732d·66756c6c·print-cores-full |
17175 | ··0x01317a90·00000000·00000000·7072696e·742d646f·........print-do | 17175 | ··0x01317a90·00000000·00000000·7072696e·742d646f·........print-do |
17176 | ··0x01317aa0·742d636c·75737465·72730000·00000000·t-clusters...... | 17176 | ··0x01317aa0·742d636c·75737465·72730000·00000000·t-clusters...... |
17177 | ··0x01317ab0·7072696e·742d696e·73740000·00000000·print-inst...... | 17177 | ··0x01317ab0·7072696e·742d696e·73740000·00000000·print-inst...... |
17178 | ··0x01317ac0·7072696e·742d696e·73742d66·756c6c00·print-inst-full. | 17178 | ··0x01317ac0·7072696e·742d696e·73742d66·756c6c00·print-inst-full. |
17179 | ··0x01317ad0·70726f64·7563652d·61626475·63747300·produce-abducts. | 17179 | ··0x01317ad0·70726f64·7563652d·61626475·63747300·produce-abducts. |
17180 | ··0x01317ae0·70726f64·7563652d·61737365·7274696f·produce-assertio | ||
17181 | ··0x01317af0·6e730000·00000000·696e7465·72616374·ns......interact | ||
17182 | ··0x01317 | 17180 | ··0x01317ae0·696e7465·72616374·6976652d·6d6f6465·interactive-mode |
17181 | ··0x01317af0·00000000·00000000·70726f64·7563652d·........produce- | ||
17182 | ··0x01317b00·61737365·7274696f·6e730000·00000000·assertions...... | ||
17183 | ··0x01317b10·70726f64·7563652d·61737369·676e6d65·produce-assignme | 17183 | ··0x01317b10·70726f64·7563652d·61737369·676e6d65·produce-assignme |
17184 | ··0x01317b20·6e747300·00000000·70726f64·7563652d·nts.....produce- | 17184 | ··0x01317b20·6e747300·00000000·70726f64·7563652d·nts.....produce- |
17185 | ··0x01317b30·64696666·6963756c·74790000·00000000·difficulty...... | 17185 | ··0x01317b30·64696666·6963756c·74790000·00000000·difficulty...... |
17186 | ··0x01317b40·70726f64·7563652d·696e7465·72706f6c·produce-interpol | 17186 | ··0x01317b40·70726f64·7563652d·696e7465·72706f6c·produce-interpol |
17187 | ··0x01317b50·616e7473·00000000·70726f64·7563652d·ants....produce- | 17187 | ··0x01317b50·616e7473·00000000·70726f64·7563652d·ants....produce- |
17188 | ··0x01317b60·6c656172·6e65642d·6c697465·72616c73·learned-literals | 17188 | ··0x01317b60·6c656172·6e65642d·6c697465·72616c73·learned-literals |
17189 | ··0x01317b70·00000000·00000000·70726f64·7563652d·........produce- | 17189 | ··0x01317b70·00000000·00000000·70726f64·7563652d·........produce- |
Offset 17214, 16 lines modified | Offset 17214, 16 lines modified | ||
17214 | ··0x01317d00·70757269·66792d74·72696767·65727300·purify-triggers. | 17214 | ··0x01317d00·70757269·66792d74·72696767·65727300·purify-triggers. |
17215 | ··0x01317d10·7175616e·742d616c·7068612d·65717569·quant-alpha-equi | 17215 | ··0x01317d10·7175616e·742d616c·7068612d·65717569·quant-alpha-equi |
17216 | ··0x01317d20·76000000·00000000·7175616e·742d6473·v.......quant-ds | 17216 | ··0x01317d20·76000000·00000000·7175616e·742d6473·v.......quant-ds |
17217 | ··0x01317d30·706c6974·00000000·7175616e·742d6675·plit....quant-fu | 17217 | ··0x01317d30·706c6974·00000000·7175616e·742d6675·plit....quant-fu |
17218 | ··0x01317d40·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in | 17218 | ··0x01317d40·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in |
17219 | ··0x01317d50·64000000·00000000·7175616e·742d7265·d.......quant-re | 17219 | ··0x01317d50·64000000·00000000·7175616e·742d7265·d.......quant-re |
17220 | ··0x01317d60·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f | 17220 | ··0x01317d60·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f |
17221 | ··0x01317d70·72657100·00000000·72616e64·6f6d2d66·req.....random-f | ||
17221 | ··0x01317d | 17222 | ··0x01317d80·72657175·656e6379·00000000·00000000·requency........ |
17222 | ··0x01317d80·72616e64·6f6d2d66·72657100·00000000·random-freq..... | ||
17223 | ··0x01317d90·72616e64·6f6d2d70·61727469·74696f6e·random-partition | 17223 | ··0x01317d90·72616e64·6f6d2d70·61727469·74696f6e·random-partition |
17224 | ··0x01317da0·696e6700·00000000·72652d65·6c696d00·ing.....re-elim. | 17224 | ··0x01317da0·696e6700·00000000·72652d65·6c696d00·ing.....re-elim. |
17225 | ··0x01317db0·72652d69·6e746572·2d6d6f64·65000000·re-inter-mode... | 17225 | ··0x01317db0·72652d69·6e746572·2d6d6f64·65000000·re-inter-mode... |
17226 | ··0x01317dc0·72656769·73746572·2d717561·6e742d62·register-quant-b | 17226 | ··0x01317dc0·72656769·73746572·2d717561·6e742d62·register-quant-b |
17227 | ··0x01317dd0·6f64792d·7465726d·73000000·00000000·ody-terms....... | 17227 | ··0x01317dd0·6f64792d·7465726d·73000000·00000000·ody-terms....... |
17228 | ··0x01317de0·72656c61·74696f6e·616c2d74·72696767·relational-trigg | 17228 | ··0x01317de0·72656c61·74696f6e·616c2d74·72696767·relational-trigg |
17229 | ··0x01317df0·65727300·00000000·72656c65·76616e63·ers.....relevanc | 17229 | ··0x01317df0·65727300·00000000·72656c65·76616e63·ers.....relevanc |
Offset 17433, 17 lines modified | Offset 17433, 17 lines modified | ||
17433 | ··0x01318ab0·7573652d·706f7274·666f6c69·6f000000·use-portfolio... | 17433 | ··0x01318ab0·7573652d·706f7274·666f6c69·6f000000·use-portfolio... |
17434 | ··0x01318ac0·7573652d·736f6900·75736572·2d706174·use-soi.user-pat | 17434 | ··0x01318ac0·7573652d·736f6900·75736572·2d706174·use-soi.user-pat |
17435 | ··0x01318ad0·00000000·00000000·75736572·2d706f6f·........user-poo | 17435 | ··0x01318ad0·00000000·00000000·75736572·2d706f6f·........user-poo |
17436 | ··0x01318ae0·6c000000·00000000·7661722d·656c696d·l.......var-elim | 17436 | ··0x01318ae0·6c000000·00000000·7661722d·656c696d·l.......var-elim |
17437 | ··0x01318af0·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq | 17437 | ··0x01318af0·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq |
17438 | ··0x01318b00·2d656c69·6d2d7175·616e7400·00000000·-elim-quant..... | 17438 | ··0x01318b00·2d656c69·6d2d7175·616e7400·00000000·-elim-quant..... |
17439 | ··0x01318b10·76657262·6f736500·77662d63·6865636b·verbose.wf-check | 17439 | ··0x01318b10·76657262·6f736500·77662d63·6865636b·verbose.wf-check |
17440 | ··0x01318b20·696e6700·00000000·7 | 17440 | ··0x01318b20·696e6700·00000000·70617274·6974696f·ing.....partitio |
17441 | ··0x01318b30·6e732d6f·75740000·77726974·652d7061·ns-out..write-pa | ||
17441 | ··0x01318b | 17442 | ··0x01318b40·72746974·696f6e73·2d746f00·00000000·rtitions-to..... |
17442 | ··0x01318b40·70617274·6974696f·6e732d6f·75740000·partitions-out.. | ||
17443 | ··0x01318b50·41726775·6d656e74·20270000·00000000·Argument·'...... | 17443 | ··0x01318b50·41726775·6d656e74·20270000·00000000·Argument·'...... |
17444 | ··0x01318b60·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio | 17444 | ··0x01318b60·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio |
17445 | ··0x01318b70·6e200000·00000000·20697320·6e6f7420·n·......·is·not· | 17445 | ··0x01318b70·6e200000·00000000·20697320·6e6f7420·n·......·is·not· |
17446 | ··0x01318b80·6120626f·6f6c2063·6f6e7374·616e7400·a·bool·constant. | 17446 | ··0x01318b80·6120626f·6f6c2063·6f6e7374·616e7400·a·bool·constant. |
17447 | ··0x01318b90·556e7265·636f676e·697a6564·206f7074·Unrecognized·opt | 17447 | ··0x01318b90·556e7265·636f676e·697a6564·206f7074·Unrecognized·opt |
17448 | ··0x01318ba0·696f6e20·6b657920·6f722073·65747469·ion·key·or·setti | 17448 | ··0x01318ba0·696f6e20·6b657920·6f722073·65747469·ion·key·or·setti |
17449 | ··0x01318bb0·6e673a20·00000000·25660000·00000000·ng:·....%f...... | 17449 | ··0x01318bb0·6e673a20·00000000·25660000·00000000·ng:·....%f...... |
Offset 1916, 15 lines modified | Offset 1916, 15 lines modified | ||
1916 | ··0x015cfa18·b8733101·00000000·d0733101·00000000·.s1......s1..... | 1916 | ··0x015cfa18·b8733101·00000000·d0733101·00000000·.s1......s1..... |
1917 | ··0x015cfa28·e0733101·00000000·48f12e01·00000000·.s1.....H....... | 1917 | ··0x015cfa28·e0733101·00000000·48f12e01·00000000·.s1.....H....... |
1918 | ··0x015cfa38·e8733101·00000000·00743101·00000000·.s1......t1..... | 1918 | ··0x015cfa38·e8733101·00000000·00743101·00000000·.s1......t1..... |
1919 | ··0x015cfa48·00753101·00000000·10743101·00000000·.u1......t1..... | 1919 | ··0x015cfa48·00753101·00000000·10743101·00000000·.u1......t1..... |
1920 | ··0x015cfa58·20743101·00000000·30743101·00000000··t1.....0t1..... | 1920 | ··0x015cfa58·20743101·00000000·30743101·00000000··t1.....0t1..... |
1921 | ··0x015cfa68·40743101·00000000·50743101·00000000·@t1.....Pt1..... | 1921 | ··0x015cfa68·40743101·00000000·50743101·00000000·@t1.....Pt1..... |
1922 | ··0x015cfa78·60743101·00000000·70743101·00000000·`t1.....pt1..... | 1922 | ··0x015cfa78·60743101·00000000·70743101·00000000·`t1.....pt1..... |
1923 | ··0x015cfa88· | 1923 | ··0x015cfa88·e07a3101·00000000·80743101·00000000·.z1......t1..... |
1924 | ··0x015cfa98·98743101·00000000·b0743101·00000000·.t1......t1..... | 1924 | ··0x015cfa98·98743101·00000000·b0743101·00000000·.t1......t1..... |
1925 | ··0x015cfaa8·c0743101·00000000·d0743101·00000000·.t1......t1..... | 1925 | ··0x015cfaa8·c0743101·00000000·d0743101·00000000·.t1......t1..... |
1926 | ··0x015cfab8·e0743101·00000000·f0743101·00000000·.t1......t1..... | 1926 | ··0x015cfab8·e0743101·00000000·f0743101·00000000·.t1......t1..... |
1927 | ··0x015cfac8·10753101·00000000·d8ef2d01·00000000·.u1.......-..... | 1927 | ··0x015cfac8·10753101·00000000·d8ef2d01·00000000·.u1.......-..... |
1928 | ··0x015cfad8·18753101·00000000·28753101·00000000·.u1.....(u1..... | 1928 | ··0x015cfad8·18753101·00000000·28753101·00000000·.u1.....(u1..... |
1929 | ··0x015cfae8·48753101·00000000·60753101·00000000·Hu1.....`u1..... | 1929 | ··0x015cfae8·48753101·00000000·60753101·00000000·Hu1.....`u1..... |
1930 | ··0x015cfaf8·80753101·00000000·98753101·00000000·.u1......u1..... | 1930 | ··0x015cfaf8·80753101·00000000·98753101·00000000·.u1......u1..... |
Offset 1950, 28 lines modified | Offset 1950, 28 lines modified | ||
1950 | ··0x015cfc38·28783101·00000000·38783101·00000000·(x1.....8x1..... | 1950 | ··0x015cfc38·28783101·00000000·38783101·00000000·(x1.....8x1..... |
1951 | ··0x015cfc48·58783101·00000000·60783101·00000000·Xx1.....`x1..... | 1951 | ··0x015cfc48·58783101·00000000·60783101·00000000·Xx1.....`x1..... |
1952 | ··0x015cfc58·68783101·00000000·80783101·00000000·hx1......x1..... | 1952 | ··0x015cfc58·68783101·00000000·80783101·00000000·hx1......x1..... |
1953 | ··0x015cfc68·98783101·00000000·e0c33001·00000000·.x1.......0..... | 1953 | ··0x015cfc68·98783101·00000000·e0c33001·00000000·.x1.......0..... |
1954 | ··0x015cfc78·80ad3001·00000000·b8783101·00000000·..0......x1..... | 1954 | ··0x015cfc78·80ad3001·00000000·b8783101·00000000·..0......x1..... |
1955 | ··0x015cfc88·c0783101·00000000·c0af2e01·00000000·.x1............. | 1955 | ··0x015cfc88·c0783101·00000000·c0af2e01·00000000·.x1............. |
1956 | ··0x015cfc98·d0783101·00000000·e0783101·00000000·.x1......x1..... | 1956 | ··0x015cfc98·d0783101·00000000·e0783101·00000000·.x1......x1..... |
1957 | ··0x015cfca8· | 1957 | ··0x015cfca8·40793101·00000000·00793101·00000000·@y1......y1..... |
1958 | ··0x015cfcb8·10793101·00000000·28793101·00000000·.y1.....(y1..... | 1958 | ··0x015cfcb8·10793101·00000000·28793101·00000000·.y1.....(y1..... |
1959 | ··0x015cfcc8· | 1959 | ··0x015cfcc8·50793101·00000000·68793101·00000000·Py1.....hy1..... |
1960 | ··0x015cfcd8·80793101·00000000·98793101·00000000·.y1......y1..... | 1960 | ··0x015cfcd8·80793101·00000000·98793101·00000000·.y1......y1..... |
1961 | ··0x015cfce8· | 1961 | ··0x015cfce8·288b3101·00000000·a8793101·00000000·(.1......y1..... |
1962 | ··0x015cfcf8·b8793101·00000000·c8793101·00000000·.y1......y1..... | 1962 | ··0x015cfcf8·b8793101·00000000·c8793101·00000000·.y1......y1..... |
1963 | ··0x015cfd08·d8793101·00000000·e8793101·00000000·.y1......y1..... | 1963 | ··0x015cfd08·d8793101·00000000·e8793101·00000000·.y1......y1..... |
1964 | ··0x015cfd18·007a3101·00000000·187a3101·00000000·.z1......z1..... | 1964 | ··0x015cfd18·007a3101·00000000·187a3101·00000000·.z1......z1..... |
1965 | ··0x015cfd28·307a3101·00000000·407a3101·00000000·0z1.....@z1..... | 1965 | ··0x015cfd28·307a3101·00000000·407a3101·00000000·0z1.....@z1..... |
1966 | ··0x015cfd38·587a3101·00000000·687a3101·00000000·Xz1.....hz1..... | 1966 | ··0x015cfd38·587a3101·00000000·687a3101·00000000·Xz1.....hz1..... |
1967 | ··0x015cfd48·807a3101·00000000·987a3101·00000000·.z1......z1..... | 1967 | ··0x015cfd48·807a3101·00000000·987a3101·00000000·.z1......z1..... |
1968 | ··0x015cfd58·b07a3101·00000000·c07a3101·00000000·.z1......z1..... | 1968 | ··0x015cfd58·b07a3101·00000000·c07a3101·00000000·.z1......z1..... |
1969 | ··0x015cfd68·708b2d01·00000000·d07a3101·00000000·p.-......z1..... | 1969 | ··0x015cfd68·708b2d01·00000000·d07a3101·00000000·p.-......z1..... |
1970 | ··0x015cfd78· | 1970 | ··0x015cfd78·f87a3101·00000000·107b3101·00000000·.z1......{1..... |
1971 | ··0x015cfd88·287b3101·00000000·407b3101·00000000·({1.....@{1..... | 1971 | ··0x015cfd88·287b3101·00000000·407b3101·00000000·({1.....@{1..... |
1972 | ··0x015cfd98·587b3101·00000000·10c02e01·00000000·X{1............. | 1972 | ··0x015cfd98·587b3101·00000000·10c02e01·00000000·X{1............. |
1973 | ··0x015cfda8·787b3101·00000000·887b3101·00000000·x{1......{1..... | 1973 | ··0x015cfda8·787b3101·00000000·887b3101·00000000·x{1......{1..... |
1974 | ··0x015cfdb8·88f72f01·00000000·a87b3101·00000000·../......{1..... | 1974 | ··0x015cfdb8·88f72f01·00000000·a87b3101·00000000·../......{1..... |
1975 | ··0x015cfdc8·c07b3101·00000000·d07b3101·00000000·.{1......{1..... | 1975 | ··0x015cfdc8·c07b3101·00000000·d07b3101·00000000·.{1......{1..... |
1976 | ··0x015cfdd8·e07b3101·00000000·f87b3101·00000000·.{1......{1..... | 1976 | ··0x015cfdd8·e07b3101·00000000·f87b3101·00000000·.{1......{1..... |
1977 | ··0x015cfde8·087c3101·00000000·207c3101·00000000·.|1.....·|1..... | 1977 | ··0x015cfde8·087c3101·00000000·207c3101·00000000·.|1.....·|1..... |
Offset 1979, 15 lines modified | Offset 1979, 15 lines modified | ||
1979 | ··0x015cfe08·607c3101·00000000·707c3101·00000000·`|1.....p|1..... | 1979 | ··0x015cfe08·607c3101·00000000·707c3101·00000000·`|1.....p|1..... |
1980 | ··0x015cfe18·807c3101·00000000·987c3101·00000000·.|1......|1..... | 1980 | ··0x015cfe18·807c3101·00000000·987c3101·00000000·.|1......|1..... |
1981 | ··0x015cfe28·b07c3101·00000000·d07c3101·00000000·.|1......|1..... | 1981 | ··0x015cfe28·b07c3101·00000000·d07c3101·00000000·.|1......|1..... |
1982 | ··0x015cfe38·f07c3101·00000000·007d3101·00000000·.|1......}1..... | 1982 | ··0x015cfe38·f07c3101·00000000·007d3101·00000000·.|1......}1..... |
1983 | ··0x015cfe48·107d3101·00000000·287d3101·00000000·.}1.....(}1..... | 1983 | ··0x015cfe48·107d3101·00000000·287d3101·00000000·.}1.....(}1..... |
1984 | ··0x015cfe58·387d3101·00000000·487d3101·00000000·8}1.....H}1..... | 1984 | ··0x015cfe58·387d3101·00000000·487d3101·00000000·8}1.....H}1..... |
1985 | ··0x015cfe68·587d3101·00000000·d85c2e01·00000000·X}1......\...... | 1985 | ··0x015cfe68·587d3101·00000000·d85c2e01·00000000·X}1......\...... |
1986 | ··0x015cfe78· | 1986 | ··0x015cfe78·687d3101·00000000·787d3101·00000000·h}1.....x}1..... |
1987 | ··0x015cfe88·907d3101·00000000·a87d3101·00000000·.}1......}1..... | 1987 | ··0x015cfe88·907d3101·00000000·a87d3101·00000000·.}1......}1..... |
1988 | ··0x015cfe98·b07d3101·00000000·c07d3101·00000000·.}1......}1..... | 1988 | ··0x015cfe98·b07d3101·00000000·c07d3101·00000000·.}1......}1..... |
1989 | ··0x015cfea8·808b2d01·00000000·e07d3101·00000000·..-......}1..... | 1989 | ··0x015cfea8·808b2d01·00000000·e07d3101·00000000·..-......}1..... |
1990 | ··0x015cfeb8·f87d3101·00000000·107e3101·00000000·.}1......~1..... | 1990 | ··0x015cfeb8·f87d3101·00000000·107e3101·00000000·.}1......~1..... |
1991 | ··0x015cfec8·287e3101·00000000·387e3101·00000000·(~1.....8~1..... | 1991 | ··0x015cfec8·287e3101·00000000·387e3101·00000000·(~1.....8~1..... |
1992 | ··0x015cfed8·587e3101·00000000·707e3101·00000000·X~1.....p~1..... | 1992 | ··0x015cfed8·587e3101·00000000·707e3101·00000000·X~1.....p~1..... |
1993 | ··0x015cfee8·887e3101·00000000·988b2d01·00000000·.~1.......-..... | 1993 | ··0x015cfee8·887e3101·00000000·988b2d01·00000000·.~1.......-..... |
Offset 2069, 15 lines modified | Offset 2069, 15 lines modified | ||
2069 | ··0x015d03a8·288f2e01·00000000·788a3101·00000000·(.......x.1..... | 2069 | ··0x015d03a8·288f2e01·00000000·788a3101·00000000·(.......x.1..... |
2070 | ··0x015d03b8·908a3101·00000000·a08a3101·00000000·..1.......1..... | 2070 | ··0x015d03b8·908a3101·00000000·a08a3101·00000000·..1.......1..... |
2071 | ··0x015d03c8·b08a3101·00000000·c08a3101·00000000·..1.......1..... | 2071 | ··0x015d03c8·b08a3101·00000000·c08a3101·00000000·..1.......1..... |
2072 | ··0x015d03d8·c88a3101·00000000·d88a3101·00000000·..1.......1..... | 2072 | ··0x015d03d8·c88a3101·00000000·d88a3101·00000000·..1.......1..... |
2073 | ··0x015d03e8·e88a3101·00000000·f88a3101·00000000·..1.......1..... | 2073 | ··0x015d03e8·e88a3101·00000000·f88a3101·00000000·..1.......1..... |
2074 | ··0x015d03f8·108b3101·00000000·288b2d01·00000000·..1.....(.-..... | 2074 | ··0x015d03f8·108b3101·00000000·288b2d01·00000000·..1.....(.-..... |
2075 | ··0x015d0408·288a2d01·00000000·188b3101·00000000·(.-.......1..... | 2075 | ··0x015d0408·288a2d01·00000000·188b3101·00000000·(.-.......1..... |
2076 | ··0x015d0418· | 2076 | ··0x015d0418·388b3101·00000000·a0b43001·00000000·8.1.......0..... |
2077 | ··0x015d0428·a8b43001·00000000·50c22d01·00000000·..0.....P.-..... | 2077 | ··0x015d0428·a8b43001·00000000·50c22d01·00000000·..0.....P.-..... |
2078 | ··0x015d0438·98b43001·00000000·d0823101·00000000·..0.......1..... | 2078 | ··0x015d0438·98b43001·00000000·d0823101·00000000·..0.......1..... |
2079 | ··0x015d0448·a0883101·00000000·b8b73001·00000000·..1.......0..... | 2079 | ··0x015d0448·a0883101·00000000·b8b73001·00000000·..1.......0..... |
2080 | ··0x015d0458·28ea3001·00000000·c8622e01·00000000·(.0......b...... | 2080 | ··0x015d0458·28ea3001·00000000·c8622e01·00000000·(.0......b...... |
2081 | ··0x015d0468·e0cc3001·00000000·40d52d01·00000000·..0.....@.-..... | 2081 | ··0x015d0468·e0cc3001·00000000·40d52d01·00000000·..0.....@.-..... |
2082 | ··0x015d0478·58d52d01·00000000·d8cc3001·00000000·X.-.......0..... | 2082 | ··0x015d0478·58d52d01·00000000·d8cc3001·00000000·X.-.......0..... |
2083 | ··0x015d0488·40cd3001·00000000·50cd3001·00000000·@.0.....P.0..... | 2083 | ··0x015d0488·40cd3001·00000000·50cd3001·00000000·@.0.....P.0..... |
Offset 600, 31 lines modified | Offset 600, 31 lines modified | ||
600 | ··0x015e2550·00000000·00000000·03020000·00000000·................ | 600 | ··0x015e2550·00000000·00000000·03020000·00000000·................ |
601 | ··0x015e2560·f8783101·00000000·01000000·00000000·.x1............. | 601 | ··0x015e2560·f8783101·00000000·01000000·00000000·.x1............. |
602 | ··0x015e2570·00000000·00000000·04020000·00000000·................ | 602 | ··0x015e2570·00000000·00000000·04020000·00000000·................ |
603 | ··0x015e2580·10793101·00000000·01000000·00000000·.y1............. | 603 | ··0x015e2580·10793101·00000000·01000000·00000000·.y1............. |
604 | ··0x015e2590·00000000·00000000·05020000·00000000·................ | 604 | ··0x015e2590·00000000·00000000·05020000·00000000·................ |
605 | ··0x015e25a0·28793101·00000000·01000000·00000000·(y1............. | 605 | ··0x015e25a0·28793101·00000000·01000000·00000000·(y1............. |
606 | ··0x015e25b0·00000000·00000000·06020000·00000000·................ | 606 | ··0x015e25b0·00000000·00000000·06020000·00000000·................ |
607 | ··0x015e25c0· | 607 | ··0x015e25c0·50793101·00000000·01000000·00000000·Py1............. |
608 | ··0x015e25d0·00000000·00000000·07020000·00000000·................ | 608 | ··0x015e25d0·00000000·00000000·07020000·00000000·................ |
609 | ··0x015e25e0· | 609 | ··0x015e25e0·40793101·00000000·01000000·00000000·@y1............. |
610 | ··0x015e25f0·00000000·00000000·08020000·00000000·................ | 610 | ··0x015e25f0·00000000·00000000·08020000·00000000·................ |
611 | ··0x015e2600·68793101·00000000·01000000·00000000·hy1............. | 611 | ··0x015e2600·68793101·00000000·01000000·00000000·hy1............. |
612 | ··0x015e2610·00000000·00000000·09020000·00000000·................ | 612 | ··0x015e2610·00000000·00000000·09020000·00000000·................ |
613 | ··0x015e2620·80793101·00000000·01000000·00000000·.y1............. | 613 | ··0x015e2620·80793101·00000000·01000000·00000000·.y1............. |
614 | ··0x015e2630·00000000·00000000·0a020000·00000000·................ | 614 | ··0x015e2630·00000000·00000000·0a020000·00000000·................ |
615 | ··0x015e2640·98793101·00000000·01000000·00000000·.y1............. | 615 | ··0x015e2640·98793101·00000000·01000000·00000000·.y1............. |
616 | ··0x015e2650·00000000·00000000·0b020000·00000000·................ | 616 | ··0x015e2650·00000000·00000000·0b020000·00000000·................ |
617 | ··0x015e2660·907d3101·00000000·00000000·00000000·.}1............. | 617 | ··0x015e2660·907d3101·00000000·00000000·00000000·.}1............. |
618 | ··0x015e2670·00000000·00000000·0c020000·00000000·................ | 618 | ··0x015e2670·00000000·00000000·0c020000·00000000·................ |
619 | ··0x015e2680·f0ce3201·00000000·00000000·00000000·..2............. | 619 | ··0x015e2680·f0ce3201·00000000·00000000·00000000·..2............. |
620 | ··0x015e2690·00000000·00000000·0d020000·00000000·................ | 620 | ··0x015e2690·00000000·00000000·0d020000·00000000·................ |
621 | ··0x015e26a0· | 621 | ··0x015e26a0·388b3101·00000000·01000000·00000000·8.1............. |
622 | ··0x015e26b0·00000000·00000000·0e020000·00000000·................ | 622 | ··0x015e26b0·00000000·00000000·0e020000·00000000·................ |
623 | ··0x015e26c0· | 623 | ··0x015e26c0·288b3101·00000000·01000000·00000000·(.1............. |
624 | ··0x015e26d0·00000000·00000000·0f020000·00000000·................ | 624 | ··0x015e26d0·00000000·00000000·0f020000·00000000·................ |
625 | ··0x015e26e0·30723101·00000000·00000000·00000000·0r1............. | 625 | ··0x015e26e0·30723101·00000000·00000000·00000000·0r1............. |
626 | ··0x015e26f0·00000000·00000000·10020000·00000000·................ | 626 | ··0x015e26f0·00000000·00000000·10020000·00000000·................ |
627 | ··0x015e2700·08cf3201·00000000·00000000·00000000·..2............. | 627 | ··0x015e2700·08cf3201·00000000·00000000·00000000·..2............. |
628 | ··0x015e2710·00000000·00000000·11020000·00000000·................ | 628 | ··0x015e2710·00000000·00000000·11020000·00000000·................ |
629 | ··0x015e2720·f0723101·00000000·01000000·00000000·.r1............. | 629 | ··0x015e2720·f0723101·00000000·01000000·00000000·.r1............. |
630 | ··0x015e2730·00000000·00000000·12020000·00000000·................ | 630 | ··0x015e2730·00000000·00000000·12020000·00000000·................ |
Offset 734, 17 lines modified | Offset 734, 17 lines modified | ||
734 | ··0x015e2db0·00000000·00000000·46020000·00000000·........F....... | 734 | ··0x015e2db0·00000000·00000000·46020000·00000000·........F....... |
735 | ··0x015e2dc0·20d13201·00000000·00000000·00000000··.2............. | 735 | ··0x015e2dc0·20d13201·00000000·00000000·00000000··.2............. |
736 | ··0x015e2dd0·00000000·00000000·47020000·00000000·........G....... | 736 | ··0x015e2dd0·00000000·00000000·47020000·00000000·........G....... |
737 | ··0x015e2de0·408f2e01·00000000·01000000·00000000·@............... | 737 | ··0x015e2de0·408f2e01·00000000·01000000·00000000·@............... |
738 | ··0x015e2df0·00000000·00000000·48020000·00000000·........H....... | 738 | ··0x015e2df0·00000000·00000000·48020000·00000000·........H....... |
739 | ··0x015e2e00·687a3101·00000000·01000000·00000000·hz1............. | 739 | ··0x015e2e00·687a3101·00000000·01000000·00000000·hz1............. |
740 | ··0x015e2e10·00000000·00000000·49020000·00000000·........I....... | 740 | ··0x015e2e10·00000000·00000000·49020000·00000000·........I....... |
741 | ··0x015e2e20· | 741 | ··0x015e2e20·687d3101·00000000·01000000·00000000·h}1............. |
742 | ··0x015e2e30·00000000·00000000·4a020000·00000000·........J....... | 742 | ··0x015e2e30·00000000·00000000·4a020000·00000000·........J....... |
743 | ··0x015e2e40· | 743 | ··0x015e2e40·787d3101·00000000·01000000·00000000·x}1............. |
744 | ··0x015e2e50·00000000·00000000·4b020000·00000000·........K....... | 744 | ··0x015e2e50·00000000·00000000·4b020000·00000000·........K....... |
745 | ··0x015e2e60·a07e3101·00000000·01000000·00000000·.~1............. | 745 | ··0x015e2e60·a07e3101·00000000·01000000·00000000·.~1............. |
746 | ··0x015e2e70·00000000·00000000·4c020000·00000000·........L....... | 746 | ··0x015e2e70·00000000·00000000·4c020000·00000000·........L....... |
747 | ··0x015e2e80·b87e3101·00000000·01000000·00000000·.~1............. | 747 | ··0x015e2e80·b87e3101·00000000·01000000·00000000·.~1............. |
748 | ··0x015e2e90·00000000·00000000·4d020000·00000000·........M....... | 748 | ··0x015e2e90·00000000·00000000·4d020000·00000000·........M....... |
749 | ··0x015e2ea0·387f3101·00000000·01000000·00000000·8.1............. | 749 | ··0x015e2ea0·387f3101·00000000·01000000·00000000·8.1............. |
750 | ··0x015e2eb0·00000000·00000000·4e020000·00000000·........N....... | 750 | ··0x015e2eb0·00000000·00000000·4e020000·00000000·........N....... |
Offset 1404, 17 lines modified | Offset 1404, 17 lines modified | ||
1404 | ··0x015e5790·00000000·00000000·95030000·00000000·................ | 1404 | ··0x015e5790·00000000·00000000·95030000·00000000·................ |
1405 | ··0x015e57a0·08dd3201·00000000·00000000·00000000·..2............. | 1405 | ··0x015e57a0·08dd3201·00000000·00000000·00000000·..2............. |
1406 | ··0x015e57b0·00000000·00000000·96030000·00000000·................ | 1406 | ··0x015e57b0·00000000·00000000·96030000·00000000·................ |
1407 | ··0x015e57c0·d07a3101·00000000·00000000·00000000·.z1............. | 1407 | ··0x015e57c0·d07a3101·00000000·00000000·00000000·.z1............. |
1408 | ··0x015e57d0·00000000·00000000·97030000·00000000·................ | 1408 | ··0x015e57d0·00000000·00000000·97030000·00000000·................ |
1409 | ··0x015e57e0·20dd3201·00000000·00000000·00000000··.2............. | 1409 | ··0x015e57e0·20dd3201·00000000·00000000·00000000··.2............. |
1410 | ··0x015e57f0·00000000·00000000·98030000·00000000·................ | 1410 | ··0x015e57f0·00000000·00000000·98030000·00000000·................ |
1411 | ··0x015e5800· | 1411 | ··0x015e5800·f87a3101·00000000·00000000·00000000·.z1............. |
1412 | ··0x015e5810·00000000·00000000·99030000·00000000·................ | 1412 | ··0x015e5810·00000000·00000000·99030000·00000000·................ |
1413 | ··0x015e5820· | 1413 | ··0x015e5820·e07a3101·00000000·00000000·00000000·.z1............. |
1414 | ··0x015e5830·00000000·00000000·9a030000·00000000·................ | 1414 | ··0x015e5830·00000000·00000000·9a030000·00000000·................ |
1415 | ··0x015e5840·38dd3201·00000000·00000000·00000000·8.2............. | 1415 | ··0x015e5840·38dd3201·00000000·00000000·00000000·8.2............. |
1416 | ··0x015e5850·00000000·00000000·9b030000·00000000·................ | 1416 | ··0x015e5850·00000000·00000000·9b030000·00000000·................ |
1417 | ··0x015e5860·50dd3201·00000000·00000000·00000000·P.2............. | 1417 | ··0x015e5860·50dd3201·00000000·00000000·00000000·P.2............. |
1418 | ··0x015e5870·00000000·00000000·9c030000·00000000·................ | 1418 | ··0x015e5870·00000000·00000000·9c030000·00000000·................ |
1419 | ··0x015e5880·107b3101·00000000·00000000·00000000·.{1............. | 1419 | ··0x015e5880·107b3101·00000000·00000000·00000000·.{1............. |
1420 | ··0x015e5890·00000000·00000000·9d030000·00000000·................ | 1420 | ··0x015e5890·00000000·00000000·9d030000·00000000·................ |
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·61356138·39306566·30306466·62306639·a5a890ef00dfb0f9 | ||
3 | ··0x000000 | 2 | ··0x00000000·65613266·33636530·65303564·62633366·ea2f3ce0e05dbc3f |
3 | ··0x00000010·32383935·37343262·66306464·35326136·2895742bf0dd52a6 | ||
4 | ··0x00000020·3 | 4 | ··0x00000020·31396461·63622e64·65627567·00000000·19dacb.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·7543241a····························uC$. |
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·····1260·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0···20 | 3 | -rw-r--r--···0········0········0···206068·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 1, 8 lines modified | Offset 1, 8 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:·AArch64·feature:·BTI,·PAC | 3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·AArch64·feature:·BTI,·PAC |
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:·a | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·6a7996e6eccf478bdb4d83a3abea687021cba88c |
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·62373163·66323333·64343733·32333437·b71cf233d4732347 | ||
3 | ··0x000000 | 2 | ··0x00000000·37393936·65366563·63663437·38626462·7996e6eccf478bdb |
3 | ··0x00000010·34643833·61336162·65613638·37303231·4d83a3abea687021 | ||
4 | ··0x00000020· | 4 | ··0x00000020·63626138·38632e64·65627567·00000000·cba88c.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·a290467f····························..F. |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····1676·2024-03-19·00:06:23.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1676·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0···295 | 3 | -rw-r--r--···0········0········0···295620·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 1, 8 lines modified | Offset 1, 8 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:·AArch64·feature:·BTI,·PAC | 3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·AArch64·feature:·BTI,·PAC |
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:·a7d5155329daaf0812e4ba2834549a240a99441b |
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·63373261·30346636·64316330·33356338·c72a04f6d1c035c8 | ||
3 | ··0x000000 | 2 | ··0x00000000·64353135·35333239·64616166·30383132·d5155329daaf0812 |
3 | ··0x00000010·65346261·32383334·35343961·32343061·e4ba2834549a240a | ||
4 | ··0x00000020·3 | 4 | ··0x00000020·39393434·31622e64·65627567·00000000·99441b.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·098302b2····························.... |
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······5 | 2 | -rw-r--r--···0········0········0······528·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0··1843 | 3 | -rw-r--r--···0········0········0··1843932·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 5, 8 lines modified | Offset 5, 8 lines modified | ||
5 | Architecture:·arm64 | 5 | Architecture:·arm64 |
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:·2288 | 7 | Installed-Size:·2288 |
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:·2e0699e43d9ac1b55258c1153706998555491562 |
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/2e/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)··23321 | 7 | -rw-r--r--···0·root·········(0)·root·········(0)··2332152·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/2e/0699e43d9ac1b55258c1153706998555491562.debug |
8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/ |
9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/ |
10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5 | 10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5 |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary |
2 | -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0·17968 | 3 | -rw-r--r--···0········0········0·179688112·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:·arm64 | 5 | Architecture:·arm64 |
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:·17878 | 7 | Installed-Size:·178782 |
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:·f | 13 | Build-Ids:·fbea2f3ce0e05dbc3f2895742bf0dd52a619dacb |
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/f | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/fb/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)·18306 | 7 | -rw-r--r--···0·root·········(0)·root·········(0)·183062456·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/fb/ea2f3ce0e05dbc3f2895742bf0dd52a619dacb.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:···························AArch64 | 9 | ··Machine:···························AArch64 |
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:··········18305 | 13 | ··Start·of·section·headers:··········183059896·(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·0xae9 | 1 | There·are·40·section·headers,·starting·at·offset·0xae945b8: |
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············0000000000000270·000270·000020·00···A··0···0··8 | 5 | ··[·1]·.note.gnu.property·NOTE············0000000000000270·000270·000020·00···A··0···0··8 |
6 | ··[·2]·.note.gnu.build-id·NOTE············0000000000000290·000290·000024·00···A··0···0··4 | 6 | ··[·2]·.note.gnu.build-id·NOTE············0000000000000290·000290·000024·00···A··0···0··4 |
7 | ··[·3]·.gnu.hash·········NOBITS··········00000000000002b8·0002b4·004d18·00···A··4···0··8 | 7 | ··[·3]·.gnu.hash·········NOBITS··········00000000000002b8·0002b4·004d18·00···A··4···0··8 |
Offset 27, 23 lines modified | Offset 27, 23 lines modified | ||
27 | ··[22]·.data.rel.ro······NOBITS··········00000000015c8288·007070·013ae8·00··WA··0···0··8 | 27 | ··[22]·.data.rel.ro······NOBITS··········00000000015c8288·007070·013ae8·00··WA··0···0··8 |
28 | ··[23]·.dynamic··········NOBITS··········00000000015dbd70·007070·000260·10··WA··5···0··8 | 28 | ··[23]·.dynamic··········NOBITS··········00000000015dbd70·007070·000260·10··WA··5···0··8 |
29 | ··[24]·.got··············NOBITS··········00000000015dbfd0·007070·004030·08··WA··0···0··8 | 29 | ··[24]·.got··············NOBITS··········00000000015dbfd0·007070·004030·08··WA··0···0··8 |
30 | ··[25]·.data·············NOBITS··········00000000015e0000·007070·009ca8·00··WA··0···0·16 | 30 | ··[25]·.data·············NOBITS··········00000000015e0000·007070·009ca8·00··WA··0···0·16 |
31 | ··[26]·.bss··············NOBITS··········00000000015e9ca8·007070·003340·00··WA··0···0··8 | 31 | ··[26]·.bss··············NOBITS··········00000000015e9ca8·007070·003340·00··WA··0···0··8 |
32 | ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001f·01··MS··0···0··1 | 32 | ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001f·01··MS··0···0··1 |
33 | ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c602·00···C··0···0··8 | 33 | ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c602·00···C··0···0··8 |
34 | ··[29]·.debug_info·······PROGBITS········0000000000000000·00c8e0·87e | 34 | ··[29]·.debug_info·······PROGBITS········0000000000000000·00c8e0·87e72aa·00···C··0···0··8 |
35 | ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87f3 | 35 | ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87f3b90·0dad8a·00···C··0···0··8 |
36 | ··[31]·.debug_line·······PROGBITS········0000000000000000·88ce | 36 | ··[31]·.debug_line·······PROGBITS········0000000000000000·88ce920·7cc91a·00···C··0···0··8 |
37 | ··[32]·.debug_str········PROGBITS········0000000000000000·909 | 37 | ··[32]·.debug_str········PROGBITS········0000000000000000·909b240·3dfe02·01·MSC··0···0··8 |
38 | ··[33]·.debug_line_str···PROGBITS········0000000000000000·947 | 38 | ··[33]·.debug_line_str···PROGBITS········0000000000000000·947b048·0028b6·01·MSC··0···0··8 |
39 | ··[34]·.debug_loclists···PROGBITS········0000000000000000·947d | 39 | ··[34]·.debug_loclists···PROGBITS········0000000000000000·947d900·11474f6·00···C··0···0··8 |
40 | ··[35]·.debug_macro······PROGBITS········0000000000000000·a5c4 | 40 | ··[35]·.debug_macro······PROGBITS········0000000000000000·a5c4df8·161527·00···C··0···0··8 |
41 | ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a72 | 41 | ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a726320·48726f·00···C··0···0··8 |
42 | ··[37]·.symtab···········SYMTAB··········0000000000000000·aba | 42 | ··[37]·.symtab···········SYMTAB··········0000000000000000·abad590·0e9af0·18·····38·37166··8 |
43 | ··[38]·.strtab···········STRTAB··········0000000000000000·ac9 | 43 | ··[38]·.strtab···········STRTAB··········0000000000000000·ac97080·1fd398·00······0···0··1 |
44 | ··[39]·.shstrtab·········STRTAB··········0000000000000000·ae9 | 44 | ··[39]·.shstrtab·········STRTAB··········0000000000000000·ae94418·0001a0·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),·p·(processor·specific) | 49 | ··R·(retain),·D·(mbind),·p·(processor·specific) |
Offset 1, 8 lines modified | Offset 1, 8 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:·AArch64·feature:·BTI,·PAC | 3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·AArch64·feature:·BTI,·PAC |
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:·f | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·fbea2f3ce0e05dbc3f2895742bf0dd52a619dacb |
Offset 8, 27 lines modified | Offset 8, 27 lines modified | ||
8 | ···Pointer·Size:··8 | 8 | ···Pointer·Size:··8 |
9 | ·<0><c>:·Abbrev·Number:·2·(DW_TAG_partial_unit) | 9 | ·<0><c>:·Abbrev·Number:·2·(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:·0x15):·./obj-aarch64-linux-gnu/src | 11 | ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x15):·./obj-aarch64-linux-gnu/src |
12 | ·<1><15>:·Abbrev·Number:·101·(DW_TAG_base_type) | 12 | ·<1><15>:·Abbrev·Number:·101·(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:·0x16 | 15 | ····<18>···DW_AT_name········:·(strp)·(offset:·0x1620c):·long·int |
16 | ·<1><1c>:·Abbrev·Number:·101·(DW_TAG_base_type) | 16 | ·<1><1c>:·Abbrev·Number:·101·(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:·0xeb4e):·long·unsigned·int | 19 | ····<1f>···DW_AT_name········:·(strp)·(offset:·0xeb4e):·long·unsigned·int |
20 | ·<1><23>:·Abbrev·Number:·101·(DW_TAG_base_type) | 20 | ·<1><23>:·Abbrev·Number:·101·(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:·0x1aea9):·unsigned·char | 23 | ····<26>···DW_AT_name········:·(strp)·(offset:·0x1aea9):·unsigned·char |
24 | ·<1><2a>:·Abbrev·Number:·101·(DW_TAG_base_type) | 24 | ·<1><2a>:·Abbrev·Number:·101·(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:·0x129 | 27 | ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1299c):·short·unsigned·int |
28 | ·<1><31>:·Abbrev·Number:·101·(DW_TAG_base_type) | 28 | ·<1><31>:·Abbrev·Number:·101·(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:·0xc9d2):·unsigned·int | 31 | ····<34>···DW_AT_name········:·(strp)·(offset:·0xc9d2):·unsigned·int |
32 | ·<1><38>:·Abbrev·Number:·101·(DW_TAG_base_type) | 32 | ·<1><38>:·Abbrev·Number:·101·(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:·101·(DW_TAG_base_type) | 100 | ·<1><b8>:·Abbrev·Number:·101·(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:·0x20025):·char32_t | 103 | ····<bb>···DW_AT_name········:·(strp)·(offset:·0x20025):·char32_t |
104 | ·<1><bf>:·Abbrev·Number:·101·(DW_TAG_base_type) | 104 | ·<1><bf>:·Abbrev·Number:·101·(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:·0x143 | 107 | ····<c2>···DW_AT_name········:·(strp)·(offset:·0x14337):·__int128 |
108 | ·<1><c6>:·Abbrev·Number:·101·(DW_TAG_base_type) | 108 | ·<1><c6>:·Abbrev·Number:·101·(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:·0x238a1):·__int128·unsigned | 111 | ····<c9>···DW_AT_name········:·(strp)·(offset:·0x238a1):·__int128·unsigned |
112 | ·<1><cd>:·Abbrev·Number:·0 | 112 | ·<1><cd>:·Abbrev·Number:·0 |
113 | ··Compilation·Unit·@·offset·0xce: | 113 | ··Compilation·Unit·@·offset·0xce: |
114 | ···Length:········0xff6·(32-bit) | 114 | ···Length:········0xff6·(32-bit) |
Offset 807, 29 lines modified | Offset 807, 29 lines modified | ||
807 | ····<457>···DW_AT_name········:·(strp)·(offset:·0x1f2d4):·_IO_read_end | 807 | ····<457>···DW_AT_name········:·(strp)·(offset:·0x1f2d4):·_IO_read_end |
808 | ····<45b>···DW_AT_decl_file···:·(data1)·68 | 808 | ····<45b>···DW_AT_decl_file···:·(data1)·68 |
809 | ····<45c>···DW_AT_decl_line···:·(data1)·55 | 809 | ····<45c>···DW_AT_decl_line···:·(data1)·55 |
810 | ····<45d>···DW_AT_decl_column·:·(data1)·9 | 810 | ····<45d>···DW_AT_decl_column·:·(data1)·9 |
811 | ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d> | 811 | ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d> |
812 | ····<45f>···DW_AT_data_member_location:·(data1)·16 | 812 | ····<45f>···DW_AT_data_member_location:·(data1)·16 |
813 | ·<2><460>:·Abbrev·Number:·68·(DW_TAG_member) | 813 | ·<2><460>:·Abbrev·Number:·68·(DW_TAG_member) |
814 | ····<461>···DW_AT_name········:·(strp)·(offset:·0x107 | 814 | ····<461>···DW_AT_name········:·(strp)·(offset:·0x10738):·_IO_read_base |
815 | ····<465>···DW_AT_decl_file···:·(data1)·68 | 815 | ····<465>···DW_AT_decl_file···:·(data1)·68 |
816 | ····<466>···DW_AT_decl_line···:·(data1)·56 | 816 | ····<466>···DW_AT_decl_line···:·(data1)·56 |
817 | ····<467>···DW_AT_decl_column·:·(data1)·9 | 817 | ····<467>···DW_AT_decl_column·:·(data1)·9 |
818 | ····<468>···DW_AT_type········:·(ref_udata)·<0x13d> | 818 | ····<468>···DW_AT_type········:·(ref_udata)·<0x13d> |
819 | ····<469>···DW_AT_data_member_location:·(data1)·24 | 819 | ····<469>···DW_AT_data_member_location:·(data1)·24 |
820 | ·<2><46a>:·Abbrev·Number:·68·(DW_TAG_member) | 820 | ·<2><46a>:·Abbrev·Number:·68·(DW_TAG_member) |
821 | ····<46b>···DW_AT_name········:·(strp)·(offset:·0x5205):·_IO_write_base | 821 | ····<46b>···DW_AT_name········:·(strp)·(offset:·0x5205):·_IO_write_base |
822 | ····<46f>···DW_AT_decl_file···:·(data1)·68 | 822 | ····<46f>···DW_AT_decl_file···:·(data1)·68 |
823 | ····<470>···DW_AT_decl_line···:·(data1)·57 | 823 | ····<470>···DW_AT_decl_line···:·(data1)·57 |
824 | ····<471>···DW_AT_decl_column·:·(data1)·9 | 824 | ····<471>···DW_AT_decl_column·:·(data1)·9 |
825 | ····<472>···DW_AT_type········:·(ref_udata)·<0x13d> | 825 | ····<472>···DW_AT_type········:·(ref_udata)·<0x13d> |
826 | ····<473>···DW_AT_data_member_location:·(data1)·32 | 826 | ····<473>···DW_AT_data_member_location:·(data1)·32 |
827 | ·<2><474>:·Abbrev·Number:·68·(DW_TAG_member) | 827 | ·<2><474>:·Abbrev·Number:·68·(DW_TAG_member) |
828 | ····<475>···DW_AT_name········:·(strp)·(offset:·0xfd | 828 | ····<475>···DW_AT_name········:·(strp)·(offset:·0xfd63):·_IO_write_ptr |
829 | ····<479>···DW_AT_decl_file···:·(data1)·68 | 829 | ····<479>···DW_AT_decl_file···:·(data1)·68 |
830 | ····<47a>···DW_AT_decl_line···:·(data1)·58 | 830 | ····<47a>···DW_AT_decl_line···:·(data1)·58 |
831 | ····<47b>···DW_AT_decl_column·:·(data1)·9 | 831 | ····<47b>···DW_AT_decl_column·:·(data1)·9 |
832 | ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d> | 832 | ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d> |
833 | ····<47d>···DW_AT_data_member_location:·(data1)·40 | 833 | ····<47d>···DW_AT_data_member_location:·(data1)·40 |
834 | ·<2><47e>:·Abbrev·Number:·68·(DW_TAG_member) | 834 | ·<2><47e>:·Abbrev·Number:·68·(DW_TAG_member) |
835 | ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe41e):·_IO_write_end | 835 | ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe41e):·_IO_write_end |
Offset 842, 36 lines modified | Offset 842, 36 lines modified | ||
842 | ····<489>···DW_AT_name········:·(strp)·(offset:·0xb6f1):·_IO_buf_base | 842 | ····<489>···DW_AT_name········:·(strp)·(offset:·0xb6f1):·_IO_buf_base |
843 | ····<48d>···DW_AT_decl_file···:·(data1)·68 | 843 | ····<48d>···DW_AT_decl_file···:·(data1)·68 |
844 | ····<48e>···DW_AT_decl_line···:·(data1)·60 | 844 | ····<48e>···DW_AT_decl_line···:·(data1)·60 |
845 | ····<48f>···DW_AT_decl_column·:·(data1)·9 | 845 | ····<48f>···DW_AT_decl_column·:·(data1)·9 |
846 | ····<490>···DW_AT_type········:·(ref_udata)·<0x13d> | 846 | ····<490>···DW_AT_type········:·(ref_udata)·<0x13d> |
847 | ····<491>···DW_AT_data_member_location:·(data1)·56 | 847 | ····<491>···DW_AT_data_member_location:·(data1)·56 |
848 | ·<2><492>:·Abbrev·Number:·68·(DW_TAG_member) | 848 | ·<2><492>:·Abbrev·Number:·68·(DW_TAG_member) |
849 | ····<493>···DW_AT_name········:·(strp)·(offset:·0x155 | 849 | ····<493>···DW_AT_name········:·(strp)·(offset:·0x155ee):·_IO_buf_end |
850 | ····<497>···DW_AT_decl_file···:·(data1)·68 | 850 | ····<497>···DW_AT_decl_file···:·(data1)·68 |
851 | ····<498>···DW_AT_decl_line···:·(data1)·61 | 851 | ····<498>···DW_AT_decl_line···:·(data1)·61 |
852 | ····<499>···DW_AT_decl_column·:·(data1)·9 | 852 | ····<499>···DW_AT_decl_column·:·(data1)·9 |
853 | ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d> | 853 | ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d> |
854 | ····<49b>···DW_AT_data_member_location:·(data1)·64 | 854 | ····<49b>···DW_AT_data_member_location:·(data1)·64 |
855 | ·<2><49c>:·Abbrev·Number:·68·(DW_TAG_member) | 855 | ·<2><49c>:·Abbrev·Number:·68·(DW_TAG_member) |
856 | ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe491):·_IO_save_base | 856 | ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe491):·_IO_save_base |
857 | ····<4a1>···DW_AT_decl_file···:·(data1)·68 | 857 | ····<4a1>···DW_AT_decl_file···:·(data1)·68 |
858 | ····<4a2>···DW_AT_decl_line···:·(data1)·64 | 858 | ····<4a2>···DW_AT_decl_line···:·(data1)·64 |
859 | ····<4a3>···DW_AT_decl_column·:·(data1)·9 | 859 | ····<4a3>···DW_AT_decl_column·:·(data1)·9 |
860 | ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d> | 860 | ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d> |
861 | ····<4a5>···DW_AT_data_member_location:·(data1)·72 | 861 | ····<4a5>···DW_AT_data_member_location:·(data1)·72 |
862 | ·<2><4a6>:·Abbrev·Number:·68·(DW_TAG_member) | 862 | ·<2><4a6>:·Abbrev·Number:·68·(DW_TAG_member) |
863 | ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x110 | 863 | ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x110bf):·_IO_backup_base |
864 | ····<4ab>···DW_AT_decl_file···:·(data1)·68 | 864 | ····<4ab>···DW_AT_decl_file···:·(data1)·68 |
865 | ····<4ac>···DW_AT_decl_line···:·(data1)·65 | 865 | ····<4ac>···DW_AT_decl_line···:·(data1)·65 |
866 | ····<4ad>···DW_AT_decl_column·:·(data1)·9 | 866 | ····<4ad>···DW_AT_decl_column·:·(data1)·9 |
867 | ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d> | 867 | ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d> |
868 | ····<4af>···DW_AT_data_member_location:·(data1)·80 | 868 | ····<4af>···DW_AT_data_member_location:·(data1)·80 |
869 | ·<2><4b0>:·Abbrev·Number:·68·(DW_TAG_member) | 869 | ·<2><4b0>:·Abbrev·Number:·68·(DW_TAG_member) |
870 | ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18e | 870 | ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18ea1):·_IO_save_end |
871 | ····<4b5>···DW_AT_decl_file···:·(data1)·68 | 871 | ····<4b5>···DW_AT_decl_file···:·(data1)·68 |
872 | ····<4b6>···DW_AT_decl_line···:·(data1)·66 | 872 | ····<4b6>···DW_AT_decl_line···:·(data1)·66 |
873 | ····<4b7>···DW_AT_decl_column·:·(data1)·9 | 873 | ····<4b7>···DW_AT_decl_column·:·(data1)·9 |
874 | ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d> | 874 | ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d> |
875 | ····<4b9>···DW_AT_data_member_location:·(data1)·88 | 875 | ····<4b9>···DW_AT_data_member_location:·(data1)·88 |
876 | ·<2><4ba>:·Abbrev·Number:·68·(DW_TAG_member) | 876 | ·<2><4ba>:·Abbrev·Number:·68·(DW_TAG_member) |
877 | ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4c23):·_markers | 877 | ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4c23):·_markers |
Offset 884, 15 lines modified | Offset 884, 15 lines modified | ||
884 | ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa3b):·_chain | 884 | ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa3b):·_chain |
885 | ····<4ca>···DW_AT_decl_file···:·(data1)·68 | 885 | ····<4ca>···DW_AT_decl_file···:·(data1)·68 |
886 | ····<4cb>···DW_AT_decl_line···:·(data1)·70 | 886 | ····<4cb>···DW_AT_decl_line···:·(data1)·70 |
887 | ····<4cc>···DW_AT_decl_column·:·(data1)·20 | 887 | ····<4cc>···DW_AT_decl_column·:·(data1)·20 |
888 | ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0> | 888 | ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0> |
889 | ····<4cf>···DW_AT_data_member_location:·(data1)·104 | 889 | ····<4cf>···DW_AT_data_member_location:·(data1)·104 |
890 | ·<2><4d0>:·Abbrev·Number:·4·(DW_TAG_member) | 890 | ·<2><4d0>:·Abbrev·Number:·4·(DW_TAG_member) |
891 | ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a1 | 891 | ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a11b):·_fileno |
892 | ····<4d5>···DW_AT_decl_file···:·(data1)·68 | 892 | ····<4d5>···DW_AT_decl_file···:·(data1)·68 |
893 | ····<4d6>···DW_AT_decl_line···:·(data1)·72 | 893 | ····<4d6>···DW_AT_decl_line···:·(data1)·72 |
894 | ····<4d7>···DW_AT_decl_column·:·(data1)·7 | 894 | ····<4d7>···DW_AT_decl_column·:·(data1)·7 |
895 | ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int | 895 | ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int |
896 | ····<4dc>···DW_AT_data_member_location:·(data1)·112 | 896 | ····<4dc>···DW_AT_data_member_location:·(data1)·112 |
897 | ·<2><4dd>:·Abbrev·Number:·4·(DW_TAG_member) | 897 | ·<2><4dd>:·Abbrev·Number:·4·(DW_TAG_member) |
898 | ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c382):·_flags2 | 898 | ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c382):·_flags2 |
Offset 905, 29 lines modified | Offset 905, 29 lines modified | ||
Max diff block lines reached; 25377999/25385046 bytes (99.97%) of diff not shown. |
Offset 1605, 16 lines modified | Offset 1605, 16 lines modified | ||
1605 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 | 1605 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 |
1606 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 1606 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
1607 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 1607 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
1608 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 1608 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
1609 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 | 1609 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 |
1610 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 1610 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
1611 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 1611 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
1612 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 1612 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
1613 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 1613 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
1614 | ··Offset:······················0x1b35 | 1614 | ··Offset:······················0x1b35 |
1615 | ··Version:·····················5 | 1615 | ··Version:·····················5 |
1616 | ··Offset·size:·················4 | 1616 | ··Offset·size:·················4 |
1617 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 | 1617 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 |
1618 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 | 1618 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 |
Offset 52331, 16 lines modified | Offset 52331, 16 lines modified | ||
52331 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1 | 52331 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1 |
52332 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 52332 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
52333 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 52333 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
52334 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 52334 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
52335 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 | 52335 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 |
52336 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 52336 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
52337 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 52337 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
52338 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 52338 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
52339 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 52339 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
52340 | ··Offset:······················0x48d28 | 52340 | ··Offset:······················0x48d28 |
52341 | ··Version:·····················5 | 52341 | ··Version:·····················5 |
52342 | ··Offset·size:·················4 | 52342 | ··Offset·size:·················4 |
52343 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H· | 52343 | ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H· |
52344 | ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_· | 52344 | ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_· |
Offset 1312355, 15 lines modified | Offset 1312355, 19 lines modified | ||
1312355 | ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H· | 1312355 | ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H· |
1312356 | ·DW_MACRO_start_file·-·lineno:·24·filenum:·42 | 1312356 | ·DW_MACRO_start_file·-·lineno:·24·filenum:·42 |
1312357 | ·DW_MACRO_end_file | 1312357 | ·DW_MACRO_end_file |
1312358 | ·DW_MACRO_import·-·offset·:·0x51c20 | 1312358 | ·DW_MACRO_import·-·offset·:·0x51c20 |
1312359 | ·DW_MACRO_end_file | 1312359 | ·DW_MACRO_end_file |
1312360 | ·DW_MACRO_start_file·-·lineno:·49·filenum:·136 | 1312360 | ·DW_MACRO_start_file·-·lineno:·49·filenum:·136 |
1312361 | ·DW_MACRO_end_file | 1312361 | ·DW_MACRO_end_file |
1312362 | ·DW_MACRO_start_file·-·lineno:·50·filenum:·112 | ||
1312363 | ·DW_MACRO_end_file | ||
1312364 | ·DW_MACRO_start_file·-·lineno:·53·filenum:·31 | ||
1312365 | ·DW_MACRO_end_file | ||
1312362 | ·DW_MACRO_start_file·-·lineno:·5 | 1312366 | ·DW_MACRO_start_file·-·lineno:·54·filenum:·291 |
1312363 | ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1 | 1312367 | ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1 |
1312364 | ·DW_MACRO_start_file·-·lineno:·41·filenum:·18 | 1312368 | ·DW_MACRO_start_file·-·lineno:·41·filenum:·18 |
1312365 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H· | 1312369 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H· |
1312366 | ·DW_MACRO_start_file·-·lineno:·33·filenum:·13 | 1312370 | ·DW_MACRO_start_file·-·lineno:·33·filenum:·13 |
1312367 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1 | 1312371 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1 |
1312368 | ·DW_MACRO_start_file·-·lineno:·35·filenum:·14 | 1312372 | ·DW_MACRO_start_file·-·lineno:·35·filenum:·14 |
1312369 | ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1 | 1312373 | ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1 |
Offset 1312371, 18 lines modified | Offset 1312375, 14 lines modified | ||
1312371 | ·DW_MACRO_end_file | 1312375 | ·DW_MACRO_end_file |
1312372 | ·DW_MACRO_end_file | 1312376 | ·DW_MACRO_end_file |
1312373 | ·DW_MACRO_import·-·offset·:·0x9e41 | 1312377 | ·DW_MACRO_import·-·offset·:·0x9e41 |
1312374 | ·DW_MACRO_start_file·-·lineno:·56·filenum:·177 | 1312378 | ·DW_MACRO_start_file·-·lineno:·56·filenum:·177 |
1312375 | ·DW_MACRO_import·-·offset·:·0x4f65af | 1312379 | ·DW_MACRO_import·-·offset·:·0x4f65af |
1312376 | ·DW_MACRO_end_file | 1312380 | ·DW_MACRO_end_file |
1312377 | ·DW_MACRO_end_file | 1312381 | ·DW_MACRO_end_file |
1312378 | ·DW_MACRO_start_file·-·lineno:·52·filenum:·112 | ||
1312379 | ·DW_MACRO_end_file | ||
1312380 | ·DW_MACRO_start_file·-·lineno:·54·filenum:·31 | ||
1312381 | ·DW_MACRO_end_file | ||
1312382 | ·DW_MACRO_start_file·-·lineno:·57·filenum:·83 | 1312382 | ·DW_MACRO_start_file·-·lineno:·57·filenum:·83 |
1312383 | ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring· | 1312383 | ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring· |
1312384 | ·DW_MACRO_start_file·-·lineno:·42·filenum:·177 | 1312384 | ·DW_MACRO_start_file·-·lineno:·42·filenum:·177 |
1312385 | ·DW_MACRO_import·-·offset·:·0x4f6b9b | 1312385 | ·DW_MACRO_import·-·offset·:·0x4f6b9b |
1312386 | ·DW_MACRO_end_file | 1312386 | ·DW_MACRO_end_file |
1312387 | ·DW_MACRO_start_file·-·lineno:·43·filenum:·140 | 1312387 | ·DW_MACRO_start_file·-·lineno:·43·filenum:·140 |
1312388 | ·DW_MACRO_import·-·offset·:·0x10aea | 1312388 | ·DW_MACRO_import·-·offset·:·0x10aea |
Offset 4194297, 8 lines modified | Offset 4194297, 8 lines modified | ||
4194297 | ·············0000000000468d40·0000000000468d68·(DW_OP_fbreg:·-640;·DW_OP_stack_value) | 4194297 | ·············0000000000468d40·0000000000468d68·(DW_OP_fbreg:·-640;·DW_OP_stack_value) |
4194298 | ····00bcc18b·<End·of·list> | 4194298 | ····00bcc18b·<End·of·list> |
4194299 | ····00bcc18c·v000000000000000·v000000000000000·location·view·pair | 4194299 | ····00bcc18c·v000000000000000·v000000000000000·location·view·pair |
4194300 | ····00bcc18e·v000000000000000·v000000000000000·location·view·pair | 4194300 | ····00bcc18e·v000000000000000·v000000000000000·location·view·pair |
4194301 | ····00bcc190·0000000000468050·(base·address) | 4194301 | ····00bcc190·0000000000468050·(base·address) |
4194302 | [·Too·much·input·for·diff·(SHA256:· | 4194302 | [·Too·much·input·for·diff·(SHA256:·362ec383fb8156a2153819bf5792661216650786cb8572a3a3052a74695ec20f)·] |
Offset 1, 30074 lines modified | Offset 1, 30503 lines modified | ||
1 | 1 | GCC:·(Debian·14.2.0-12)·14.2.0 | |
2 | Z8R8V8Q8 | 2 | Z8R8V8Q8 |
3 | Oi_\$)/( | 3 | Oi_\$)/( |
4 | )(R» @J,y | ||
5 | .IXB>[OO | ||
6 | !» » R·XOb | ||
7 | >2TQcA%L* | ||
8 | EOY-zbU& | ||
9 | 4 | HgIcls}gK | |
5 | 2y_830RW | ||
6 | RSf&lR3f& | ||
7 | RKfng2@+ | ||
8 | gB3/9HRy | ||
9 | I|\[uQA^* | ||
10 | Z+1Ts | 10 | Z+1TsZ^( |
11 | 5J'c{?ri["m] | ||
12 | |,{K5}i2T | ||
13 | sscPkksn | ||
14 | 7(oAanPa | ||
15 | ?C(gQ]Kh | ||
16 | 'l@:lJPv | ||
17 | c1'cBW{hG | ||
18 | HTP<uvuq | ||
19 | t8Eb}<S'r7 | ||
20 | j>Q_·9b9 | ||
21 | ZE7_<}O= | ||
22 | FNP:|o&7 | ||
23 | U9)+F7cEL | ||
24 | zQhY!zU' | ||
25 | /4ztVk4i} | ||
26 | gvB» cr+'b | ||
27 | 67vB» cr+'by | ||
28 | pEr-P*Xb | ||
29 | 0zEt3\zw8 | ||
30 | c.bOE2R4)~v | ||
31 | b[KM#tcti+L | ||
32 | MH#QSW<@ | ||
33 | ?JX9Y*_I | ||
34 | » u4pXt7y | ||
35 | dC$,#k%pw | ||
36 | ,f|cc|_G | ||
37 | il6&32hV | ||
38 | p#Qo+~·. | ||
39 | qq!X[\X) | ||
40 | $K_:uD(tWz+ | ||
41 | » 4xE:lRv | ||
42 | 11 | 3\vQ.{%/\ | |
12 | .» Xc.jAQ | ||
13 | tV» kkno- | ||
14 | 4XS0(O.M | ||
15 | /'bkxq+VPH | ||
16 | ZYz+yeY! | ||
17 | n$@rjX?H | ||
18 | =NMW{s8a | ||
19 | G-3)>T=A | ||
20 | 735PRz» n | ||
21 | $hQ#mc&, | ||
22 | %D7lVv>\ | ||
23 | vv7ls9Yvl | ||
24 | EJ-Ra(ooP | ||
25 | -#-m"5G"5m"- | ||
26 | 28C*9Zk^ | ||
27 | o]#olMh2 | ||
28 | ]wOW5b1/» ] | ||
29 | VW:i.E:i | ||
30 | ZW:i)ZY[ | ||
31 | i%<4n#ahI | ||
32 | Q\<[xuj»\ | ||
33 | FV9mS)wK | ||
34 | L:xC9b^< | ||
35 | 4N*D=Pq!z | ||
36 | %`;eD~Dh | ||
37 | 78xD0b]+ | ||
38 | #L#*L+#l6X | ||
39 | 0riA&8YI | ||
40 | _=&zR40f | ||
41 | %8y6» 8y6 | ||
42 | Wc]» J*Mb | ||
43 | CT"tE?BN | ||
44 | f_`_bgolT | ||
45 | ed» jAd}tm7B | ||
46 | g[bU/)Z{ | ||
47 | zD'"tSOR | ||
48 | ahC» Bi1Z | ||
49 | >zH·j9rx9n7 | ||
50 | p[K\\xC]\X% | ||
51 | +313K3Wf | ||
43 | *y | 52 | *yd]N>F<? |
44 | <]]$ix21< | ||
45 | b}h&ZmY» | ||
46 | ~·j>S&LBc | ||
47 | mJRA·g5C | ||
48 | #ZydD+$/ | ||
49 | NI^6;p~`A | ||
50 | M|^9(Yhl | ||
51 | T,<FCkip# | ||
52 | G9fEpd3+B | ||
53 | Pb<E\"&Z | ||
54 | HT/lOl]D | ||
55 | JN5;d*s& | ||
56 | {eH$4(}h | ||
57 | d47%vUiK} | ||
58 | g>kf#Bim | ||
59 | T\`Bo&Sq | ||
60 | GrT=N4)qZ"M | ||
61 | feg(0Utn | ||
62 | l>{» =4L9S | ||
63 | *a·7cd(<7 | ||
64 | D*<SAFw2 | ||
65 | OO{_;·4b* | ||
66 | 9@cu],Vw0 | ||
67 | J#u]"Rwt9^ | ||
68 | 68!ltr3_ | ||
69 | A{jC5V,GK | ||
70 | W9[<J7eu | ||
71 | .-A$:p}a! | ||
72 | U<_Z,%_4! | ||
73 | "KQfhe4kHJ- | ||
74 | mL:B9>l:E | ||
75 | v?6BxopUp | ||
76 | rI-48{d6 | ||
77 | ~}-4-{.# | ||
78 | c_c4J5Q% | ||
79 | V]e"WxnF | ||
80 | }v3~fC/* | ||
81 | 67Mm#» ~z | ||
82 | t{l{lyhW[t | ||
Max diff block lines reached; 671587/674350 bytes (99.59%) of diff not shown. |
Offset 260, 32 lines modified | Offset 260, 32 lines modified | ||
260 | ··[··2505]··find_first_of | 260 | ··[··2505]··find_first_of |
261 | ··[··2513]··_M_guarded | 261 | ··[··2513]··_M_guarded |
262 | ··[··251e]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8 | 262 | ··[··251e]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8 |
263 | ··[··253e]··wcstombs | 263 | ··[··253e]··wcstombs |
264 | ··[··2547]··_S_noreplace | 264 | ··[··2547]··_S_noreplace |
265 | ··[··2554]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false)) | 265 | ··[··2554]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false)) |
266 | ··[··2587]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name | 266 | ··[··2587]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name |
267 | ··[··25ae]··DEB_BUILD_DATE·"2024-03-18" | ||
268 | ··[··25 | 267 | ··[··25ae]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32 |
269 | ··[··2 | 268 | ··[··25f0]··CVC5_API_CHECK_TERMS(terms)·do·{·size_t·i·=·0;·for·(const·auto&·s·:·terms)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL("term",·s,·terms,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(d_nm·==·s.d_nm,·"term",·terms,·i)·<<·"a·term·associated·with·the·node·manager·this·object·is·"·"associated·"·"with";·i·+=·1;·}·}·while·(0) |
270 | ··[··27 | 269 | ··[··2728]··_GLIBCXX_HAVE_WCHAR_H·1 |
271 | ··[··27 | 270 | ··[··2740]··__stub___compat_uselib· |
272 | ··[··27 | 271 | ··[··2758]··__ARM_FEATURE_BTI |
273 | ··[··27 | 272 | ··[··276a]··CVC5_PROOF_FORMAT_ALF |
274 | ··[··27 | 273 | ··[··2780]··__glibcxx_requires_irreflexive(_First,_Last)· |
275 | ··[··27 | 274 | ··[··27ae]··__cpp_initializer_lists·200806L |
276 | ··[··27 | 275 | ··[··27ce]··__glibcxx_want_map_try_emplace· |
277 | ··[··2 | 276 | ··[··27ee]··__glibcxx_map_try_emplace·201411L |
278 | ··[··28 | 277 | ··[··2810]··__ARM_NEON·1 |
279 | ··[··28 | 278 | ··[··281d]··CVC5_KIND_BAG_UNION_DISJOINT |
280 | ··[··28 | 279 | ··[··283a]··__FLT16_MAX_10_EXP__·4 |
281 | ··[··28 | 280 | ··[··2851]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128 |
282 | ··[··28 | 281 | ··[··2897]··__glibcxx_want_constexpr_memory· |
283 | ··[··28 | 282 | ··[··28b8]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv |
284 | ··[··2 | 283 | ··[··28fd]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv |
284 | ··[··2947]··DEB_BUILD_DATE·"2024-03-19" | ||
285 | ··[··2963]··__glibc_fortify_n(f,__l,__s,__osz,...)·(__glibc_safe_or_unknown_len·(__l,·__s,·__osz)·?·__·##·f·##·_alias·(__VA_ARGS__)·:·(__glibc_unsafe_len·(__l,·__s,·__osz)·?·__·##·f·##·_chk_warn·(__VA_ARGS__,·(__osz)·/·(__s))·:·__·##·f·##·_chk·(__VA_ARGS__,·(__osz)·/·(__s)))) | 285 | ··[··2963]··__glibc_fortify_n(f,__l,__s,__osz,...)·(__glibc_safe_or_unknown_len·(__l,·__s,·__osz)·?·__·##·f·##·_alias·(__VA_ARGS__)·:·(__glibc_unsafe_len·(__l,·__s,·__osz)·?·__·##·f·##·_chk_warn·(__VA_ARGS__,·(__osz)·/·(__s))·:·__·##·f·##·_chk·(__VA_ARGS__,·(__osz)·/·(__s)))) |
286 | ··[··2a6c]··_GLIBCXX_USE_NANOSLEEP·1 | 286 | ··[··2a6c]··_GLIBCXX_USE_NANOSLEEP·1 |
287 | ··[··2a85]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_ | 287 | ··[··2a85]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_ |
288 | ··[··2ac3]··__FLT32_HAS_INFINITY__·1 | 288 | ··[··2ac3]··__FLT32_HAS_INFINITY__·1 |
289 | ··[··2adc]··__swappable_with_details | 289 | ··[··2adc]··__swappable_with_details |
290 | ··[··2af5]··tolower | 290 | ··[··2af5]··tolower |
291 | ··[··2afd]··__TIMESIZE·64 | 291 | ··[··2afd]··__TIMESIZE·64 |
Offset 1790, 1290 lines modified | Offset 1790, 1290 lines modified | ||
1790 | ··[··f28f]··EPERM·1 | 1790 | ··[··f28f]··EPERM·1 |
1791 | ··[··f297]··__glibcxx_want_shared_timed_mutex | 1791 | ··[··f297]··__glibcxx_want_shared_timed_mutex |
1792 | ··[··f2b9]··__ARM_FEATURE_SME2 | 1792 | ··[··f2b9]··__ARM_FEATURE_SME2 |
1793 | ··[··f2cc]··CVC5_KIND_NULLABLE_LIFT | 1793 | ··[··f2cc]··CVC5_KIND_NULLABLE_LIFT |
1794 | ··[··f2e4]··_VA_LIST_· | 1794 | ··[··f2e4]··_VA_LIST_· |
1795 | ··[··f2ef]··__LC_TELEPHONE·10 | 1795 | ··[··f2ef]··__LC_TELEPHONE·10 | Diff chunk too large, falling back to line-by-line diff (1276 lines added, 1276 lines removed) |
1796 | ··[··f301]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_ | 1796 | ··[··f301]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_ |
1797 | ··[··f33c]·· | 1797 | ··[··f33c]··DEB_BUILD_TIME·"14:06:23" |
1798 | ··[··f3 | 1798 | ··[··f356]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5eraseEN9__gnu_cxx17__normal_iteratorIPKcS4_EE |
1799 | ··[··f3 | 1799 | ··[··f3ba]··CPU_COUNT(cpusetp)·__CPU_COUNT_S·(sizeof·(cpu_set_t),·cpusetp) |
1800 | ··[··f | 1800 | ··[··f3f9]··_ZN9__gnu_cxx21__default_lock_policyE |
1801 | ··[··f41 | 1801 | ··[··f41f]··msg_prefix |
1802 | ··[··f4 | 1802 | ··[··f42a]··INT_LEAST64_MIN·(-__INT64_C(9223372036854775807)-1) |
1803 | ··[··f4 | 1803 | ··[··f45e]··_ZNSiC4Ev |
1804 | ··[··f46 | 1804 | ··[··f468]··_GLIBCXX_USE_SCHED_YIELD·1 |
1805 | ··[··f4 | 1805 | ··[··f483]··__EXCEPTION_H·1 |
1806 | ··[··f4 | 1806 | ··[··f493]··INT_LEAST64_MAX·(__INT64_C(9223372036854775807)) |
1807 | ··[··f4 | 1807 | ··[··f4c4]··_ZSt8distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_ |
1808 | ··[··f507]··__ | 1808 | ··[··f507]··__glibcxx_want_formatters |
1809 | ··[··f5 | 1809 | ··[··f521]··__CPU_ISSET_S(cpu,setsize,cpusetp)·(__extension__·({·size_t·__cpu·=·(cpu);·__cpu·/·8·<·(setsize)·?·((((const·__cpu_mask·*)·((cpusetp)->__bits))[__CPUELT·(__cpu)]·&·__CPUMASK·(__cpu)))·!=·0·:·0;·})) |
1810 | ··[··f5e | 1810 | ··[··f5e7]··__glibcxx_want_quoted_string_io |
1811 | ··[··f | 1811 | ··[··f607]··_ZNSaIcEaSERKS_ |
1812 | ··[··f61 | 1812 | ··[··f617]··CVC5_KIND_FLOATINGPOINT_IS_NAN |
1813 | ··[··f636]··_ | 1813 | ··[··f636]··__ARM_FEATURE_UNALIGNED·1 |
1814 | ··[··f6 | 1814 | ··[··f650]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE16find_last_not_ofES2_m |
1815 | ··[··f69 | 1815 | ··[··f696]··__WORDSIZE_TIME64_COMPAT32·0 |
1816 | ··[··f6 | 1816 | ··[··f6b3]··_ZNSt9exceptionD0Ev |
1817 | ··[··f6c7]·· | 1817 | ··[··f6c7]··CVC5_KIND_BITVECTOR_SMULO |
1818 | ··[··f6 | 1818 | ··[··f6e1]··_GLIBCXX20_DEPRECATED· |
1819 | ··[··f6f | 1819 | ··[··f6f8]··CVC5_KIND_SEQ_UPDATE |
1820 | ··[··f7 | 1820 | ··[··f70d]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6appendERKS4_mm |
1821 | ··[··f752]·· | 1821 | ··[··f752]··MOD_MAXERROR·ADJ_MAXERROR |
1822 | ··[··f76 | 1822 | ··[··f76c]··_GLIBCXX_PARSE_NUMBERS_H·1 |
1823 | ··[··f78 | 1823 | ··[··f787]··_GLIBCXX_CHARCONV_H·1 |
1824 | ··[··f79 | 1824 | ··[··f79d]··__GLIBC_USE_C23_STRTOL |
1825 | ··[··f7 | 1825 | ··[··f7b4]··_GLIBCXX_MOVE_BACKWARD3(_Tp,_Up,_Vp)·std::move_backward(_Tp,·_Up,·_Vp) |
1826 | ··[··f7f | 1826 | ··[··f7fb]··CVC5_KIND_STRING_TO_CODE |
1827 | ··[··f8 | 1827 | ··[··f814]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderC4EPcRKS3_ |
1828 | ··[··f8 | 1828 | ··[··f862]··CVC5_LEARNED_LIT_TYPE_PREPROCESS_SOLVED |
1829 | ··[··f88a]·· | 1829 | ··[··f88a]··_GLIBCXX_HAVE_COMPLEX_H·1 |
1830 | ··[··f8 | 1830 | ··[··f8a4]··7lldiv_t |
1831 | ··[··f8 | 1831 | ··[··f8ad]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_mutateEmmPKcm |
1832 | ··[··f | 1832 | ··[··f8f4]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5rfindEPKcmm |
1833 | ··[··f9 | 1833 | ··[··f937]··_ZNSt6localeC4ERKS_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi |
1834 | ··[··f9 | 1834 | ··[··f982]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7replaceEmmPKcm |
1835 | ··[··f9 | 1835 | ··[··f9c7]··__EXCEPTIONS·1 |
1836 | ··[··f9 | 1836 | ··[··f9d6]··_GLIBCXX_ALWAYS_INLINE·inline·__attribute__((__always_inline__)) |
1837 | ··[··fa | 1837 | ··[··fa17]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5crendEv |
1838 | ··[··fa5 | 1838 | ··[··fa56]··CVC5_RM_ROUND_TOWARD_POSITIVE |
1839 | ··[··fa7 | 1839 | ··[··fa74]··CVC5_LEARNED_LIT_TYPE_INTERNAL |
1840 | ··[··fa | 1840 | ··[··fa93]··__HAVE_FLOAT128_UNLIKE_LDBL·(__HAVE_DISTINCT_FLOAT128·&&·__LDBL_MANT_DIG__·!=·113) |
1841 | ··[··fa | 1841 | ··[··fae6]··__glibcxx_unordered_map_try_emplace·201411L |
1842 | ··[··fb | 1842 | ··[··fb12]··_____fpos_t_defined·1 |
1843 | ··[··fb2 | 1843 | ··[··fb28]··CVC5_KIND_INST_ADD_TO_POOL |
1844 | ··[··fb4 | 1844 | ··[··fb43]··_GLIBCXX_HAVE_ARPA_INET_H·1 |
1845 | ··[··fb5 | 1845 | ··[··fb5f]··ENAVAIL·119 |
1846 | ··[··fb6b]··__ | 1846 | ··[··fb6b]··_GLIBCXX_STDIO_SEEK_END·2 |
1847 | ··[··fb | 1847 | ··[··fb85]··__USE_UNIX98 |
1848 | ··[··fb | 1848 | ··[··fb92]··__REDIRECT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(__ASMNAME·(#alias)) |
1849 | ··[··fbe | 1849 | ··[··fbe7]··_GLIBCXX_PACKAGE_BUGREPORT·"" |
1850 | ··[··fc | 1850 | ··[··fc05]··__glibcxx_want_adaptor_iterator_pair_constructor |
1851 | ··[··fc | 1851 | ··[··fc36]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEpLEl |
1852 | ··[··fc | 1852 | ··[··fc93]··__stub_revoke· |
1853 | ··[··fc | 1853 | ··[··fca2]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE4copyEPcmm |
1854 | ··[··fc | 1854 | ··[··fcdb]··wcsncmp |
1855 | ··[··fc | 1855 | ··[··fce3]··STA_CLOCKERR·0x1000 |
1856 | ··[··fcf | 1856 | ··[··fcf7]··UINTPTR_WIDTH·__WORDSIZE |
1857 | ··[··fd | 1857 | ··[··fd10]··__FLT16_HAS_INFINITY__·1 |
1858 | ··[··fd2 | 1858 | ··[··fd29]··__ARM_ARCH_PROFILE·65 |
1859 | ··[··fd | 1859 | ··[··fd3f]··_GLIBCXX_TSAN_MUTEX_POST_SIGNAL(X)· |
1860 | ··[··fd | 1860 | ··[··fd63]··_IO_write_ptr |
1861 | ··[··fd71]·· | 1861 | ··[··fd71]··CVC5_SORT_KIND_TUPLE_SORT |
1862 | ··[··fd | 1862 | ··[··fd8b]··__glibcxx_want_nonmember_container_access |
1863 | ··[··fdb | 1863 | ··[··fdb5]··_GLIBCXX_ATOMIC_LOCK_FREE_H·1 |
1864 | ··[··fd | 1864 | ··[··fdd3]··__ARM_FEATURE_RNG |
1865 | ··[··fde | 1865 | ··[··fde5]··CVC5_USE_CRYPTOMINISAT·1 |
1866 | ··[··fdf | 1866 | ··[··fdfe]··__builtin_unwind_resume |
1867 | ··[··fe1 | 1867 | ··[··fe16]··__SC_THREAD_STACK_MIN_VALUE·75 |
1868 | ··[··fe | 1868 | ··[··fe35]··EKEYEXPIRED·127 |
1869 | ··[··fe | 1869 | ··[··fe45]··towctrans |
1870 | ··[··fe4 | 1870 | ··[··fe4f]··_BITS_STDIO_LIM_H·1 |
1871 | ··[··fe | 1871 | ··[··fe63]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm |
1872 | ··[··fe | 1872 | ··[··feac]··MOD_CLKA·ADJ_OFFSET_SINGLESHOT |
1873 | ··[··fe | 1873 | ··[··fecb]··_ZNKSt15__exception_ptr13exception_ptr20__cxa_exception_typeEv |
1874 | ··[··ff | 1874 | ··[··ff0a]··_ZNSt15basic_streambufIcSt11char_traitsIcEE4syncEv |
1875 | ··[··ff3 | 1875 | ··[··ff3d]··_GLIBCXX_HAVE_LINK·1 |
1876 | ··[··ff5 | 1876 | ··[··ff52]··htole16(x)·__uint16_identity·(x) |
1877 | ··[··ff | 1877 | ··[··ff73]··STA_UNSYNC·0x0040 |
1878 | ··[··ff8 | 1878 | ··[··ff85]··CVC5_KIND_FLOATINGPOINT_IS_NEG |
1879 | ··[··ffa | 1879 | ··[··ffa4]··__glibcxx_want_int_pow2· |
1880 | ··[··ffb | 1880 | ··[··ffbd]··cvc5_sort_kind_hash |
1881 | ··[··ff | 1881 | ··[··ffd1]··INTMAX_MIN·(-__INT64_C(9223372036854775807)-1) |
Max diff block lines reached; 49811/179765 bytes (27.71%) 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······556·2024-03-19·00:06:23.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0······556·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0··3993 | 3 | -rw-r--r--···0········0········0··3993328·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 6, 8 lines modified | Offset 6, 8 lines modified | ||
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:·4089 | 7 | Installed-Size:·4089 |
8 | Depends:·libcvc5parser1·(=·1.1.2-2) | 8 | Depends:·libcvc5parser1·(=·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·libcvc5parser1 | 12 | Description:·debug·symbols·for·libcvc5parser1 |
13 | Build-Ids:·a | 13 | Build-Ids:·6a7996e6eccf478bdb4d83a3abea687021cba88c |
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/6a/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)··4176 | 7 | -rw-r--r--···0·root·········(0)·root·········(0)··4176784·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6a/7996e6eccf478bdb4d83a3abea687021cba88c.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/libcvc5parser1-dbgsym·->·libcvc5parser1 | 10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/libcvc5parser1-dbgsym·->·libcvc5parser1 |
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:···························AArch64 | 9 | ··Machine:···························AArch64 |
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:··········4174 | 13 | ··Start·of·section·headers:··········4174352·(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:·········9 | 17 | ··Number·of·program·headers:·········9 |
18 | ··Size·of·section·headers:···········64·(bytes) | 18 | ··Size·of·section·headers:···········64·(bytes) |
19 | ··Number·of·section·headers:·········38 | 19 | ··Number·of·section·headers:·········38 |
20 | ··Section·header·string·table·index:·37 | 20 | ··Section·header·string·table·index:·37 |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | There·are·38·section·headers,·starting·at·offset·0x3fb2 | 1 | There·are·38·section·headers,·starting·at·offset·0x3fb210: |
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············0000000000000238·000238·000020·00···A··0···0··8 | 5 | ··[·1]·.note.gnu.property·NOTE············0000000000000238·000238·000020·00···A··0···0··8 |
6 | ··[·2]·.note.gnu.build-id·NOTE············0000000000000258·000258·000024·00···A··0···0··4 | 6 | ··[·2]·.note.gnu.build-id·NOTE············0000000000000258·000258·000024·00···A··0···0··4 |
7 | ··[·3]·.gnu.hash·········NOBITS··········0000000000000280·00027c·001908·00···A··4···0··8 | 7 | ··[·3]·.gnu.hash·········NOBITS··········0000000000000280·00027c·001908·00···A··4···0··8 |
Offset 25, 23 lines modified | Offset 25, 23 lines modified | ||
25 | ··[20]·.data.rel.ro······NOBITS··········00000000000cc880·00c838·001fb8·00··WA··0···0··8 | 25 | ··[20]·.data.rel.ro······NOBITS··········00000000000cc880·00c838·001fb8·00··WA··0···0··8 |
26 | ··[21]·.dynamic··········NOBITS··········00000000000ce838·00c838·000250·10··WA··5···0··8 | 26 | ··[21]·.dynamic··········NOBITS··········00000000000ce838·00c838·000250·10··WA··5···0··8 |
27 | ··[22]·.got··············NOBITS··········00000000000cea88·00c838·001578·08··WA··0···0··8 | 27 | ··[22]·.got··············NOBITS··········00000000000cea88·00c838·001578·08··WA··0···0··8 |
28 | ··[23]·.data·············NOBITS··········00000000000d0000·00c838·000058·00··WA··0···0··8 | 28 | ··[23]·.data·············NOBITS··········00000000000d0000·00c838·000058·00··WA··0···0··8 |
29 | ··[24]·.bss··············NOBITS··········00000000000d0058·00c838·000070·00··WA··0···0··8 | 29 | ··[24]·.bss··············NOBITS··········00000000000d0058·00c838·000070·00··WA··0···0··8 |
30 | ··[25]·.comment··········PROGBITS········0000000000000000·00027c·00001f·01··MS··0···0··1 | 30 | ··[25]·.comment··········PROGBITS········0000000000000000·00027c·00001f·01··MS··0···0··1 |
31 | ··[26]·.debug_aranges····PROGBITS········0000000000000000·0002a0·0006c3·00···C··0···0··8 | 31 | ··[26]·.debug_aranges····PROGBITS········0000000000000000·0002a0·0006c3·00···C··0···0··8 |
32 | ··[27]·.debug_info·······PROGBITS········0000000000000000·000968·29ac | 32 | ··[27]·.debug_info·······PROGBITS········0000000000000000·000968·29ac8f·00···C··0···0··8 |
33 | ··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29b | 33 | ··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29b5f8·00640d·00···C··0···0··8 |
34 | ··[29]·.debug_line·······PROGBITS········0000000000000000·2a1a | 34 | ··[29]·.debug_line·······PROGBITS········0000000000000000·2a1a08·02e244·00···C··0···0··8 |
35 | ··[30]·.debug_str········PROGBITS········0000000000000000·2cfc | 35 | ··[30]·.debug_str········PROGBITS········0000000000000000·2cfc50·05b188·01·MSC··0···0··8 |
36 | ··[31]·.debug_line_str···PROGBITS········0000000000000000·32a | 36 | ··[31]·.debug_line_str···PROGBITS········0000000000000000·32add8·0007b9·01·MSC··0···0··8 |
37 | ··[32]·.debug_loclists···PROGBITS········0000000000000000·32b5 | 37 | ··[32]·.debug_loclists···PROGBITS········0000000000000000·32b598·07c648·00···C··0···0··8 |
38 | ··[33]·.debug_macro······PROGBITS········0000000000000000·3a7 | 38 | ··[33]·.debug_macro······PROGBITS········0000000000000000·3a7be0·00c918·00···C··0···0··8 |
39 | ··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b4 | 39 | ··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b44f8·01a639·00···C··0···0··8 |
40 | ··[35]·.symtab···········SYMTAB··········0000000000000000·3ceb | 40 | ··[35]·.symtab···········SYMTAB··········0000000000000000·3ceb38·00fca8·18·····36·1493··8 |
41 | ··[36]·.strtab···········STRTAB··········0000000000000000·3de | 41 | ··[36]·.strtab···········STRTAB··········0000000000000000·3de7e0·01c89d·00······0···0··1 |
42 | ··[37]·.shstrtab·········STRTAB··········0000000000000000·3fb0 | 42 | ··[37]·.shstrtab·········STRTAB··········0000000000000000·3fb07d·000193·00······0···0··1 |
43 | Key·to·Flags: | 43 | Key·to·Flags: |
44 | ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info), | 44 | ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info), |
45 | ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS), | 45 | ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS), |
46 | ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude), | 46 | ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude), |
47 | ··D·(mbind),·p·(processor·specific) | 47 | ··D·(mbind),·p·(processor·specific) |
Offset 1, 8 lines modified | Offset 1, 8 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:·AArch64·feature:·BTI,·PAC | 3 | ··GNU··················0x00000010» NT_GNU_PROPERTY_TYPE_0» ······Properties:·AArch64·feature:·BTI,·PAC |
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:·a | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·6a7996e6eccf478bdb4d83a3abea687021cba88c |
Offset 18, 110 lines modified | Offset 18, 110 lines modified | ||
18 | ····<21>···DW_AT_decl_file···:·(data1)·45 | 18 | ····<21>···DW_AT_decl_file···:·(data1)·45 |
19 | ····<22>···DW_AT_decl_line···:·(data1)·214 | 19 | ····<22>···DW_AT_decl_line···:·(data1)·214 |
20 | ····<23>···DW_AT_decl_column·:·(data1)·23 | 20 | ····<23>···DW_AT_decl_column·:·(data1)·23 |
21 | ····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int | 21 | ····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int |
22 | ·<1><25>:·Abbrev·Number:·16·(DW_TAG_base_type) | 22 | ·<1><25>:·Abbrev·Number:·16·(DW_TAG_base_type) |
23 | ····<26>···DW_AT_byte_size···:·(data1)·8 | 23 | ····<26>···DW_AT_byte_size···:·(data1)·8 |
24 | ····<27>···DW_AT_encoding····:·(data1)·7» (unsigned) | 24 | ····<27>···DW_AT_encoding····:·(data1)·7» (unsigned) |
25 | ····<28>···DW_AT_name········:·(strp)·(offset:·0x4d3 | 25 | ····<28>···DW_AT_name········:·(strp)·(offset:·0x4d37d):·long·unsigned·int |
26 | ·<1><2c>:·Abbrev·Number:·32·(DW_TAG_structure_type) | 26 | ·<1><2c>:·Abbrev·Number:·32·(DW_TAG_structure_type) |
27 | ····<2d>···DW_AT_byte_size···:·(data1)·32 | 27 | ····<2d>···DW_AT_byte_size···:·(data1)·32 |
28 | ····<2e>···DW_AT_alignment···:·(data1)·16 | 28 | ····<2e>···DW_AT_alignment···:·(data1)·16 |
29 | ····<2f>···DW_AT_decl_file···:·(data1)·45 | 29 | ····<2f>···DW_AT_decl_file···:·(data1)·45 |
30 | ····<30>···DW_AT_decl_line···:·(data2)·425 | 30 | ····<30>···DW_AT_decl_line···:·(data2)·425 |
31 | ····<32>···DW_AT_decl_column·:·(data1)·16 | 31 | ····<32>···DW_AT_decl_column·:·(data1)·16 |
32 | ····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5e | 32 | ····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5e6c):·11max_align_t |
33 | ····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51> | 33 | ····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51> |
34 | ·<2><38>:·Abbrev·Number:·24·(DW_TAG_member) | 34 | ·<2><38>:·Abbrev·Number:·24·(DW_TAG_member) |
35 | ····<39>···DW_AT_name········:·(strp)·(offset:·0x524 | 35 | ····<39>···DW_AT_name········:·(strp)·(offset:·0x52472):·__max_align_ll |
36 | ····<3d>···DW_AT_decl_file···:·(data1)·45 | 36 | ····<3d>···DW_AT_decl_file···:·(data1)·45 |
37 | ····<3e>···DW_AT_decl_line···:·(data2)·426 | 37 | ····<3e>···DW_AT_decl_line···:·(data2)·426 |
38 | ····<40>···DW_AT_decl_column·:·(data1)·13 | 38 | ····<40>···DW_AT_decl_column·:·(data1)·13 |
39 | ····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int | 39 | ····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int |
40 | ····<42>···DW_AT_alignment···:·(data1)·8 | 40 | ····<42>···DW_AT_alignment···:·(data1)·8 |
41 | ····<43>···DW_AT_data_member_location:·(data1)·0 | 41 | ····<43>···DW_AT_data_member_location:·(data1)·0 |
42 | ·<2><44>:·Abbrev·Number:·24·(DW_TAG_member) | 42 | ·<2><44>:·Abbrev·Number:·24·(DW_TAG_member) |
43 | ····<45>···DW_AT_name········:·(strp)·(offset:·0x524 | 43 | ····<45>···DW_AT_name········:·(strp)·(offset:·0x52451):·__max_align_ld |
44 | ····<49>···DW_AT_decl_file···:·(data1)·45 | 44 | ····<49>···DW_AT_decl_file···:·(data1)·45 |
45 | ····<4a>···DW_AT_decl_line···:·(data2)·427 | 45 | ····<4a>···DW_AT_decl_line···:·(data2)·427 |
46 | ····<4c>···DW_AT_decl_column·:·(data1)·15 | 46 | ····<4c>···DW_AT_decl_column·:·(data1)·15 |
47 | ····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double | 47 | ····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double |
48 | ····<4e>···DW_AT_alignment···:·(data1)·16 | 48 | ····<4e>···DW_AT_alignment···:·(data1)·16 |
49 | ····<4f>···DW_AT_data_member_location:·(data1)·16 | 49 | ····<4f>···DW_AT_data_member_location:·(data1)·16 |
50 | ·<2><50>:·Abbrev·Number:·0 | 50 | ·<2><50>:·Abbrev·Number:·0 |
51 | ·<1><51>:·Abbrev·Number:·16·(DW_TAG_base_type) | 51 | ·<1><51>:·Abbrev·Number:·16·(DW_TAG_base_type) |
52 | ····<52>···DW_AT_byte_size···:·(data1)·8 | 52 | ····<52>···DW_AT_byte_size···:·(data1)·8 |
53 | ····<53>···DW_AT_encoding····:·(data1)·5» (signed) | 53 | ····<53>···DW_AT_encoding····:·(data1)·5» (signed) |
54 | ····<54>···DW_AT_name········:·(strp)·(offset:·0x63f | 54 | ····<54>···DW_AT_name········:·(strp)·(offset:·0x63f61):·long·long·int |
55 | ·<1><58>:·Abbrev·Number:·16·(DW_TAG_base_type) | 55 | ·<1><58>:·Abbrev·Number:·16·(DW_TAG_base_type) |
56 | ····<59>···DW_AT_byte_size···:·(data1)·16 | 56 | ····<59>···DW_AT_byte_size···:·(data1)·16 |
57 | ····<5a>···DW_AT_encoding····:·(data1)·4» (float) | 57 | ····<5a>···DW_AT_encoding····:·(data1)·4» (float) |
58 | ····<5b>···DW_AT_name········:·(strp)·(offset:·0x9ae | 58 | ····<5b>···DW_AT_name········:·(strp)·(offset:·0x9aef3):·long·double |
59 | ·<1><5f>:·Abbrev·Number:·30·(DW_TAG_typedef) | 59 | ·<1><5f>:·Abbrev·Number:·30·(DW_TAG_typedef) |
60 | ····<60>···DW_AT_name········:·(strp)·(offset:·0xa5e | 60 | ····<60>···DW_AT_name········:·(strp)·(offset:·0xa5e6e):·max_align_t |
61 | ····<64>···DW_AT_decl_file···:·(data1)·45 | 61 | ····<64>···DW_AT_decl_file···:·(data1)·45 |
62 | ····<65>···DW_AT_decl_line···:·(data2)·436 | 62 | ····<65>···DW_AT_decl_line···:·(data2)·436 |
63 | ····<67>···DW_AT_decl_column·:·(data1)·3 | 63 | ····<67>···DW_AT_decl_column·:·(data1)·3 |
64 | ····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t | 64 | ····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t |
65 | ····<69>···DW_AT_alignment···:·(data1)·16 | 65 | ····<69>···DW_AT_alignment···:·(data1)·16 |
66 | ·<1><6a>:·Abbrev·Number:·41·(DW_TAG_unspecified_type) | 66 | ·<1><6a>:·Abbrev·Number:·41·(DW_TAG_unspecified_type) |
67 | ····<6b>···DW_AT_name········:·(strp)·(offset:·0x34b | 67 | ····<6b>···DW_AT_name········:·(strp)·(offset:·0x34b37):·decltype(nullptr) |
68 | ·<1><6f>:·Abbrev·Number:·16·(DW_TAG_base_type) | 68 | ·<1><6f>:·Abbrev·Number:·16·(DW_TAG_base_type) |
69 | ····<70>···DW_AT_byte_size···:·(data1)·1 | 69 | ····<70>···DW_AT_byte_size···:·(data1)·1 |
70 | ····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char) | 70 | ····<71>···DW_AT_encoding····:·(data1)·8» (unsigned·char) |
71 | ····<72>···DW_AT_name········:·(strp)·(offset:·0xa2e | 71 | ····<72>···DW_AT_name········:·(strp)·(offset:·0xa2ea8):·unsigned·char |
72 | ·<1><76>:·Abbrev·Number:·16·(DW_TAG_base_type) | 72 | ·<1><76>:·Abbrev·Number:·16·(DW_TAG_base_type) |
73 | ····<77>···DW_AT_byte_size···:·(data1)·2 | 73 | ····<77>···DW_AT_byte_size···:·(data1)·2 |
74 | ····<78>···DW_AT_encoding····:·(data1)·7» (unsigned) | 74 | ····<78>···DW_AT_encoding····:·(data1)·7» (unsigned) |
75 | ····<79>···DW_AT_name········:·(strp)·(offset:·0x5b7 | 75 | ····<79>···DW_AT_name········:·(strp)·(offset:·0x5b74e):·short·unsigned·int |
76 | ·<1><7d>:·Abbrev·Number:·16·(DW_TAG_base_type) | 76 | ·<1><7d>:·Abbrev·Number:·16·(DW_TAG_base_type) |
77 | ····<7e>···DW_AT_byte_size···:·(data1)·4 | 77 | ····<7e>···DW_AT_byte_size···:·(data1)·4 |
78 | ····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned) | 78 | ····<7f>···DW_AT_encoding····:·(data1)·7» (unsigned) |
79 | ····<80>···DW_AT_name········:·(strp)·(offset:·0x145291):·unsigned·int | 79 | ····<80>···DW_AT_name········:·(strp)·(offset:·0x145291):·unsigned·int |
80 | ·<1><84>:·Abbrev·Number:·16·(DW_TAG_base_type) | 80 | ·<1><84>:·Abbrev·Number:·16·(DW_TAG_base_type) |
81 | ····<85>···DW_AT_byte_size···:·(data1)·1 | 81 | ····<85>···DW_AT_byte_size···:·(data1)·1 |
82 | ····<86>···DW_AT_encoding····:·(data1)·6» (signed·char) | 82 | ····<86>···DW_AT_encoding····:·(data1)·6» (signed·char) |
83 | ····<87>···DW_AT_name········:·(strp)·(offset:·0xd9b | 83 | ····<87>···DW_AT_name········:·(strp)·(offset:·0xd9b36):·signed·char |
84 | ·<1><8b>:·Abbrev·Number:·16·(DW_TAG_base_type) | 84 | ·<1><8b>:·Abbrev·Number:·16·(DW_TAG_base_type) |
85 | ····<8c>···DW_AT_byte_size···:·(data1)·2 | 85 | ····<8c>···DW_AT_byte_size···:·(data1)·2 |
86 | ····<8d>···DW_AT_encoding····:·(data1)·5» (signed) | 86 | ····<8d>···DW_AT_encoding····:·(data1)·5» (signed) |
87 | ····<8e>···DW_AT_name········:·(strp)·(offset:·0x4be | 87 | ····<8e>···DW_AT_name········:·(strp)·(offset:·0x4beb2):·short·int |
88 | ·<1><92>:·Abbrev·Number:·33·(DW_TAG_typedef) | 88 | ·<1><92>:·Abbrev·Number:·33·(DW_TAG_typedef) |
89 | ····<93>···DW_AT_name········:·(strp)·(offset:·0x9c4 | 89 | ····<93>···DW_AT_name········:·(strp)·(offset:·0x9c447):·__int32_t |
90 | ····<97>···DW_AT_decl_file···:·(data1)·46 | 90 | ····<97>···DW_AT_decl_file···:·(data1)·46 |
91 | ····<98>···DW_AT_decl_line···:·(data1)·41 | 91 | ····<98>···DW_AT_decl_line···:·(data1)·41 |
92 | ····<99>···DW_AT_decl_column·:·(data1)·20 | 92 | ····<99>···DW_AT_decl_column·:·(data1)·20 |
93 | ····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int | 93 | ····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int |
94 | ·<1><9c>:·Abbrev·Number:·28·(DW_TAG_const_type) | 94 | ·<1><9c>:·Abbrev·Number:·28·(DW_TAG_const_type) |
95 | ····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int | 95 | ····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int |
96 | ·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type) | 96 | ·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type) |
97 | ····<a0>···DW_AT_byte_size···:·(data1)·4 | 97 | ····<a0>···DW_AT_byte_size···:·(data1)·4 |
98 | ····<a1>···DW_AT_encoding····:·(data1)·5» (signed) | 98 | ····<a1>···DW_AT_encoding····:·(data1)·5» (signed) |
99 | ····<a2>···DW_AT_name········:·(string)·int | 99 | ····<a2>···DW_AT_name········:·(string)·int |
100 | ·<1><a6>:·Abbrev·Number:·33·(DW_TAG_typedef) | 100 | ·<1><a6>:·Abbrev·Number:·33·(DW_TAG_typedef) |
101 | ····<a7>···DW_AT_name········:·(strp)·(offset:·0xa83 | 101 | ····<a7>···DW_AT_name········:·(strp)·(offset:·0xa8390):·__off_t |
102 | ····<ab>···DW_AT_decl_file···:·(data1)·46 | 102 | ····<ab>···DW_AT_decl_file···:·(data1)·46 |
103 | ····<ac>···DW_AT_decl_line···:·(data1)·152 | 103 | ····<ac>···DW_AT_decl_line···:·(data1)·152 |
104 | ····<ad>···DW_AT_decl_column·:·(data1)·25 | 104 | ····<ad>···DW_AT_decl_column·:·(data1)·25 |
105 | ····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int | 105 | ····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int |
106 | ·<1><af>:·Abbrev·Number:·33·(DW_TAG_typedef) | 106 | ·<1><af>:·Abbrev·Number:·33·(DW_TAG_typedef) |
107 | ····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5e | 107 | ····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5e7a):·__off64_t |
108 | ····<b4>···DW_AT_decl_file···:·(data1)·46 | 108 | ····<b4>···DW_AT_decl_file···:·(data1)·46 |
109 | ····<b5>···DW_AT_decl_line···:·(data1)·153 | 109 | ····<b5>···DW_AT_decl_line···:·(data1)·153 |
110 | ····<b6>···DW_AT_decl_column·:·(data1)·27 | 110 | ····<b6>···DW_AT_decl_column·:·(data1)·27 |
111 | ····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int | 111 | ····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int |
112 | ·<1><b8>:·Abbrev·Number:·7·(DW_TAG_pointer_type) | 112 | ·<1><b8>:·Abbrev·Number:·7·(DW_TAG_pointer_type) |
113 | ····<b9>···DW_AT_byte_size···:·(data1)·8 | 113 | ····<b9>···DW_AT_byte_size···:·(data1)·8 |
114 | ·<1><ba>:·Abbrev·Number:·21·(DW_TAG_pointer_type) | 114 | ·<1><ba>:·Abbrev·Number:·21·(DW_TAG_pointer_type) |
115 | ····<bb>···DW_AT_byte_size···:·(implicit_const)·8 | 115 | ····<bb>···DW_AT_byte_size···:·(implicit_const)·8 |
116 | ····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char | 116 | ····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char |
117 | ·<1><bd>:·Abbrev·Number:·16·(DW_TAG_base_type) | 117 | ·<1><bd>:·Abbrev·Number:·16·(DW_TAG_base_type) |
118 | ····<be>···DW_AT_byte_size···:·(data1)·1 | 118 | ····<be>···DW_AT_byte_size···:·(data1)·1 |
119 | ····<bf>···DW_AT_encoding····:·(data1)·8» (unsigned·char) | 119 | ····<bf>···DW_AT_encoding····:·(data1)·8» (unsigned·char) |
120 | ····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9b | 120 | ····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9b3d):·char |
121 | ·<1><c4>:·Abbrev·Number:·28·(DW_TAG_const_type) | 121 | ·<1><c4>:·Abbrev·Number:·28·(DW_TAG_const_type) |
122 | ····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char | 122 | ····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char |
123 | ·<1><c7>:·Abbrev·Number:·20·(DW_TAG_namespace) | 123 | ·<1><c7>:·Abbrev·Number:·20·(DW_TAG_namespace) |
124 | ····<c8>···DW_AT_name········:·(string)·std | 124 | ····<c8>···DW_AT_name········:·(string)·std |
125 | ····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x45e> | 125 | ····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x45e> |
126 | ·<2><ce>:·Abbrev·Number:·5·(DW_TAG_imported_declaration) | 126 | ·<2><ce>:·Abbrev·Number:·5·(DW_TAG_imported_declaration) |
127 | ····<cf>···DW_AT_decl_file···:·(data1)·52 | 127 | ····<cf>···DW_AT_decl_file···:·(data1)·52 |
Offset 512, 15 lines modified | Offset 512, 15 lines modified | ||
512 | ····<2ac>···DW_AT_import······:·(ref_udata)·<0xdfc>» [Abbrev·Number:·47·(DW_TAG_subprogram)] | 512 | ····<2ac>···DW_AT_import······:·(ref_udata)·<0xdfc>» [Abbrev·Number:·47·(DW_TAG_subprogram)] |
513 | ·<2><2ae>:·Abbrev·Number:·5·(DW_TAG_imported_declaration) | 513 | ·<2><2ae>:·Abbrev·Number:·5·(DW_TAG_imported_declaration) |
514 | ····<2af>···DW_AT_decl_file···:·(data1)·58 | 514 | ····<2af>···DW_AT_decl_file···:·(data1)·58 |
515 | ····<2b0>···DW_AT_decl_line···:·(data1)·55 | 515 | ····<2b0>···DW_AT_decl_line···:·(data1)·55 |
516 | ····<2b1>···DW_AT_decl_column·:·(data1)·11 | 516 | ····<2b1>···DW_AT_decl_column·:·(data1)·11 |
517 | ····<2b2>···DW_AT_import······:·(ref_udata)·<0xe0f>» [Abbrev·Number:·18·(DW_TAG_subprogram)] | 517 | ····<2b2>···DW_AT_import······:·(ref_udata)·<0xe0f>» [Abbrev·Number:·18·(DW_TAG_subprogram)] |
518 | ·<2><2b4>:·Abbrev·Number:·35·(DW_TAG_typedef) | 518 | ·<2><2b4>:·Abbrev·Number:·35·(DW_TAG_typedef) |
519 | ····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4e0 | 519 | ····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4e0ee):·ptrdiff_t |
520 | ····<2b9>···DW_AT_decl_file···:·(data1)·53 | 520 | ····<2b9>···DW_AT_decl_file···:·(data1)·53 |
521 | ····<2ba>···DW_AT_decl_line···:·(data2)·311 | 521 | ····<2ba>···DW_AT_decl_line···:·(data2)·311 |
522 | ····<2bc>···DW_AT_decl_column·:·(data1)·28 | 522 | ····<2bc>···DW_AT_decl_column·:·(data1)·28 |
523 | ····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int | 523 | ····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int |
524 | ·<2><2be>:·Abbrev·Number:·5·(DW_TAG_imported_declaration) | 524 | ·<2><2be>:·Abbrev·Number:·5·(DW_TAG_imported_declaration) |
525 | ····<2bf>···DW_AT_decl_file···:·(data1)·63 | 525 | ····<2bf>···DW_AT_decl_file···:·(data1)·63 |
526 | ····<2c0>···DW_AT_decl_line···:·(data1)·131 | 526 | ····<2c0>···DW_AT_decl_line···:·(data1)·131 |
Offset 853, 60 lines modified | Offset 853, 60 lines modified | ||
Max diff block lines reached; 61570161/61577929 bytes (99.99%) of diff not shown. |
Offset 1831, 16 lines modified | Offset 1831, 16 lines modified | ||
1831 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 | 1831 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 |
1832 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 1832 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
1833 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 1833 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
1834 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 1834 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
1835 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1 | 1835 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1 |
1836 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 1836 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
1837 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 1837 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
1838 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 1838 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
1839 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 1839 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
1840 | ··Offset:······················0x1e1a | 1840 | ··Offset:······················0x1e1a |
1841 | ··Version:·····················5 | 1841 | ··Version:·····················5 |
1842 | ··Offset·size:·················4 | 1842 | ··Offset·size:·················4 |
1843 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 | 1843 | ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1 |
1844 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 | 1844 | ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1 |
Offset 47774, 16 lines modified | Offset 47774, 16 lines modified | ||
47774 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 | 47774 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1 |
47775 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 | 47775 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1 |
47776 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 | 47776 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1 |
47777 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 | 47777 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1 |
47778 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 | 47778 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1 |
47779 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 | 47779 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1 |
47780 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 | 47780 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2 |
47781 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-1 | 47781 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19" |
47782 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"1 | 47782 | ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23" |
47783 | ··Offset:······················0x3e7f4 | 47783 | ··Offset:······················0x3e7f4 |
47784 | ··Version:·····················5 | 47784 | ··Version:·····················5 |
47785 | ··Offset·size:·················4 | 47785 | ··Offset·size:·················4 |
47786 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1 | 47786 | ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1 |
47787 | ·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1 | 47787 | ·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1 |
Offset 1, 642 lines modified | Offset 1, 659 lines modified | ||
1 | 1 | GCC:·(Debian·14.2.0-12)·14.2.0 | |
2 | ' | 2 | '·=".DzT |
3 | 'ZGoSAtW | ||
4 | ,RCF#BwW | ||
5 | O<E:BA') | ||
6 | lq?/e*» 8 | ||
7 | ^?IN>q>|U | ||
8 | a`Z:3:y|2 | ||
9 | JPi=X^1hHe | ||
10 | 1*!~Jt@A | ||
11 | s*d'61SB | ||
12 | h9(<;F&D | ||
13 | Mg8cdQ-: | ||
14 | v*N» {VK) | ||
15 | A&%Ya&yU | ||
16 | AvH8Zwsp | ||
17 | bWc`Wc[Af | ||
18 | egJ$$Y)V | ||
19 | f]K'Zg[! | ||
20 | 6_jYiI<Q | ||
21 | B8D|&$dt | ||
22 | V'05xUx< | ||
23 | DB2GgX!K | ||
24 | kqw-R(^( | ||
25 | %yW24p`v | ||
26 | Y(1"PKxh | ||
27 | Qbly]lTq] | ||
28 | WzVi=Ie< | ||
29 | VLR2uABZ | ||
30 | » KMPO/C_s | ||
31 | s9\2yfvy | ||
32 | P·IHr/.f,9I | ||
33 | 1#X|e);f | ||
34 | &0>t]Ujg? | ||
35 | FfS).+5: | ||
36 | 8>s\T)iji | ||
37 | ]AK2/(|h | ||
38 | ·~]Q]IvW | ||
39 | P)Uw@%MP | ||
40 | GZQ/EZ`) | ||
41 | ·_&unq/8Q | ||
42 | W4|mTY:z | ||
43 | $QfhL/@( | ||
44 | I.21-]@Z | ||
45 | ,[UNl#Ym | ||
46 | 'v`@Hp]» | ||
47 | y\7=d&mW | ||
48 | W;)-s7.5 | ||
49 | F5;Yp» aj | ||
50 | O^*z,K}:+ | ||
51 | <u/?n>Ugx | ||
52 | [)4l&mWI | ||
53 | :`++Q%dz» | ||
54 | ?·J&/A<x | ||
55 | 3]ZVl^iY | ||
56 | a.Cwlv_u | ||
57 | ~;4hM4:Mh_ | ||
58 | |@SL>&1Eb | ||
59 | 3WkOi@.< | ||
60 | D4Ma^_No | ||
61 | STw/XI#W*4 | ||
62 | z8#^APl[<o | ||
63 | h7WCdzYa | ||
64 | kZtSeM7T | ||
65 | I;2{=+I- | ||
66 | {rLE|Lh3G | ||
67 | dMB!4H%Y | ||
68 | qs*4a}5z | ||
69 | tOU<\zA<$A | ||
70 | incocW\A | ||
71 | 7E@@YDEE | ||
72 | 3q>;|eo/ | ||
73 | ·CIO(g"% | ||
74 | cT)·F5=] | ||
75 | 'GdSAM"$j | ||
76 | *K6GG\yn | ||
77 | 'BMH#\9E | ||
78 | SM/)c+~I | ||
79 | !_29]UM' | ||
80 | Hl2I+\mHL | ||
81 | g?iW>*4, | ||
82 | -I<ZjzSa | ||
83 | WL+ZJ%N<\> | ||
84 | }xy":I?o | ||
85 | Cx6=$N`;8#$kvLWK | ||
86 | j4Mc!WjA | ||
87 | jx7s>ql[ | ||
88 | hbu(VrG/G | ||
89 | uGgaA(EiI | ||
90 | xQsd[]X7 | ||
91 | 4;LpR&Q~Z | ||
92 | Njj&PqJ'} | ||
93 | #;\» u}:\|d | ||
94 | [tX2i|b| | ||
95 | OvVS-S(kSHNM | ||
96 | ;a,E6Sa:f | ||
97 | A» rpyK": | ||
98 | GIeo(Tys | ||
99 | Y,3@Jm&Nf | ||
100 | ]Z_+S_[J | ||
101 | S~s%+g'9 | ||
102 | SA'!t"@x | ||
103 | |J0:a"QvMr | ||
104 | Zqj9}&p3(W | ||
105 | 1?,Dr|I9? | ||
106 | 2N6`u7nt_ | ||
107 | Fg`:~)6n| | ||
108 | F([GGB>-%l | ||
109 | +G+@Z~#V | ||
110 | 9|8XvWMD | ||
111 | !uKCs#Nze | ||
112 | *OKwyZtk | ||
113 | }?.83I\Kp | ||
114 | ·dH@K=|~2 | ||
115 | ,a<IllDb= | ||
116 | i15·V1p}Z | ||
117 | rG]:q|%2C | ||
118 | bK{kA]uB, | ||
3 | OlFVC;,~j | ||
4 | 3[cVCW,~n | ||
5 | +Z[kQ@dW | ||
6 | {Gk@%f~# | ||
7 | 'T/=U>]E | ||
8 | C!Su!3tB | ||
9 | p-0KIqby | ||
10 | mQDsuU» Q | ||
11 | h)!z9eB, | ||
Max diff block lines reached; 13301/15917 bytes (83.56%) of diff not shown. |