Skip to content

Actions: katef/libfsm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
417 workflow runs
417 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minimisation should not combine end states with distinct sets of endids. CI #880: Pull request #461 synchronize by silentbicycle
April 10, 2024 21:32 13m 54s sv/preserve_ecs_split_by_endids
sv/preserve_ecs_split_by_endids
April 10, 2024 21:32 13m 54s
minimise_test_oracle: Add upfront pass based on endids. CI #879: Commit a54a40c pushed by silentbicycle
April 10, 2024 21:32 8m 24s sv/preserve_ecs_split_by_endids
sv/preserve_ecs_split_by_endids
April 10, 2024 21:32 8m 24s
Minimisation should not combine end states with distinct sets of endids. CI #878: Pull request #461 synchronize by silentbicycle
April 5, 2024 12:12 12m 39s sv/preserve_ecs_split_by_endids
sv/preserve_ecs_split_by_endids
April 5, 2024 12:12 12m 39s
asan: Fix memory leaks in test. CI #877: Commit b5f8fb7 pushed by silentbicycle
April 5, 2024 12:12 20m 35s sv/preserve_ecs_split_by_endids
sv/preserve_ecs_split_by_endids
April 5, 2024 12:12 20m 35s
Minimisation should not combine end states with distinct sets of endids. CI #876: Pull request #461 opened by silentbicycle
April 4, 2024 19:31 18m 3s sv/preserve_ecs_split_by_endids
sv/preserve_ecs_split_by_endids
April 4, 2024 19:31 18m 3s
Minimisation should not combine end states with distinct sets of endids. CI #875: Commit 692eee7 pushed by silentbicycle
April 4, 2024 19:30 14m 3s sv/preserve_ecs_split_by_endids
sv/preserve_ecs_split_by_endids
April 4, 2024 19:30 14m 3s
Minimisation should not combine end states with distinct sets of endids. CI #874: Commit 455b4d1 pushed by silentbicycle
April 4, 2024 19:29 8m 44s sv/preserve_ecs_split_by_endids
sv/preserve_ecs_split_by_endids
April 4, 2024 19:29 8m 44s
Merge pull request #447 from katef/sv/reject-unsupported-pcre-extensi… CI #873: Commit fdd18f4 pushed by katef
January 11, 2024 23:01 8m 24s main
main
January 11, 2024 23:01 8m 24s
determinise: Adjust SMALL_INPUT_LIMIT. CI #872: Commit 259d507 pushed by katef
January 9, 2024 23:14 8m 41s main
main
January 9, 2024 23:14 8m 41s
Use insertion sort for small sort_and_dedup_dst_buf inputs CI #871: Pull request #459 opened by silentbicycle
January 9, 2024 18:51 9m 16s sv/use-insertion-sort-for-small-sort-and-dedup-inputs
sv/use-insertion-sort-for-small-sort-and-dedup-inputs
January 9, 2024 18:51 9m 16s
determinise: Adjust SMALL_INPUT_LIMIT. CI #870: Commit 3a04a1c pushed by silentbicycle
January 9, 2024 18:29 14m 38s sv/use-insertion-sort-for-small-sort-and-dedup-inputs
sv/use-insertion-sort-for-small-sort-and-dedup-inputs
January 9, 2024 18:29 14m 38s
determinise: Adjust SMALL_INPUT_LIMIT. CI #869: Commit 3a04a1c pushed by silentbicycle
January 9, 2024 18:29 10m 47s sv/use-linear-sort-for-small-sort-and-dedup-inputs
sv/use-linear-sort-for-small-sort-and-dedup-inputs
January 9, 2024 18:29 10m 47s
determinise: Adjust SMALL_INPUT_LIMIT. CI #868: Commit ab2c4d1 pushed by silentbicycle
January 9, 2024 18:04 9m 12s sv/use-linear-sort-for-small-sort-and-dedup-inputs
sv/use-linear-sort-for-small-sort-and-dedup-inputs
January 9, 2024 18:04 9m 12s
Missing free. CI #867: Commit 32c8995 pushed by katef
January 9, 2024 01:02 9m 39s main
main
January 9, 2024 01:02 9m 39s
Missing free CI #866: Pull request #458 opened by katef
January 9, 2024 00:44 10m 2s kate/missing-free
kate/missing-free
January 9, 2024 00:44 10m 2s
Missing free. CI #865: Commit 890d564 pushed by katef
January 9, 2024 00:44 16m 20s kate/missing-free
kate/missing-free
January 9, 2024 00:44 16m 20s
Add error code for unsupported PCRE cases (RE_EUNSUPPPCRE), reject one. CI #864: Pull request #447 synchronize by silentbicycle
January 8, 2024 22:47 14m 44s sv/reject-unsupported-pcre-extensions-during-ast-analysis
sv/reject-unsupported-pcre-extensions-during-ast-analysis
January 8, 2024 22:47 14m 44s
ast_analysis.c: Add assert for unreachable branch. CI #863: Commit f5b1300 pushed by silentbicycle
January 8, 2024 22:47 9m 1s sv/reject-unsupported-pcre-extensions-during-ast-analysis
sv/reject-unsupported-pcre-extensions-during-ast-analysis
January 8, 2024 22:47 9m 1s
determinise: Ensure that the analysis_cache pair ordering is consistent. CI #862: Commit 78081b8 pushed by katef
January 8, 2024 22:08 9m 36s main
main
January 8, 2024 22:08 9m 36s
Further hash function cleanup. CI #861: Pull request #456 synchronize by silentbicycle
January 5, 2024 19:18 9m 26s sv/improve-hash-performance-in-determinisation--part-3
sv/improve-hash-performance-in-determinisation--part-3
January 5, 2024 19:18 9m 26s
determinise: Ensure that the analysis_cache pair ordering is consistent. CI #860: Commit 89e3b88 pushed by silentbicycle
January 5, 2024 19:18 14m 54s sv/improve-hash-performance-in-determinisation--part-3
sv/improve-hash-performance-in-determinisation--part-3
January 5, 2024 19:18 14m 54s
Further hash function cleanup. CI #859: Pull request #456 synchronize by silentbicycle
January 5, 2024 14:32 23m 36s sv/improve-hash-performance-in-determinisation--part-3
sv/improve-hash-performance-in-determinisation--part-3
January 5, 2024 14:32 23m 36s
hash_ids: Add EXPENSIVE_CHECK for ids[] being in ascending order. CI #858: Commit f39390b pushed by silentbicycle
January 5, 2024 14:32 19m 9s sv/improve-hash-performance-in-determinisation--part-3
sv/improve-hash-performance-in-determinisation--part-3
January 5, 2024 14:32 19m 9s
Further hash function cleanup. CI #857: Pull request #456 synchronize by silentbicycle
January 5, 2024 14:27 15m 5s sv/improve-hash-performance-in-determinisation--part-3
sv/improve-hash-performance-in-determinisation--part-3
January 5, 2024 14:27 15m 5s
hash_pair: Ensure pair order is consistent for hashing. CI #856: Commit 9cba560 pushed by silentbicycle
January 5, 2024 14:27 10m 27s sv/improve-hash-performance-in-determinisation--part-3
sv/improve-hash-performance-in-determinisation--part-3
January 5, 2024 14:27 10m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-01-05 or the other filters available.