Skip to content
This repository has been archived by the owner on Jul 31, 2023. It is now read-only.

Pull requests: project-oak/rust-verification-tools

Clear current search query, filters, and sorts
0 Open 101 Closed
0 Open 101 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

add llvm-13 support
#157 by NEUZhangy was closed Feb 12, 2022 Loading…
Add rudimentary support for the SMACK verifier cla: yes Contributor has signed CLA
#153 by keram88 was merged Sep 10, 2021 Loading…
1
Add FROM instruction params cla: yes Contributor has signed CLA
#151 by thierrymarianne was merged Aug 17, 2021 Loading…
2
Add Github actions-based workflow to build and push Docker images cla: yes Contributor has signed CLA
#149 by thierrymarianne was closed Sep 7, 2021 Loading…
1 of 3 tasks
22
Revert "Update mkimage" cla: yes Contributor has signed CLA
#148 by alastairreid was merged Jul 14, 2021 Loading…
Update mkimage
#147 by chadbrewbaker was merged Jul 13, 2021 Loading…
7
Fix register_dtor issue cla: yes Contributor has signed CLA
#145 by alastairreid was merged Jul 2, 2021 Loading…
1
Generate keys, and store data in array. cla: yes Contributor has signed CLA
#143 by fshaked was merged Jun 10, 2021 Loading…
1
cargo-verify: add --bin option cla: yes Contributor has signed CLA
#142 by alastairreid was merged Jun 4, 2021 Loading…
1
only sudo docker if not in docker group cla: yes Contributor has signed CLA
#140 by alsuren was merged Jun 3, 2021 Loading…
1
Docker cleanup cla: yes Contributor has signed CLA
#135 by alastairreid was merged May 21, 2021 Loading…
11
pin down klee UCLIBC_VERSION cla: yes Contributor has signed CLA
#133 by alsuren was merged May 10, 2021 Loading…
1
CI and rustfmt cla: yes Contributor has signed CLA
#132 by alsuren was merged May 11, 2021 Loading…
2 tasks done
2
fix broken links in README.md cla: yes Contributor has signed CLA
#130 by alsuren was merged May 11, 2021 Loading…
3
Refactor verification-annotations cla: yes Contributor has signed CLA
#128 by fshaked was merged May 10, 2021 Loading…
1
Simd support cla: yes Contributor has signed CLA
#127 by alastairreid was merged Apr 21, 2021 Loading…
22
docker/init: use the right compiler cla: yes Contributor has signed CLA
#126 by alastairreid was merged Apr 6, 2021 Loading…
Fix sse2 problem cla: yes Contributor has signed CLA
#125 by alastairreid was closed Mar 31, 2021 Loading…
1
Add --output option to cargo-verify cla: yes Contributor has signed CLA
#124 by alastairreid was merged Apr 6, 2021 Loading…
5
Add a short README to docs cla: yes Contributor has signed CLA
#123 by fshaked was merged Apr 1, 2021 Loading…
7
Minor fixes to Using KLEE cla: yes Contributor has signed CLA
#122 by fshaked was merged Apr 1, 2021 Loading…
3
Add Using SeaHorn blog post cla: yes Contributor has signed CLA
#121 by fshaked was merged Apr 1, 2021 Loading…
7
Add --verify_common_dir option to cargo-verify cla: yes Contributor has signed CLA
#119 by fshaked was merged Mar 22, 2021 Loading…
4
Add --replace-backend-flags to cargo-verify cla: yes Contributor has signed CLA
#118 by fshaked was merged Mar 22, 2021 Loading…
7
Docker: build libstd/libcore without vectorization cla: yes Contributor has signed CLA
#116 by alastairreid was closed Mar 31, 2021 Loading…
3
ProTip! Follow long discussions with comments:>50.