Skip to content

Pull requests: SVF-tools/Teaching-Software-Verification

New pull request New
Clear current search query, filters, and sorts
0 Open 31 Closed
0 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Release python version Assignment2 and new Dockerfile
#31 by bjjwwang was merged Feb 28, 2025 Loading…
add python ass1 and add launch.json python support
#30 by bjjwwang was merged Feb 19, 2025 Loading…
add ass1 python
#29 by bjjwwang was closed Feb 19, 2025 Loading…
resume RTTI
#28 by bjjwwang was merged Feb 18, 2025 Loading…
fix ass 2, and remove RTTI check ( we don't need it)
#27 by bjjwwang was merged Feb 18, 2025 Loading…
try Arm 64 docker build
#26 by bjjwwang was merged Feb 17, 2025 Loading…
refactor TSV
#25 by bjjwwang was merged Feb 13, 2025 Loading…
sync with callgraph PR in 0203
#24 by bjjwwang was merged Feb 3, 2025 Loading…
Sync with SVF 0130
#23 by bjjwwang was merged Jan 30, 2025 Loading…
sync with svf
#22 by bjjwwang was merged Jan 22, 2025 Loading…
update macos
#21 by jumormt was merged Feb 5, 2024 Loading…
sync with SVF
#20 by jumormt was merged Feb 5, 2024 Loading…
remove getptrelementty
#19 by jumormt was merged Jan 25, 2024 Loading…
sync with the latest SVF
#18 by jumormt was merged Dec 4, 2023 Loading…
fix cmake svf core symbol not found
#17 by jumormt was merged Oct 18, 2023 Loading…
sync with SVF
#16 by jumormt was merged Jun 8, 2023 Loading…
CI: Ubuntu18.04 -> 20.04
#15 by jumormt was merged Apr 5, 2023 Loading…
fit assignment to new commandline
#14 by guanqin-123 was merged Mar 22, 2023 Loading…
sync with the latest SVF
#13 by jumormt was merged Mar 7, 2023 Loading…
sync with the latest SVF
#12 by jumormt was merged Mar 7, 2023 Loading…
add LLVM-14.0.0 support
#11 by jumormt was merged Jan 30, 2023 Loading…
LLVM-14.0.0 support
#10 by jumormt was merged Jan 30, 2023 Loading…
update cmake
#9 by jumormt was merged Dec 17, 2022 Loading…
sync with the latest SVF
#8 by jumormt was merged Dec 15, 2022 Loading…
fit to verification class materials
#7 by guanqin-123 was merged Jun 7, 2022 Loading…
1
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.