⊟
16.4 KB
/srv/reproducible-results/archlinuxrb-build-ya8eiasd/b1/yices/yices-2.6.4-1-x86_64.pkg.tar.zst vs.
/srv/reproducible-results/archlinuxrb-build-ya8eiasd/b2/yices/yices-2.6.4-1-x86_64.pkg.tar.zst
⊟
16.2 KB
yices-2.6.4-1-x86_64.pkg.tar
⊟
1010 B
file list
    
Offset 1, 9 lines modifiedOffset 1, 9 lines modified
1 -rw-r--r--···0·root·········(0)·root·········(0)·····7475·2023-07-25·17:16:50.000000·.BUILDINFO1 -rw-r--r--···0·root·········(0)·root·········(0)·····7475·2023-07-25·17:16:50.000000·.BUILDINFO
2 -rw-r--r--···0·root·········(0)·root·········(0)······991·2023-07-25·17:16:50.000000·.MTREE2 -rw-r--r--···0·root·········(0)·root·········(0)······994·2023-07-25·17:16:50.000000·.MTREE
3 -rw-r--r--···0·root·········(0)·root·········(0)······372·2023-07-25·17:16:50.000000·.PKGINFO3 -rw-r--r--···0·root·········(0)·root·········(0)······372·2023-07-25·17:16:50.000000·.PKGINFO
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-07-25·17:16:50.000000·usr/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-07-25·17:16:50.000000·usr/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-07-25·17:16:50.000000·usr/bin/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2023-07-25·17:16:50.000000·usr/bin/
6 -rwxr-xr-x···0·root·········(0)·root·········(0)··2419016·2023-07-25·17:16:50.000000·usr/bin/yices6 -rwxr-xr-x···0·root·········(0)·root·········(0)··2419016·2023-07-25·17:16:50.000000·usr/bin/yices
7 -rwxr-xr-x···0·root·········(0)·root·········(0)····47160·2023-07-25·17:16:50.000000·usr/bin/yices-sat7 -rwxr-xr-x···0·root·········(0)·root·········(0)····47160·2023-07-25·17:16:50.000000·usr/bin/yices-sat
8 -rwxr-xr-x···0·root·········(0)·root·········(0)··2260808·2023-07-25·17:16:50.000000·usr/bin/yices-smt8 -rwxr-xr-x···0·root·········(0)·root·········(0)··2260808·2023-07-25·17:16:50.000000·usr/bin/yices-smt
9 -rwxr-xr-x···0·root·········(0)·root·········(0)··2386728·2023-07-25·17:16:50.000000·usr/bin/yices-smt29 -rwxr-xr-x···0·root·········(0)·root·········(0)··2386728·2023-07-25·17:16:50.000000·usr/bin/yices-smt2
⊟
3.19 KB
.MTREE
⊟
3.17 KB
.MTREE-content
    
Offset 1, 22 lines modifiedOffset 1, 22 lines modified
1 #mtree1 #mtree
2 /set·type=file·uid=0·gid=0·mode=6442 /set·type=file·uid=0·gid=0·mode=644
3 ./.BUILDINFO·time=1690305410.0·size=7475·md5digest=ae5828766f55e386908ae37cf4c02675·sha256digest=609ca7e35381b45f43c48fa720b60f3cc90fb6c61c7aa630cf39b50f2238a2183 ./.BUILDINFO·time=1690305410.0·size=7475·md5digest=ae5828766f55e386908ae37cf4c02675·sha256digest=609ca7e35381b45f43c48fa720b60f3cc90fb6c61c7aa630cf39b50f2238a218
4 ./.PKGINFO·time=1690305410.0·size=372·md5digest=2a0bfff54a9c0276ab66517bad3f9ba8·sha256digest=f368911cd55873c94e9562be7f8e9cee9766c57c636782d6b451f25be45f9a694 ./.PKGINFO·time=1690305410.0·size=372·md5digest=2a0bfff54a9c0276ab66517bad3f9ba8·sha256digest=f368911cd55873c94e9562be7f8e9cee9766c57c636782d6b451f25be45f9a69
5 /set·mode=7555 /set·mode=755
6 ./usr·time=1690305410.0·type=dir6 ./usr·time=1690305410.0·type=dir
7 ./usr/bin·time=1690305410.0·type=dir7 ./usr/bin·time=1690305410.0·type=dir
8 ./usr/bin/yices·time=1690305410.0·size=2419016·md5digest=830141a476bb694bf0726860b1824c11·sha256digest=5ae6bcece9b2060215c81e043c8f8192dd95ff0ee14013178d5611f018bfbd0f 
9 ./usr/bin/yices-sat·time=1690305410.0·size=47160·md5digest=e5d3ca16222211a90ba11a53c4d3a922·sha256digest=f531012626b422f4d30cd80d5843d2c45d6b6faee4344dc6eb8b1cd7b9fcc767 
10 ./usr/bin/yices-smt·time=1690305410.0·size=2260808·md5digest=bda72e2650ef203ea03fffc676fc38ea·sha256digest=b03362c2f199d505d8149e7b6d28844ea1827e9643e2ce5e0eea839768c2a2e4 
11 ./usr/bin/yices-smt2·time=1690305410.0·size=2386728·md5digest=da92d1e8eea03a3796a09f6b201c5e50·sha256digest=70a2c3483403118badeea7d0bb4b799faeda6cfe7f90d1c6a9f16eb80c7937a58 ./usr/bin/yices·time=1690305410.0·size=2419016·md5digest=eae59fd779508e83808db8f5ac3701e2·sha256digest=03bc66acd9e8acfd733965e26bc11dd43ada5526befa44f4ddaff1037c20fe6b
 9 ./usr/bin/yices-sat·time=1690305410.0·size=47160·md5digest=14b251d354870b9a6bff63c955f144d9·sha256digest=1631b9c23e64db23ea92f5bbd4f909881fd0468f8be527395f395d8826b4066a
 10 ./usr/bin/yices-smt·time=1690305410.0·size=2260808·md5digest=b8fa00ba1d789a417697911db3bc3b9c·sha256digest=3664a0431ff8c6cb8e932b63a965b11ae307dc888f56306d08e5f45366984126
 11 ./usr/bin/yices-smt2·time=1690305410.0·size=2386728·md5digest=e1294d68f24f439ec44d5a3a7ba25ac7·sha256digest=75585fca9627b765798207db72b06eebdf19fa060b1ffdcdb6c98cc30d8164f8
12 /set·mode=66412 /set·mode=664
13 ./usr/include·time=1690305410.0·mode=755·type=dir13 ./usr/include·time=1690305410.0·mode=755·type=dir
14 ./usr/include/yices.h·time=1690305410.0·size=154136·md5digest=ab7abd78d5c6187ee717ea76bf99a4f0·sha256digest=0fbc452c658a04ffaa74bfe68f201b6ca4481fe34188b480e855f1daca9493f514 ./usr/include/yices.h·time=1690305410.0·size=154136·md5digest=ab7abd78d5c6187ee717ea76bf99a4f0·sha256digest=0fbc452c658a04ffaa74bfe68f201b6ca4481fe34188b480e855f1daca9493f5
15 ./usr/include/yices_exit_codes.h·time=1690305410.0·size=1455·md5digest=a1062486bd3ac315bbfc930f71809abb·sha256digest=cbe1068081f0673520e583ffe86b0beed8b2fe4e63901db22e4ff5b51ca13be115 ./usr/include/yices_exit_codes.h·time=1690305410.0·size=1455·md5digest=a1062486bd3ac315bbfc930f71809abb·sha256digest=cbe1068081f0673520e583ffe86b0beed8b2fe4e63901db22e4ff5b51ca13be1
16 ./usr/include/yices_limits.h·time=1690305410.0·size=1501·md5digest=12b667d9a427d38f624c187cad0aeb29·sha256digest=4dc7ff8559be0552366950874976b705c3f6711ce95293b3e3028d4856cfb5d816 ./usr/include/yices_limits.h·time=1690305410.0·size=1501·md5digest=12b667d9a427d38f624c187cad0aeb29·sha256digest=4dc7ff8559be0552366950874976b705c3f6711ce95293b3e3028d4856cfb5d8
17 ./usr/include/yices_types.h·time=1690305410.0·size=17023·md5digest=13d94f7eb974091ded4a0f4ebc10aff9·sha256digest=958774f841f400f03adefa774ecccc0a48512808fceaef1bc8d01c790c81b52f17 ./usr/include/yices_types.h·time=1690305410.0·size=17023·md5digest=13d94f7eb974091ded4a0f4ebc10aff9·sha256digest=958774f841f400f03adefa774ecccc0a48512808fceaef1bc8d01c790c81b52f
18 /set·mode=77718 /set·mode=777
19 ./usr/lib·time=1690305410.0·mode=755·type=dir19 ./usr/lib·time=1690305410.0·mode=755·type=dir
20 ./usr/lib/libyices.so·time=1690305410.0·type=link·link=libyices.so.2.6.420 ./usr/lib/libyices.so·time=1690305410.0·type=link·link=libyices.so.2.6.4
21 ./usr/lib/libyices.so.2.6·time=1690305410.0·type=link·link=libyices.so.2.6.421 ./usr/lib/libyices.so.2.6·time=1690305410.0·type=link·link=libyices.so.2.6.4
22 ./usr/lib/libyices.so.2.6.4·time=1690305410.0·mode=755·size=2254840·md5digest=a07d021c8a12a2c49beda2db23cb0a64·sha256digest=4e0a4b51b01061fc287ac4831c528e98a62d9a7ec2f1838d3d6fd25ae3a50ab322 ./usr/lib/libyices.so.2.6.4·time=1690305410.0·mode=755·size=2254840·md5digest=74b4ba25304af266cc46a042125d2f34·sha256digest=4fe0fdb84452969c075f6051bbe53012546685798490da3a51e3b3489bb8ef8d
⊟
2.56 KB
usr/bin/yices
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
905 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000040»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature:·IBT,·SHSTK,·x86·ISA·needed:·x86-64-baseline,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline3 ··GNU··················0x00000040»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature:·IBT,·SHSTK,·x86·ISA·needed:·x86-64-baseline,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·020390d8c48eebf28047eba7f99bf892da27e18d6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6c48032f98b9c6180adc0e4d73c366e91d0f3cce
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·4.4.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·4.4.0
⊟
438 B
strings --all --bytes=8 {}
    
Offset 4266, 15 lines modifiedOffset 4266, 15 lines modified
4266 floating-point·over/underflow:·%s4266 floating-point·over/underflow:·%s
4267 floating-point·over/underflow:·%s·%s4267 floating-point·over/underflow:·%s·%s
4268 ·must·be·in·the·interval·%c%.2f,·%.2f%c4268 ·must·be·in·the·interval·%c%.2f,·%.2f%c
4269 /proc/self/statm4269 /proc/self/statm
4270 Yices:·failed·to·install·SIG_ALRM·handler:·4270 Yices:·failed·to·install·SIG_ALRM·handler:·
4271 134d87984a13ba89e8e76e5e9b648f6860d129ea4271 134d87984a13ba89e8e76e5e9b648f6860d129ea
4272 x86_64-pc-linux-gnu4272 x86_64-pc-linux-gnu
4273 2023-07-254273 2024-08-26
4274 arith-fragment4274 arith-fragment
4275 array-solver4275 array-solver
4276 bv-solver4276 bv-solver
4277 model-interpolation4277 model-interpolation
4278 solver-type4278 solver-type
4279 uf-solver4279 uf-solver
4280 QF_AUFLIRA4280 QF_AUFLIRA
⊟
1.16 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 670, 15 lines modifiedOffset 670, 15 lines modified
670 ··0x001d19b0·61696c65·6420746f·20696e73·74616c6c·ailed·to·install670 ··0x001d19b0·61696c65·6420746f·20696e73·74616c6c·ailed·to·install
671 ··0x001d19c0·20534947·5f414c52·4d206861·6e646c65··SIG_ALRM·handle671 ··0x001d19c0·20534947·5f414c52·4d206861·6e646c65··SIG_ALRM·handle
672 ··0x001d19d0·723a2000·00000000·31333464·38373938·r:·.....134d8798672 ··0x001d19d0·723a2000·00000000·31333464·38373938·r:·.....134d8798
673 ··0x001d19e0·34613133·62613839·65386537·36653565·4a13ba89e8e76e5e673 ··0x001d19e0·34613133·62613839·65386537·36653565·4a13ba89e8e76e5e
674 ··0x001d19f0·39623634·38663638·36306431·32396561·9b648f6860d129ea674 ··0x001d19f0·39623634·38663638·36306431·32396561·9b648f6860d129ea
675 ··0x001d1a00·0072656c·65617365·00783836·5f36342d·.release.x86_64-675 ··0x001d1a00·0072656c·65617365·00783836·5f36342d·.release.x86_64-
676 ··0x001d1a10·70632d6c·696e7578·2d676e75·00323032·pc-linux-gnu.202676 ··0x001d1a10·70632d6c·696e7578·2d676e75·00323032·pc-linux-gnu.202
677 ··0x001d1a20·332d3037·2d323500·322e362e·34000000·3-07-25.2.6.4...677 ··0x001d1a20·342d3038·2d323600·322e362e·34000000·4-08-26.2.6.4...
678 ··0x001d1a30·00000000·00000000·00000000·00000000·................678 ··0x001d1a30·00000000·00000000·00000000·00000000·................
679 ··0x001d1a40·b8eee4ff·70eee4ff·a0eee4ff·b0ede4ff·....p...........679 ··0x001d1a40·b8eee4ff·70eee4ff·a0eee4ff·b0ede4ff·....p...........
680 ··0x001d1a50·c8ede4ff·00eee4ff·38eee4ff·50ede4ff·........8...P...680 ··0x001d1a50·c8ede4ff·00eee4ff·38eee4ff·50ede4ff·........8...P...
681 ··0x001d1a60·88ede4ff·00000000·00000000·00000000·................681 ··0x001d1a60·88ede4ff·00000000·00000000·00000000·................
682 ··0x001d1a70·00000000·00000000·00000000·00000000·................682 ··0x001d1a70·00000000·00000000·00000000·00000000·................
683 ··0x001d1a80·00000000·ffffffff·05000000·02000000·................683 ··0x001d1a80·00000000·ffffffff·05000000·02000000·................
684 ··0x001d1a90·02000000·02000000·ffffffff·ffffffff·................684 ··0x001d1a90·02000000·02000000·ffffffff·ffffffff·................
⊟
2.27 KB
usr/bin/yices-sat
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
905 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000040»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature:·IBT,·SHSTK,·x86·ISA·needed:·x86-64-baseline,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline3 ··GNU··················0x00000040»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature:·IBT,·SHSTK,·x86·ISA·needed:·x86-64-baseline,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·3d8044bb00d863d279183be4e87dbbdaf944c48d6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·b794b5b5a402d3fc15d1e0ded1376cc359f23bc0
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·4.4.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·4.4.0
⊟
480 B
strings --all --bytes=8 {}
    
Offset 138, 15 lines modifiedOffset 138, 15 lines modified
138 invalid·parameter·to·%s·(parameter·must·be·a·number)138 invalid·parameter·to·%s·(parameter·must·be·a·number)
139 floating-point·over/underflow:·%s139 floating-point·over/underflow:·%s
140 floating-point·over/underflow:·%s·%s140 floating-point·over/underflow:·%s·%s
141 ·must·be·in·the·interval·%c%.2f,·%.2f%c141 ·must·be·in·the·interval·%c%.2f,·%.2f%c
142 /proc/self/statm142 /proc/self/statm
143 134d87984a13ba89e8e76e5e9b648f6860d129ea143 134d87984a13ba89e8e76e5e9b648f6860d129ea
144 x86_64-pc-linux-gnu144 x86_64-pc-linux-gnu
145 2023-07-25145 2024-08-26
146 GCC:·(GNU)·13.1.1·20230429146 GCC:·(GNU)·13.1.1·20230429
147 GCC:·(GNU)·13.1.1·20230714147 GCC:·(GNU)·13.1.1·20230714
148 .shstrtab148 .shstrtab
149 .note.gnu.property149 .note.gnu.property
150 .note.gnu.build-id150 .note.gnu.build-id
151 .note.ABI-tag151 .note.ABI-tag
152 .gnu.hash152 .gnu.hash
⊟
847 B
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 195, 11 lines modifiedOffset 195, 11 lines modified
195 ··0x00008c00·ffffffff·ffffef7f·00000000·00001000·................195 ··0x00008c00·ffffffff·ffffef7f·00000000·00001000·................
196 ··0x00008c10·2f70726f·632f7365·6c662f73·7461746d·/proc/self/statm196 ··0x00008c10·2f70726f·632f7365·6c662f73·7461746d·/proc/self/statm
197 ··0x00008c20·00000000·00000000·31333464·38373938·........134d8798197 ··0x00008c20·00000000·00000000·31333464·38373938·........134d8798
198 ··0x00008c30·34613133·62613839·65386537·36653565·4a13ba89e8e76e5e198 ··0x00008c30·34613133·62613839·65386537·36653565·4a13ba89e8e76e5e
199 ··0x00008c40·39623634·38663638·36306431·32396561·9b648f6860d129ea199 ··0x00008c40·39623634·38663638·36306431·32396561·9b648f6860d129ea
200 ··0x00008c50·0072656c·65617365·00783836·5f36342d·.release.x86_64-200 ··0x00008c50·0072656c·65617365·00783836·5f36342d·.release.x86_64-
201 ··0x00008c60·70632d6c·696e7578·2d676e75·00323032·pc-linux-gnu.202201 ··0x00008c60·70632d6c·696e7578·2d676e75·00323032·pc-linux-gnu.202
202 ··0x00008c70·332d3037·2d323500·322e362e·34007472·3-07-25.2.6.4.tr202 ··0x00008c70·342d3038·2d323600·322e362e·34007472·4-08-26.2.6.4.tr
203 ··0x00008c80·75650054·52554500·66616c73·65004641·ue.TRUE.false.FA203 ··0x00008c80·75650054·52554500·66616c73·65004641·ue.TRUE.false.FA
204 ··0x00008c90·4c534500····························LSE.204 ··0x00008c90·4c534500····························LSE.
  
⊟
2.66 KB
usr/bin/yices-smt
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
905 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000040»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature:·IBT,·SHSTK,·x86·ISA·needed:·x86-64-baseline,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline3 ··GNU··················0x00000040»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature:·IBT,·SHSTK,·x86·ISA·needed:·x86-64-baseline,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·889cb1d170bbd7fad1bc6ff7dd7a7f7dabda1f1c6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·79cac81f1205ae53b31fb85613bdd6d4f6023de8
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·4.4.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·4.4.0
⊟
530 B
strings --all --bytes=8 {}
    
Offset 4763, 15 lines modifiedOffset 4763, 15 lines modified
4763 floating-point·over/underflow:·%s4763 floating-point·over/underflow:·%s
4764 floating-point·over/underflow:·%s·%s4764 floating-point·over/underflow:·%s·%s
4765 ·must·be·in·the·interval·%c%.2f,·%.2f%c4765 ·must·be·in·the·interval·%c%.2f,·%.2f%c
4766 /proc/self/statm4766 /proc/self/statm
4767 Yices:·failed·to·install·SIG_ALRM·handler:·4767 Yices:·failed·to·install·SIG_ALRM·handler:·
4768 134d87984a13ba89e8e76e5e9b648f6860d129ea4768 134d87984a13ba89e8e76e5e9b648f6860d129ea
4769 x86_64-pc-linux-gnu4769 x86_64-pc-linux-gnu
4770 2023-07-254770 2024-08-26
4771 Adding·atom4771 Adding·atom
4772 Circular·dependency·encountered·while·finding·a·representative·for·term:·%s4772 Circular·dependency·encountered·while·finding·a·representative·for·term:·%s
4773 ==·EF·GENERATION·(max:·%d)·==4773 ==·EF·GENERATION·(max:·%d)·==
4774 ==·EF·VALUE·TYPES·==4774 ==·EF·VALUE·TYPES·==
4775 ==·EF·REPS·==4775 ==·EF·REPS·==
4776 %s·->·%d4776 %s·->·%d
4777 ==·EF·VALUE·TERMS·==4777 ==·EF·VALUE·TERMS·==
⊟
1.17 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 3789, 15 lines modifiedOffset 3789, 15 lines modified
3789 ··0x001c7ca0·59696365·733a2066·61696c65·6420746f·Yices:·failed·to3789 ··0x001c7ca0·59696365·733a2066·61696c65·6420746f·Yices:·failed·to
3790 ··0x001c7cb0·20696e73·74616c6c·20534947·5f414c52··install·SIG_ALR3790 ··0x001c7cb0·20696e73·74616c6c·20534947·5f414c52··install·SIG_ALR
3791 ··0x001c7cc0·4d206861·6e646c65·723a2000·00000000·M·handler:·.....3791 ··0x001c7cc0·4d206861·6e646c65·723a2000·00000000·M·handler:·.....
3792 ··0x001c7cd0·31333464·38373938·34613133·62613839·134d87984a13ba893792 ··0x001c7cd0·31333464·38373938·34613133·62613839·134d87984a13ba89
3793 ··0x001c7ce0·65386537·36653565·39623634·38663638·e8e76e5e9b648f683793 ··0x001c7ce0·65386537·36653565·39623634·38663638·e8e76e5e9b648f68
3794 ··0x001c7cf0·36306431·32396561·0072656c·65617365·60d129ea.release3794 ··0x001c7cf0·36306431·32396561·0072656c·65617365·60d129ea.release
3795 ··0x001c7d00·00783836·5f36342d·70632d6c·696e7578·.x86_64-pc-linux3795 ··0x001c7d00·00783836·5f36342d·70632d6c·696e7578·.x86_64-pc-linux
3796 ··0x001c7d10·2d676e75·00323032·332d3037·2d323500·-gnu.2023-07-25.3796 ··0x001c7d10·2d676e75·00323032·342d3038·2d323600·-gnu.2024-08-26.
3797 ··0x001c7d20·322e362e·34000000·29000000·0c000000·2.6.4...).......3797 ··0x001c7d20·322e362e·34000000·29000000·0c000000·2.6.4...).......
3798 ··0x001c7d30·cdcccccc·cccce43f·00000000·00000000·.......?........3798 ··0x001c7d30·cdcccccc·cccce43f·00000000·00000000·.......?........
3799 ··0x001c7d40·409ef9ff·e89df9ff·e89df9ff·e89df9ff·@...............3799 ··0x001c7d40·409ef9ff·e89df9ff·e89df9ff·e89df9ff·@...............
3800 ··0x001c7d50·e89df9ff·e89df9ff·e89df9ff·e89df9ff·................3800 ··0x001c7d50·e89df9ff·e89df9ff·e89df9ff·e89df9ff·................
3801 ··0x001c7d60·109ef9ff·109ef9ff·e89df9ff·e89df9ff·................3801 ··0x001c7d60·109ef9ff·109ef9ff·e89df9ff·e89df9ff·................
3802 ··0x001c7d70·e89df9ff·a09ff9ff·e89df9ff·e89df9ff·................3802 ··0x001c7d70·e89df9ff·a09ff9ff·e89df9ff·e89df9ff·................
3803 ··0x001c7d80·e89df9ff·209ff9ff·889ef9ff·00000000·....·...........3803 ··0x001c7d80·e89df9ff·209ff9ff·889ef9ff·00000000·....·...........
⊟
2.58 KB
usr/bin/yices-smt2
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
905 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000040»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature:·IBT,·SHSTK,·x86·ISA·needed:·x86-64-baseline,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline3 ··GNU··················0x00000040»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature:·IBT,·SHSTK,·x86·ISA·needed:·x86-64-baseline,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·735da27d6f954c15f48e4097db441b5b55bbd6376 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·997a816f6da8c39b16201367b5dbef79aa1758d9
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·4.4.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·4.4.0
⊟
440 B
strings --all --bytes=8 {}
    
Offset 5179, 15 lines modifiedOffset 5179, 15 lines modified
5179 floating-point·over/underflow:·%s5179 floating-point·over/underflow:·%s
5180 floating-point·over/underflow:·%s·%s5180 floating-point·over/underflow:·%s·%s
5181 ·must·be·in·the·interval·%c%.2f,·%.2f%c5181 ·must·be·in·the·interval·%c%.2f,·%.2f%c
5182 /proc/self/statm5182 /proc/self/statm
5183 Yices:·failed·to·install·SIG_ALRM·handler:·5183 Yices:·failed·to·install·SIG_ALRM·handler:·
5184 134d87984a13ba89e8e76e5e9b648f6860d129ea5184 134d87984a13ba89e8e76e5e9b648f6860d129ea
5185 x86_64-pc-linux-gnu5185 x86_64-pc-linux-gnu
5186 2023-07-255186 2024-08-26
5187 arith-fragment5187 arith-fragment
5188 arith-solver5188 arith-solver
5189 array-solver5189 array-solver
5190 bv-solver5190 bv-solver
5191 model-interpolation5191 model-interpolation
5192 solver-type5192 solver-type
5193 uf-solver5193 uf-solver
⊟
1.17 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 4535, 15 lines modifiedOffset 4535, 15 lines modified
4535 ··0x001dfb40·61696c65·6420746f·20696e73·74616c6c·ailed·to·install4535 ··0x001dfb40·61696c65·6420746f·20696e73·74616c6c·ailed·to·install
4536 ··0x001dfb50·20534947·5f414c52·4d206861·6e646c65··SIG_ALRM·handle4536 ··0x001dfb50·20534947·5f414c52·4d206861·6e646c65··SIG_ALRM·handle
4537 ··0x001dfb60·723a2000·00000000·31333464·38373938·r:·.....134d87984537 ··0x001dfb60·723a2000·00000000·31333464·38373938·r:·.....134d8798
4538 ··0x001dfb70·34613133·62613839·65386537·36653565·4a13ba89e8e76e5e4538 ··0x001dfb70·34613133·62613839·65386537·36653565·4a13ba89e8e76e5e
4539 ··0x001dfb80·39623634·38663638·36306431·32396561·9b648f6860d129ea4539 ··0x001dfb80·39623634·38663638·36306431·32396561·9b648f6860d129ea
4540 ··0x001dfb90·0072656c·65617365·00783836·5f36342d·.release.x86_64-4540 ··0x001dfb90·0072656c·65617365·00783836·5f36342d·.release.x86_64-
4541 ··0x001dfba0·70632d6c·696e7578·2d676e75·00323032·pc-linux-gnu.2024541 ··0x001dfba0·70632d6c·696e7578·2d676e75·00323032·pc-linux-gnu.202
4542 ··0x001dfbb0·332d3037·2d323500·322e362e·34000000·3-07-25.2.6.4...4542 ··0x001dfbb0·342d3038·2d323600·322e362e·34000000·4-08-26.2.6.4...
4543 ··0x001dfbc0·4854f9ff·0054f9ff·3054f9ff·4053f9ff·HT...T..0T..@S..4543 ··0x001dfbc0·4854f9ff·0054f9ff·3054f9ff·4053f9ff·HT...T..0T..@S..
4544 ··0x001dfbd0·5853f9ff·9053f9ff·c853f9ff·e052f9ff·XS...S...S...R..4544 ··0x001dfbd0·5853f9ff·9053f9ff·c853f9ff·e052f9ff·XS...S...S...R..
4545 ··0x001dfbe0·1853f9ff·00000000·00000000·00000000·.S..............4545 ··0x001dfbe0·1853f9ff·00000000·00000000·00000000·.S..............
4546 ··0x001dfbf0·00000000·00000000·00000000·00000000·................4546 ··0x001dfbf0·00000000·00000000·00000000·00000000·................
4547 ··0x001dfc00·00000000·ffffffff·05000000·02000000·................4547 ··0x001dfc00·00000000·ffffffff·05000000·02000000·................
4548 ··0x001dfc10·02000000·02000000·ffffffff·ffffffff·................4548 ··0x001dfc10·02000000·02000000·ffffffff·ffffffff·................
4549 ··0x001dfc20·ffffffff·ffffffff·02000000·01000000·................4549 ··0x001dfc20·ffffffff·ffffffff·02000000·01000000·................
⊟
1.89 KB
usr/lib/libyices.so.2.6.4
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
685 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000030»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature:·IBT,·SHSTK,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline3 ··GNU··················0x00000030»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·feature:·IBT,·SHSTK,·x86·feature·used:·x86,·XMM,·x86·ISA·used:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·fb7faa88dda4a0b95465f1f84ee6e7756b1cb44b6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·94fa5c7a658def60afc9e2675dc8dad9ecb15221
⊟
417 B
strings --all --bytes=8 {}
    
Offset 5104, 15 lines modifiedOffset 5104, 15 lines modified
5104 mcsat::bv::conflict5104 mcsat::bv::conflict
5105 mcsat::bv::explain::eq_ext_con5105 mcsat::bv::explain::eq_ext_con
5106 mcsat::bv::explain::full_bv_sat5106 mcsat::bv::explain::full_bv_sat
5107 mcsat::bv::explain::full_bv_trivial5107 mcsat::bv::explain::full_bv_trivial
5108 lists·of·5108 lists·of·
5109 134d87984a13ba89e8e76e5e9b648f6860d129ea5109 134d87984a13ba89e8e76e5e9b648f6860d129ea
5110 x86_64-pc-linux-gnu5110 x86_64-pc-linux-gnu
5111 2023-07-255111 2024-08-26
5112 GCC:·(GNU)·13.1.1·202307145112 GCC:·(GNU)·13.1.1·20230714
5113 .shstrtab5113 .shstrtab
5114 .note.gnu.property5114 .note.gnu.property
5115 .note.gnu.build-id5115 .note.gnu.build-id
5116 .gnu.hash5116 .gnu.hash
5117 .gnu.version5117 .gnu.version
5118 .gnu.version_r5118 .gnu.version_r
⊟
721 B
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 3679, 9 lines modifiedOffset 3679, 9 lines modified
3679 ··0x001c85c0·f0f1feff·f0f1feff·f0f1feff·f0f1feff·................3679 ··0x001c85c0·f0f1feff·f0f1feff·f0f1feff·f0f1feff·................
3680 ··0x001c85d0·8df1feff·a9f8feff·5ff7feff·dc00ffff·........_.......3680 ··0x001c85d0·8df1feff·a9f8feff·5ff7feff·dc00ffff·........_.......
3681 ··0x001c85e0·07f9feff·76f6feff·31333464·38373938·....v...134d87983681 ··0x001c85e0·07f9feff·76f6feff·31333464·38373938·....v...134d8798
3682 ··0x001c85f0·34613133·62613839·65386537·36653565·4a13ba89e8e76e5e3682 ··0x001c85f0·34613133·62613839·65386537·36653565·4a13ba89e8e76e5e
3683 ··0x001c8600·39623634·38663638·36306431·32396561·9b648f6860d129ea3683 ··0x001c8600·39623634·38663638·36306431·32396561·9b648f6860d129ea
3684 ··0x001c8610·0072656c·65617365·00783836·5f36342d·.release.x86_64-3684 ··0x001c8610·0072656c·65617365·00783836·5f36342d·.release.x86_64-
3685 ··0x001c8620·70632d6c·696e7578·2d676e75·00323032·pc-linux-gnu.2023685 ··0x001c8620·70632d6c·696e7578·2d676e75·00323032·pc-linux-gnu.202
3686 ··0x001c8630·332d3037·2d323500·322e362e·3400·····3-07-25.2.6.4.3686 ··0x001c8630·342d3038·2d323600·322e362e·3400·····4-08-26.2.6.4.
  
Generated by diffoscope 245