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 Crux-mir to the documentations cla: yes Contributor has signed CLA
#41 by fshaked was merged Oct 7, 2020 Loading…
Add crux to verification-annotations cla: yes Contributor has signed CLA
#17 by fshaked was merged Sep 9, 2020 Loading…
2
Add crux to propverify cla: yes Contributor has signed CLA
#18 by fshaked was merged Sep 9, 2020 Loading…
1
Fix crux assertions cla: yes Contributor has signed CLA
#19 by fshaked was merged Sep 10, 2020 Loading…
Script fixes
#20 by alastairreid was closed Sep 10, 2020 Loading…
1
Add assert macros to Klee cla: yes Contributor has signed CLA
#22 by fshaked was merged Sep 10, 2020 Loading…
1
Clean the use of mod and use in tests cla: yes Contributor has signed CLA
#23 by fshaked was merged Sep 10, 2020 Loading…
1
Add prop_assert et al. cla: yes Contributor has signed CLA
#24 by fshaked was merged Sep 10, 2020 Loading…
1
Script: make 'cargo verify <crate>' work cla: yes Contributor has signed CLA
#25 by alastairreid was merged Sep 11, 2020 Loading…
1
KLEE: treat linking errors as tool errors not SUT errors cla: yes Contributor has signed CLA
#26 by alastairreid was merged Sep 11, 2020 Loading…
1
Docs: drop unneeded git merge step cla: yes Contributor has signed CLA
#38 by alastairreid was merged Oct 7, 2020 Loading…
@fshaked
1
Docs: change python to python3 cla: yes Contributor has signed CLA
#39 by alastairreid was merged Oct 7, 2020 Loading…
@fshaked
Backends/cruxmir cla: yes Contributor has signed CLA
#14 by fshaked was closed Oct 8, 2020 Loading…
8
Docs: add missing step in cabal config cla: yes Contributor has signed CLA
#40 by alastairreid was merged Oct 7, 2020 Loading…
@fshaked
Nondet trait cla: yes Contributor has signed CLA
#42 by alastairreid was merged Oct 7, 2020 Loading…
5
Compatibility cla: yes Contributor has signed CLA
#43 by alastairreid was merged Oct 9, 2020 Loading…
Docs: Fix using-klee.md cla: yes Contributor has signed CLA
#46 by alastairreid was merged Oct 12, 2020 Loading…
@fshaked
annotations: use doc-comments cla: yes Contributor has signed CLA
#47 by alastairreid was merged Oct 12, 2020 Loading…
Docs: add link to obscure bugfix cla: yes Contributor has signed CLA
#48 by alastairreid was merged Oct 9, 2020 Loading…
add dockerfile and scripts to build image for rust-verification-tools(klee only) cla: yes Contributor has signed CLA
#49 by StevenJiang1110 was merged Oct 16, 2020 Loading…
8
Amended docker support cla: no Contributor has not signed CLA
#51 by alastairreid was closed Oct 16, 2020 Loading…
2
Refactor docker support cla: yes Contributor has signed CLA
#52 by alastairreid was merged Oct 16, 2020 Loading…
Docker: update docs and cleanup cla: yes Contributor has signed CLA
#53 by alastairreid was merged Oct 16, 2020 Loading…
1
Docker: complete change to using docker cla: yes Contributor has signed CLA
#54 by alastairreid was merged Oct 18, 2020 Loading…
add llvm-13 support
#157 by NEUZhangy was closed Feb 12, 2022 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.