Skip to content

Actions: LearnLib/ralib

Actions

codespell

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codespell.yml
408 workflow runs
408 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add strat to ignore-words list codespell #1147: Commit 8d49d1e pushed by FredrikTaquist
18s rawp
rawp
18s
Add Wp equivalence oracle and fix bugs codespell #1146: Commit 38d6aa1 pushed by FredrikTaquist
15s rawp
rawp
15s
Bump org.checkerframework:checker-qual from 4.2.3 to 4.3.0 (#155) codespell #1145: Commit 27c96dc pushed by kostis
17s main
main
17s
Bump org.checkerframework:checker-qual from 4.2.3 to 4.3.0 codespell #1144: Pull request #155 opened by dependabot Bot
21s dependabot/maven/org.checkerframework-checker-qual-4.3.0
dependabot/maven/org.checkerframework-checker-qual-4.3.0
21s
Bump org.checkerframework:checker-qual from 4.2.3 to 4.3.0 codespell #1143: Commit b8e4537 pushed by dependabot Bot
17s dependabot/maven/org.checkerframework-checker-qual-4.3.0
dependabot/maven/org.checkerframework-checker-qual-4.3.0
17s
Bump com.google.guava:guava from 33.7.1-jre to 33.7.2-jre codespell #1142: Commit 9aac428 pushed by kostis
15s main
main
15s
Add parition refinement algorithm and fix bugs codespell #1141: Commit ca89493 pushed by FredrikTaquist
20s rawp
rawp
20s
Add IO stack automata examples codespell #1140: Commit 2538887 pushed by FredrikTaquist
12s rawp
rawp
12s
Add splitting tree implementation codespell #1139: Commit 5694f91 pushed by FredrikTaquist
19s rawp
rawp
19s
Bump com.diffplug.spotless:spotless-maven-plugin from 3.10.2 to 3.10.3 codespell #1138: Commit b7c7629 pushed by kostis
15s main
main
15s
Fix spelling mistake codespell #1137: Commit c01e63d pushed by FredrikTaquist
15s rawp
rawp
15s
Add parsing of RA equality guards codespell #1136: Commit cd1d7ec pushed by FredrikTaquist
17s rawp
rawp
17s
Add interface SymbolicDatavariable codespell #1135: Commit cea6473 pushed by FredrikTaquist
17s rawp
rawp
17s
Add test case codespell #1134: Commit f413795 pushed by FredrikTaquist
20s rawp
rawp
20s
Add classes for symbolic state constraints codespell #1133: Commit 2c0c33c pushed by FredrikTaquist
17s rawp
rawp
17s
Bump org.apache.maven.plugins:maven-deploy-plugin from 3.1.4 to 3.2.0 codespell #1132: Commit 5c72f83 pushed by kostis
13s main
main
13s
Consistent naming of learning algorithms (#138) codespell #1131: Commit e48006f pushed by FredrikTaquist
17s main
main
17s
Consistent naming of learning algorithms codespell #1130: Pull request #138 synchronize by FredrikTaquist
25s consistent-algorithm-names
consistent-algorithm-names
25s
Rename rastar and ralambda variables to slstar and sllambda codespell #1129: Commit 2625d90 pushed by FredrikTaquist
22s consistent-algorithm-names
consistent-algorithm-names
22s
SLLambdaEq code cleanup (#154) codespell #1128: Commit 92cf12d pushed by FredrikTaquist
16s main
main
16s
SLLambdaEq code cleanup codespell #1127: Pull request #154 synchronize by FredrikTaquist
19s suffix-opt-eq-fix-warnings
suffix-opt-eq-fix-warnings
19s
Remove dead store codespell #1126: Commit 93aaad6 pushed by FredrikTaquist
22s suffix-opt-eq-fix-warnings
suffix-opt-eq-fix-warnings
22s
SLLambdaEq code cleanup codespell #1125: Pull request #154 synchronize by FredrikTaquist
19s suffix-opt-eq-fix-warnings
suffix-opt-eq-fix-warnings
19s
Remove unused variable codespell #1124: Commit a6d800f pushed by FredrikTaquist
14s suffix-opt-eq-fix-warnings
suffix-opt-eq-fix-warnings
14s
SLLambdaEq code cleanup codespell #1123: Pull request #154 synchronize by FredrikTaquist
17s suffix-opt-eq-fix-warnings
suffix-opt-eq-fix-warnings
17s