-
Notifications
You must be signed in to change notification settings - Fork 42
Pull requests: CROSSINGTUD/CryptoAnalysis
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump org.scala-lang:scala-library from 2.13.17 to 2.13.18
dependencies
Pull requests that update a dependency file
java
Pull requests that update java code
#951
opened Nov 24, 2025 by
dependabot
bot
Loading…
Bump org.apache.commons:commons-lang3 from 3.19.0 to 3.20.0
dependencies
Pull requests that update a dependency file
java
Pull requests that update java code
#950
opened Nov 24, 2025 by
dependabot
bot
Loading…
Bump com.diffplug.spotless:spotless-maven-plugin from 3.0.0 to 3.1.0
dependencies
Pull requests that update a dependency file
java
Pull requests that update java code
#949
opened Nov 24, 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!
Exclude everything labeled
bug with -label:bug.