Shung-Hsi Yu shunghsiyu

0 Followers · 0 Following

• Joined on 2025-12-16

Repositories

1

Projects Packages Public Activity Starred Repositories

shunghsiyu commented on pull request jirislaby/d-t-s-cbmc#1 2025-12-16 13:51:11 +01:00

update to 6.8.0

Build issue on ppc64le fixed. Ready to merge.

shunghsiyu pushed to master at shunghsiyu/d-t-s-cbmc 2025-12-16 09:42:11 +01:00

2b94b9304c up to 6.8.0

shunghsiyu commented on pull request jirislaby/d-t-s-cbmc#1 2025-12-16 09:02:47 +01:00

update to 6.8.0

Actually the problem is just OOM when doing LTO.

/usr/bin/qemu-system-ppc64 -nodefaults -no-reboot -nographic -vga none -cpu host -enable-kvm -M pseries,cap-ccf-assist=off -object…

shunghsiyu pushed to master at shunghsiyu/d-t-s-cbmc 2025-12-16 08:53:07 +01:00

87bcef8802 up to 6.8.0

shunghsiyu pushed to master at shunghsiyu/d-t-s-cbmc 2025-12-16 08:00:21 +01:00

0284a53fab up to 6.8.0

shunghsiyu pushed to master at shunghsiyu/d-t-s-cbmc 2025-12-16 07:52:12 +01:00

5723a091a2 up to 6.8.0

shunghsiyu commented on pull request jirislaby/d-t-s-cbmc#1 2025-12-16 04:57:11 +01:00

update to 6.8.0

Setting to WIP because it fails to build on Factory/PowerPC, will try to fix it.

shunghsiyu created pull request jirislaby/d-t-s-cbmc#1 2025-12-16 04:50:58 +01:00

update to 6.8.0

shunghsiyu pushed to master at shunghsiyu/d-t-s-cbmc 2025-12-16 01:33:22 +01:00

ff7775f076 up to 6.8.0

shunghsiyu created repository shunghsiyu/d-t-s-cbmc 2025-12-16 00:52:52 +01:00