Skip to content

Pull requests: eurecom-s3/symqemu

New pull request New
Clear current search query, filters, and sorts
1 Open 31 Closed
1 Open 31 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Compare unit tests using file content hashes
#75 by rmalmain was merged May 3, 2025 Loading…
Update to QEMU v9.1.1
#69 by rmalmain was merged Nov 4, 2024 Loading…
7
Fix a bug in tcg_gen_not_vec operation.
#68 by rmalmain was merged May 5, 2025 Loading…
1
Fix a bug in extrh_i64_i32 operation
#66 by rmalmain was merged May 2, 2025 Loading…
Update to QEMU v9.0.2
#63 by rmalmain was merged Aug 13, 2024 Loading…
Add a docker-compose file for development
#61 by rmalmain was merged May 14, 2024 Loading…
1
Pretty diff for SymQEMU unit tests
#60 by rmalmain was merged May 15, 2024 Loading…
Use more gitub actions than shell in main.yml
#59 by aurelf was closed May 5, 2024 Loading…
1
Update to QEMU v9.0.0
#58 by rmalmain was merged May 14, 2024 Loading…
10
Update to QEMU v8.2.2
#57 by rmalmain was merged Apr 25, 2024 Loading…
4
SymCC Runtime Integration
#55 by rmalmain was merged Apr 9, 2024 Loading…
10
Fix compilation of arm-linux-user target.
#54 by rmalmain was closed Apr 25, 2024 Loading…
1
Support for i128 tcg temp enhancement New feature or request
#51 by rmalmain was merged Mar 20, 2024 Loading…
1
3
Various small fixes
#50 by rmalmain was closed Mar 20, 2024 Loading…
11
Update SymQEMU to v8.2.1
#48 by rmalmain was merged Mar 21, 2024 Loading…
3
Fix compilation warnings
#45 by aurelf was closed Mar 20, 2024 Loading…
1
Adding SymQEMU unit test suite to CI
#44 by aurelf was merged Feb 22, 2024 Loading…
Adding qemu own checks to CI and improve README.md
#43 by aurelf was merged Feb 19, 2024 Loading…
Basic support for riscv
#42 by aurelf was merged Mar 18, 2024 Loading…
1
SymQEMU tests and Dockefile
#41 by damienmaier was merged Feb 17, 2024 Loading…
4
Pr tests
#40 by damienmaier was closed Feb 11, 2024 • Draft
1
SymQEMU tests and Dockefile
#39 by damienmaier was closed Feb 11, 2024 • Draft
5
Added instrumentation of vector TCG operations
#38 by damienmaier was merged Feb 22, 2024 Loading…
26
Port to QEMU8
#37 by damienmaier was merged Feb 6, 2024 Loading…
@aurelf @sebastianpoeplau
4
fix symbolic helper for sextract_i64
#34 by enlighten5 was merged May 5, 2025 Loading…
1
ProTip! Follow long discussions with comments:>50.