issues
search
ellmau
/
adf-obdd
Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)
https://ellmau.github.io/adf-obdd/
MIT License
8
stars
0
forks
source link
Bump/versions
#152
Closed
ellmau
closed
1 year ago
ellmau
commented
1 year ago
What does this PR do?
Updating versions
NixOS 23.05
clap 4.3.0
predicates 3.0.3
serde 1.0.163
Checklist before creating a non-draft PR
[X] All tests are passing
[X] Clippy has no complains
[X] Code is
rustfmt
formatted
[X] Applicable labels are chosen (Note: it is not necessary to replicate the labels from the related issues)
[X] There are no other open
Pull Requests
for the same update/change.
[X] If there is a good reason to have another PR for the same update/change, it is well justified.
Checklist on Guidelines and Conventions
[ ] Commit messages follow our guidelines
[ ] Code is self-reviewed
[ ] Naming conventions are met
[ ] New features are tested
[ ]
quickcheck
has been considered
[ ] All variants are considered and checked
Clippy Compiler-exceptions
[ ] Used in a sparse manner
[ ] If used, a separate comment describes and justifies its use
[ ]
rustdoc
comments are self-reviewed and descriptive
Error handling
[ ] Use of
panic!(...)
applications is justified on non-recoverable situations
[ ]
expect(...)
is used over
unwrap()
(except obvious test-cases)
[ ] No unsafe code (exceptions need to be discussed specifically)
What does this PR do?
Checklist before creating a non-draft PR
rustfmtformattedChecklist on Guidelines and Conventions
quickcheckhas been consideredrustdoccomments are self-reviewed and descriptivepanic!(...)applications is justified on non-recoverable situationsexpect(...)is used overunwrap()(except obvious test-cases)