Skip to content

Actions: ruby/lrama

Actions

CodeSpell

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codespell.yaml
411 workflow runs
411 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Define Triple#hash and Triple#eql? so that visited hash lookup works correctly CodeSpell #821: Pull request #613 opened by yui-knk
March 13, 2025 12:51 21s yui-knk:fix_Triple_hash
yui-knk:fix_Triple_hash
March 13, 2025 12:51 21s
Render counter example path iteration and duration if --trace=time is specified CodeSpell #820: Pull request #612 opened by yui-knk
March 13, 2025 11:21 20s yui-knk:print_iteration_count
yui-knk:print_iteration_count
March 13, 2025 11:21 20s
Write duration information to stderr CodeSpell #819: Pull request #611 opened by yui-knk
March 13, 2025 10:52 22s yui-knk:tracer_duration
yui-knk:tracer_duration
March 13, 2025 10:52 22s
Don't create array for each lookahead-sensitive path candidate CodeSpell #818: Pull request #610 opened by yui-knk
March 12, 2025 23:26 21s yui-knk:optimize_path
yui-knk:optimize_path
March 12, 2025 23:26 21s
Suppress StateItem instance creation CodeSpell #817: Pull request #609 synchronize by yui-knk
March 12, 2025 15:01 20s yui-knk:optimize_triple
yui-knk:optimize_triple
March 12, 2025 15:01 20s
Suppress StateItem instance creation CodeSpell #816: Pull request #609 opened by yui-knk
March 12, 2025 14:45 18s yui-knk:optimize_triple
yui-knk:optimize_triple
March 12, 2025 14:45 18s
Use bitmap type CodeSpell #815: Pull request #608 opened by yui-knk
March 12, 2025 13:55 23s yui-knk:bitmap_type
yui-knk:bitmap_type
March 12, 2025 13:55 23s
Optimize Lrama::Counterexamples#follow_l CodeSpell #814: Pull request #607 opened by yui-knk
March 12, 2025 13:38 22s yui-knk:optimize_counterexamples
yui-knk:optimize_counterexamples
March 12, 2025 13:38 22s
Migrate Grammar::Symbol rbs to rbs-inline CodeSpell #813: Pull request #606 opened by yui-knk
March 12, 2025 07:00 16s yui-knk:symbol_types
yui-knk:symbol_types
March 12, 2025 07:00 16s
Optimize split_states CodeSpell #812: Pull request #605 synchronize by junk0612
March 12, 2025 00:59 20s junk0612:optimize-split_states
junk0612:optimize-split_states
March 12, 2025 00:59 20s
Optimize split_states CodeSpell #811: Pull request #605 opened by junk0612
March 11, 2025 16:20 16s junk0612:optimize-split_states
junk0612:optimize-split_states
March 11, 2025 16:20 16s
Define bitmap type alias CodeSpell #810: Pull request #604 opened by yui-knk
March 11, 2025 13:56 33s yui-knk:bitmap_type
yui-knk:bitmap_type
March 11, 2025 13:56 33s
Refactor derivation CodeSpell #809: Pull request #603 opened by yui-knk
March 11, 2025 13:26 25s yui-knk:refactor_derivation
yui-knk:refactor_derivation
March 11, 2025 13:26 25s
Refactor Counterexamples CodeSpell #808: Pull request #602 opened by yui-knk
March 11, 2025 08:58 19s yui-knk:fix_counterexamples
yui-knk:fix_counterexamples
March 11, 2025 08:58 19s
Save call stack profile result even if an exception is raised CodeSpell #807: Pull request #601 opened by yui-knk
March 11, 2025 08:13 20s yui-knk:call_stack_with_exception
yui-knk:call_stack_with_exception
March 11, 2025 08:13 20s
Remove needless comments CodeSpell #806: Pull request #600 opened by yui-knk
March 10, 2025 13:22 25s yui-knk:cosme_counterexamples
yui-knk:cosme_counterexamples
March 10, 2025 13:22 25s
Refactor to use path type CodeSpell #805: Pull request #599 opened by yui-knk
March 10, 2025 09:13 21s yui-knk:path_type
yui-knk:path_type
March 10, 2025 09:13 21s
Migrate counterexamples rbs to rbs-inline CodeSpell #804: Pull request #598 opened by yui-knk
March 10, 2025 09:03 20s yui-knk:counterexamples_type
yui-knk:counterexamples_type
March 10, 2025 09:03 20s
Type declarations of State and States CodeSpell #803: Pull request #597 opened by yui-knk
March 10, 2025 03:19 23s yui-knk:types
yui-knk:types
March 10, 2025 03:19 23s
Optimize compute_ielr CodeSpell #802: Pull request #595 synchronize by junk0612
March 9, 2025 15:35 21s junk0612:optimize-ielr
junk0612:optimize-ielr
March 9, 2025 15:35 21s
Optimize compute_ielr CodeSpell #801: Pull request #595 synchronize by junk0612
March 8, 2025 16:18 19s junk0612:optimize-ielr
junk0612:optimize-ielr
March 8, 2025 16:18 19s
Optimize compute_ielr CodeSpell #800: Pull request #595 synchronize by junk0612
March 8, 2025 16:07 20s junk0612:optimize-ielr
junk0612:optimize-ielr
March 8, 2025 16:07 20s
Update steep gem to 1.9.4 CodeSpell #799: Pull request #596 opened by yui-knk
March 7, 2025 00:46 23s yui-knk:steep_1_9_4
yui-knk:steep_1_9_4
March 7, 2025 00:46 23s
Optimize compute_ielr CodeSpell #798: Pull request #595 synchronize by junk0612
March 5, 2025 03:43 19s junk0612:optimize-ielr
junk0612:optimize-ielr
March 5, 2025 03:43 19s
Optimize compute_ielr CodeSpell #797: Pull request #595 synchronize by junk0612
March 5, 2025 00:22 19s junk0612:optimize-ielr
junk0612:optimize-ielr
March 5, 2025 00:22 19s