Skip to content

Pull requests: vellvm/vellvm

New pull request New
5 Open 123 Closed
5 Open 123 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

Changing the representation of cfgs and other changes
#356 opened Mar 29, 2024 by YaZko Loading…
1 of 7 tasks
Support the Coq Platform by explicitly using the coq-flocq3 package.
#344 opened Feb 12, 2023 by paul-snively Loading…
4
Implementation for issue 215 - adding malloc and free quickchick
#303 opened Aug 18, 2022 by hanxic Loading…
Generate Recursive Function that won't be infinite
#293 opened Jul 28, 2022 by hanxic Loading…
Adapt to coq-itree master
#195 opened Mar 6, 2022 by Lysxia Loading…
1
ProTip! Adding no:label will show everything without a label.