issues
search
hlisdero
/
cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
Apache License 2.0
26
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
chore(deps): bump clap-verbosity-flag from 2.2.3 to 3.0.0
#70
dependabot[bot]
opened
5 days ago
0
chore(deps): bump clap from 4.5.20 to 4.5.21
#69
dependabot[bot]
closed
1 week ago
0
chore(deps): bump clap-verbosity-flag from 2.2.2 to 2.2.3
#68
dependabot[bot]
closed
1 week ago
0
chore(deps): bump clap from 4.5.19 to 4.5.20
#67
dependabot[bot]
closed
1 month ago
0
chore(deps): bump clap from 4.5.18 to 4.5.19
#66
dependabot[bot]
closed
1 month ago
0
chore(deps): bump clap-verbosity-flag from 2.2.1 to 2.2.2
#65
dependabot[bot]
closed
2 months ago
0
chore(deps): bump clap from 4.5.17 to 4.5.18
#64
dependabot[bot]
closed
2 months ago
0
chore(deps): bump clap from 4.5.16 to 4.5.17
#63
dependabot[bot]
closed
2 months ago
0
chore(deps): bump assert_cmd from 2.0.15 to 2.0.16
#62
dependabot[bot]
closed
3 months ago
0
chore(deps): bump clap from 4.5.9 to 4.5.13
#61
dependabot[bot]
closed
3 months ago
0
chore(deps): bump assert_cmd from 2.0.14 to 2.0.15
#60
dependabot[bot]
closed
3 months ago
0
chore(deps): bump assert_fs from 1.1.1 to 1.1.2
#59
dependabot[bot]
closed
3 months ago
1
chore(deps): bump clap-verbosity-flag from 2.2.0 to 2.2.1
#58
dependabot[bot]
closed
3 months ago
1
chore(deps): bump env_logger from 0.11.3 to 0.11.5
#57
dependabot[bot]
closed
3 months ago
0
chore(deps): bump predicates from 3.1.0 to 3.1.2
#56
dependabot[bot]
closed
3 months ago
0
Doesn't compile
#55
fragsalat
opened
4 months ago
3
chore(deps): bump clap from 4.5.8 to 4.5.9
#54
dependabot[bot]
closed
4 months ago
0
chore(deps): bump log from 0.4.21 to 0.4.22
#53
dependabot[bot]
closed
5 months ago
0
chore(deps): bump clap from 4.5.7 to 4.5.8
#52
dependabot[bot]
closed
5 months ago
0
chore(deps): bump clap from 4.5.6 to 4.5.7
#51
dependabot[bot]
closed
5 months ago
0
chore(deps): bump clap from 4.5.4 to 4.5.6
#50
dependabot[bot]
closed
5 months ago
0
(Question) Do you plan to detect livelocks?
#49
hardBSDk
opened
6 months ago
1
(Question) Do you plan to detect all deadlock cases?
#48
hardBSDk
opened
6 months ago
1
chore(deps): bump clap from 4.5.3 to 4.5.4
#47
dependabot[bot]
closed
8 months ago
0
chore(deps): bump clap from 4.5.1 to 4.5.3
#46
dependabot[bot]
closed
8 months ago
0
chore(deps): bump clap from 4.5.1 to 4.5.2
#45
dependabot[bot]
closed
8 months ago
1
chore(deps): bump env_logger from 0.11.2 to 0.11.3
#44
dependabot[bot]
closed
8 months ago
0
chore(deps): bump log from 0.4.20 to 0.4.21
#43
dependabot[bot]
closed
8 months ago
0
chore(deps): bump assert_cmd from 2.0.13 to 2.0.14
#42
dependabot[bot]
closed
9 months ago
0
chore(deps): bump clap-verbosity-flag from 2.1.2 to 2.2.0
#41
dependabot[bot]
closed
9 months ago
0
chore(deps): bump clap from 4.5.0 to 4.5.1
#40
dependabot[bot]
closed
9 months ago
0
chore(deps): bump env_logger from 0.11.0 to 0.11.1
#39
dependabot[bot]
closed
9 months ago
0
Bump env_logger from 0.10.1 to 0.11.0
#38
dependabot[bot]
closed
10 months ago
2
Bump clap from 4.4.11 to 4.4.18
#37
dependabot[bot]
closed
10 months ago
0
Bump clap-verbosity-flag from 2.1.1 to 2.1.2
#36
dependabot[bot]
closed
10 months ago
0
Bump env_logger from 0.10.1 to 0.10.2
#35
dependabot[bot]
closed
10 months ago
0
Bump clap from 4.4.11 to 4.4.16
#34
dependabot[bot]
closed
10 months ago
1
Bump assert_cmd from 2.0.12 to 2.0.13
#33
dependabot[bot]
closed
10 months ago
1
Bump assert_fs from 1.0.13 to 1.1.1
#32
dependabot[bot]
closed
10 months ago
0
Bump clap from 4.4.11 to 4.4.13
#31
dependabot[bot]
closed
10 months ago
1
Bump clap from 4.4.11 to 4.4.12
#30
dependabot[bot]
closed
10 months ago
1
Bump assert_fs from 1.0.13 to 1.1.0
#29
dependabot[bot]
closed
10 months ago
1
Bump clap-verbosity-flag from 2.1.0 to 2.1.1
#28
dependabot[bot]
closed
11 months ago
0
Bump clap from 4.4.8 to 4.4.11
#27
dependabot[bot]
closed
11 months ago
0
Bump clap from 4.4.8 to 4.4.10
#26
dependabot[bot]
closed
11 months ago
1
can't find crate for `rustc_ast_pretty` on macOS
#25
gitmalong
closed
10 months ago
1
Bump clap from 4.4.7 to 4.4.8
#24
dependabot[bot]
closed
1 year ago
0
Bump env_logger from 0.10.0 to 0.10.1
#23
dependabot[bot]
closed
1 year ago
0
Is it currently only to detect a single file? How to detect deadlocks in the entire project?
#22
Mingwang-Li
closed
11 months ago
1
Bump clap-verbosity-flag from 2.0.1 to 2.1.0
#21
dependabot[bot]
closed
1 year ago
0
Next