-
Notifications
You must be signed in to change notification settings - Fork 43
Pull requests: CROSSINGTUD/CryptoAnalysis
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump com.diffplug.spotless:spotless-maven-plugin from 3.1.0 to 3.2.0
dependencies
Pull requests that update a dependency file
java
Pull requests that update java code
#964
opened Jan 26, 2026 by
dependabot
bot
Loading…
Bump org.scala-lang:scala-library from 2.13.18 to 3.8.1
dependencies
Pull requests that update a dependency file
java
Pull requests that update java code
#963
opened Jan 26, 2026 by
dependabot
bot
Loading…
Bump org.bouncycastle:bcprov-jdk18on from 1.82 to 1.83
dependencies
Pull requests that update a dependency file
java
Pull requests that update java code
#952
opened Dec 1, 2025 by
dependabot
bot
Loading…
Bump opal.version from 5.0.0 to 6.0.0
dependencies
Pull requests that update a dependency file
java
Pull requests that update java code
#942
opened Oct 13, 2025 by
dependabot
bot
Loading…
Bump de.darmstadt.tu.crossing.CrySL:CrySLParser from 4.0.5 to 4.0.6
dependencies
Pull requests that update a dependency file
java
Pull requests that update java code
#939
opened Oct 6, 2025 by
dependabot
bot
Loading…
Add flow sensitivity to constraints and predicate evaluation
#934
opened Oct 1, 2025 by
smeyer198
Loading…
added transformation for strings and arithmetic operations
#930
opened Sep 23, 2025 by
SamarthBengle
Loading…
ProTip!
What’s not been updated in a month: updated:<2025-12-26.