Sung Ho Yoon

Fix https://github.com/kste/cryptosmt/issues/20

Caused by: https://github.com/yaml/pyyaml/issues/576 --- https://github.com/kste/cryptosmt/blob/c46d2884d639a0660142002a199268b8ebb5b3e4/cryptosmt.py#L116 Due to the "breaking" change introduced in PyYAML 6.0, the use of ```--inputfile``` argument now throws TypeError due to the missing Loader argument. It seems...

This PR changes the types of exceptions being thrown by the methods. More specifically, this PR: - Replaces uses of `java.lang.Exception` (way too broad) with more appropriate subclasses of it...

Refactor Graph Code

2

This PR: - Removes duplicate data structure code - Removes `com.williamfiset.algorithms.graphtheory.IntStack` (in favor of `com.williamfiset.algorithms.datastructures.stack.IntStack`) - Removes various copies of `MinIndexedDHeap` classes (in favor of `com.williamfiset.algorithms.datastructures.priorityqueue.MinIndexedDHeap`) - Refactors various edge...

This PR: - Bumps up dependencies - Partially rewrites tests for JUnit 5 - Reorganizes repository structure - Changes Gradle build config to take advantage of the Java plugin -...

Related: #7 This PR migrates the Travis CI setup to GitHub Actions and sets up Dependabot.

Use gradle-build-action in Actions

5

This PR modifies the Actions workflows to use [`gradle/gradle-build-action`](https://github.com/gradle/gradle-build-action) for running gradle instead of invoking it from CLI. Changes include: - Modifying workflows to use `gradle/gradle-build-action` - Disabling caching provided...

https://github.com/nidi3/graphviz-java/blob/f0c1fdfa37c8b9876ef1dcccec1a6c19219e727e/graphviz-java/pom.xml#L92-L104 ## List of known vulnerabilities Fixed in 1.15: - CVE-2022-38648 - CVE-2022-40146 Fixed in 1.16: - CVE-2022-41704 - CVE-2022-42890 Fixed in 1.17: - CVE-2022-44729 - CVE-2022-44730 ## Issues Affecting...

Java: Generated Javadoc Always Includes `@return` Tag Even for `void` Return Type

1

## Description As per [Oracle's guideline](https://www.oracle.com/technical-resources/articles/java/javadoc-tool.html#@return), `@return` tag should be omitted for methods that return `void`. However, Trelent generates `@return` even if method returns `void`. ## Steps to repro ```java...