Highlights
- Arctic Code Vault Contributor
Pinned
2,428 contributions in the last year
Less
More
Contribution activity
April 2021
Created 63 commits in 7 repositories
Created 3 repositories
Created a pull request in diffblue/cbmc that received 17 comments
Enable IPO / LTO and -O3
LTO and -O3 give a good performance improvement. I would not recommend -O3 with bad compiler versions though, such as gcc-9
+96
−8
•
17
comments
Opened 8 other pull requests in 6 repositories
diffblue/cbmc
1
open
2
closed
gzm55/hash-garage
1
merged
paugier/piconumpy
1
merged
i5ik/beamsplitter
1
open
vectorclass/version2
1
open
wangyi-fudan/wyhash
1
merged
Reviewed 1 pull request in 1 repository
diffblue/cbmc 1 pull request
Created an issue in diffblue/cbmc that received 8 comments
Still SIMD1 failures with ia32_vec_ext_v4si
When I compile on AMD64 with -march=native
the SIMD1 test fails still after #5919 with
no body for function __builtin_ia32_vec_ext_v4si
main.c func…
8
comments