sslab-gatech/Rudra issues and pull requests

#57 - Fix RUSTSEC-2020-0159

Pull Request - State: closed - Opened by rex4539 7 months ago

#57 - Fix RUSTSEC-2020-0159

Pull Request - State: closed - Opened by rex4539 7 months ago

#56 - Rudra's semantic diverged from the paper's version

Issue - State: open - Opened by Qwaz 7 months ago

#56 - Rudra's semantic diverged from the paper's version

Issue - State: open - Opened by Qwaz 7 months ago

#55 - Rustup to "rustc 1.58.0-nightly (efd048394 2021-10-20)"

Pull Request - State: closed - Opened by nstilt1 9 months ago - 8 comments

#55 - Rustup to "rustc 1.58.0-nightly (efd048394 2021-10-20)"

Pull Request - State: closed - Opened by nstilt1 9 months ago - 8 comments

#54 - Some test cases in panic_safety seem confusing

Issue - State: closed - Opened by panoob about 1 year ago - 3 comments

#54 - Some test cases in panic_safety seem confusing

Issue - State: closed - Opened by panoob about 1 year ago - 3 comments

#53 - Update to latest rust version

Issue - State: closed - Opened by Bergmann89 over 1 year ago - 3 comments

#53 - Update to latest rust version

Issue - State: closed - Opened by Bergmann89 over 1 year ago - 3 comments

#52 - Why not publish a crate for rudra?

Issue - State: closed - Opened by mcandre over 1 year ago - 1 comment

#52 - Why not publish a crate for rudra?

Issue - State: closed - Opened by mcandre over 1 year ago - 1 comment

#51 - Updating to a more recent version of rust compiler

Issue - State: open - Opened by sydhds over 1 year ago - 3 comments

#50 - Standalone examples for Rudra

Issue - State: closed - Opened by aytey over 1 year ago - 1 comment

#50 - Standalone examples for Rudra

Issue - State: closed - Opened by aytey over 1 year ago - 1 comment

#25 - Rudra not compiling with derive(Default)

Issue - State: closed - Opened by matanmarkind over 2 years ago - 2 comments

#25 - Rudra not compiling with derive(Default)

Issue - State: closed - Opened by matanmarkind over 2 years ago - 2 comments

#24 - Rudra can't work well because the toolchain used is quite old.

Issue - State: closed - Opened by SocialistDalao over 2 years ago - 2 comments

#24 - Rudra can't work well because the toolchain used is quite old.

Issue - State: closed - Opened by SocialistDalao over 2 years ago - 2 comments

#23 - custom-build:build-script-build is not supported

Issue - State: closed - Opened by r-wheeler over 2 years ago - 3 comments

#22 - Support SARIF output

Issue - State: open - Opened by GeekMasher over 2 years ago

#21 - Added GitHub Actions support

Pull Request - State: closed - Opened by GeekMasher over 2 years ago - 1 comment

#20 - GitHub action

Issue - State: open - Opened by kirawi almost 3 years ago - 5 comments

#19 - update compiler-version for `edition2021` support

Issue - State: closed - Opened by M1cha almost 3 years ago - 7 comments

#18 - Suppress negative impl for SendSyncVariance implementations

Issue - State: closed - Opened by Qwaz almost 3 years ago - 1 comment

#17 - Rudra panics while stdlib analysis after updating it to 2021-08-20

Issue - State: closed - Opened by Qwaz almost 3 years ago

#16 - Failed to run 'cargo rudra' for crates

Issue - State: closed - Opened by VaynNecol almost 3 years ago - 2 comments

#15 - Failed to load source for dependency

Issue - State: closed - Opened by fuzious about 3 years ago - 1 comment

#14 - Allow setting Rust toolchain as an env var

Pull Request - State: closed - Opened by rajivshah3 about 3 years ago - 3 comments

#13 - Failed to load source for dependency

Issue - State: closed - Opened by ArneVogel about 3 years ago - 1 comment

#12 - Pre-built docker image?

Issue - State: closed - Opened by sobolevn about 3 years ago - 4 comments

#11 - Could not obtain Cargo metadata

Issue - State: closed - Opened by Morganamilo about 3 years ago - 10 comments

#10 - Rustup to "rustc 1.56.0-nightly (6d64f7f69 2021-08-19)"

Pull Request - State: closed - Opened by bjorn3 about 3 years ago - 9 comments

#9 - Tell rustup to install the necessary components

Pull Request - State: closed - Opened by bjorn3 about 3 years ago - 1 comment

#8 - Update to newer rust version?

Issue - State: closed - Opened by Luro02 about 3 years ago - 2 comments

#7 - Ranking system & report filtering based on configured rank (high/med/low)

Pull Request - State: closed - Opened by JOE1994 over 3 years ago - 3 comments

#6 - Support Docker build

Pull Request - State: closed - Opened by Qwaz over 3 years ago

#5 - Frozen cargo build

Pull Request - State: closed - Opened by Qwaz over 3 years ago - 1 comment

#4 - adapt SendSyncChecker's filtering criteria for 'Channel-like' types

Pull Request - State: closed - Opened by JOE1994 over 3 years ago - 3 comments

#3 - Panic safety beta

Pull Request - State: closed - Opened by Qwaz over 3 years ago - 2 comments

#2 - Small tweak for CI

Pull Request - State: closed - Opened by Qwaz almost 4 years ago

#1 - Add ability to analyze the standard library

Pull Request - State: closed - Opened by ammaraskar almost 4 years ago - 1 comment

GitHub / sslab-gatech/Rudra issues and pull requests