Skip to content

Pull requests: smackers/smack

New pull request New
7 Open 319 Closed
7 Open 319 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Upgrade CVC4 to CVC5
#799 opened Apr 18, 2023 by keram88 Loading…
1
Upgrade SMACK to support LLVM 13
#784 opened Mar 10, 2022 by shaobo-he Loading…
2
Added a pass that warns about loops
#766 opened Nov 16, 2021 by shaobo-he Loading…
2
Refactor RewriteBitwiseOps
#677 opened Jan 16, 2021 by shaobo-he Loading…
5
Update documentations
#567 opened Apr 14, 2020 by shaobo-he Loading…
5
Add multi-language documentation
#334 opened Jun 29, 2018 by jjgarzella Loading…
6
Added modifies clause generation for Boogie files.
#267 opened Sep 19, 2017 by liammachado Loading…
21
ProTip! What’s not been updated in a month: updated:<2024-04-21.