Skip to content

Pull requests: CROSSINGTUD/CryptSL

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Bump org.apache.maven.plugins:maven-javadoc-plugin from 3.11.3 to 3.12.0 dependencies Pull requests that update a dependency file java Pull requests that update java code
#192 opened Sep 22, 2025 by dependabot bot Loading…
Bump com.google.guava:guava from 33.4.8-jre to 33.5.0-jre dependencies Pull requests that update a dependency file java Pull requests that update java code
#191 opened Sep 22, 2025 by dependabot bot Loading…
Bump org.apache.maven.plugins:maven-compiler-plugin from 3.14.0 to 3.14.1 dependencies Pull requests that update a dependency file java Pull requests that update java code
#190 opened Sep 22, 2025 by dependabot bot Loading…
Bump org.codehaus.mojo:flatten-maven-plugin from 1.7.2 to 1.7.3 dependencies Pull requests that update a dependency file java Pull requests that update java code
#189 opened Sep 22, 2025 by dependabot bot Loading…
Add conditional events to predicates
#188 opened Sep 9, 2025 by smeyer198 Loading…
Bump tycho-version from 4.0.10 to 5.0.0 dependencies Pull requests that update a dependency file java Pull requests that update java code
#185 opened Sep 1, 2025 by dependabot bot Loading…
Update CrySL version to 4.0.6
#179 opened Aug 12, 2025 by github-actions bot Loading…
Statemachine editor
#35 opened Feb 14, 2020 by gokcekrky Draft
ProTip! Updated in the last three days: updated:>2025-09-21.