Skip to content

Actions: breandan/galoisenne

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
321 workflow runs
321 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

describe state space reduction CI #1315: Commit a94d88c pushed by breandan
November 17, 2024 01:14 3h 33m 25s master
master
November 17, 2024 01:14 3h 33m 25s
reduce memory allocations CI #1314: Commit bf120e0 pushed by breandan
November 14, 2024 01:04 46m 15s master
master
November 14, 2024 01:04 46m 15s
relax memory bottleneck CI #1313: Commit 3e87340 pushed by breandan
November 13, 2024 19:45 34m 22s master
master
November 13, 2024 19:45 34m 22s
reorder checks CI #1312: Commit 8560f01 pushed by breandan
November 12, 2024 07:22 41m 6s master
master
November 12, 2024 07:22 41m 6s
check NT + horizontal LevFSA subtrajectories compat CI #1311: Commit c00a17a pushed by breandan
November 12, 2024 05:41 45m 17s master
master
November 12, 2024 05:41 45m 17s
describe Brzozowski derivative CI #1310: Commit d2b2e02 pushed by breandan
November 6, 2024 03:25 42m 57s master
master
November 6, 2024 03:25 42m 57s
give EC example CI #1309: Commit 5b40480 pushed by breandan
November 5, 2024 06:14 40m 50s master
master
November 5, 2024 06:14 40m 50s
track nonterminal implicature CI #1308: Commit 322faca pushed by breandan
November 3, 2024 18:08 37m 42s master
master
November 3, 2024 18:08 37m 42s
minimal multiedit bounds proof too slow CI #1307: Commit fc60fdf pushed by breandan
November 3, 2024 04:38 36m 46s master
master
November 3, 2024 04:38 36m 46s
use binary search for multiedit bounds CI #1306: Commit 4532112 pushed by breandan
November 2, 2024 08:35 37m 43s master
master
November 2, 2024 08:35 37m 43s
speed up multiedit bounds proof CI #1305: Commit ce1f9dc pushed by breandan
October 31, 2024 18:38 42m 35s master
master
October 31, 2024 18:38 42m 35s
fix multitoken edit detector CI #1304: Commit 5f18bb6 pushed by breandan
October 31, 2024 04:36 37m 30s master
master
October 31, 2024 04:36 37m 30s
optimize serializer and bump limit to 100 tokens CI #1303: Commit 0071449 pushed by breandan
October 30, 2024 07:39 1h 38m 27s master
master
October 30, 2024 07:39 1h 38m 27s
check insertions and narval scripts CI #1302: Commit 492027d pushed by breandan
October 29, 2024 21:49 41m 46s master
master
October 29, 2024 21:49 41m 46s
merge multiedit fragment localization CI #1301: Commit e3a24e8 pushed by breandan
October 28, 2024 04:19 32m 42s master
master
October 28, 2024 04:19 32m 42s
multi edit pruning CI #1300: Commit c74403a pushed by breandan
October 28, 2024 03:59 46m 47s master
master
October 28, 2024 03:59 46m 47s
use binary search and implement multi-edit pruning CI #1299: Commit ae4eba6 pushed by breandan
October 28, 2024 01:51 33m 47s master
master
October 28, 2024 01:51 33m 47s
prune top left and bottom right of L-NFA when possible CI #1298: Commit ab5d42a pushed by breandan
October 26, 2024 00:45 37m 39s master
master
October 26, 2024 00:45 37m 39s
compute max parseable fragment and prune LevFSA CI #1297: Commit 19322b3 pushed by breandan
October 25, 2024 15:52 42m 9s master
master
October 25, 2024 15:52 42m 9s
tacas AET CI #1296: Commit 054918c pushed by breandan
October 25, 2024 02:04 37m 8s master
master
October 25, 2024 02:04 37m 8s
chase down bug with MAX_TOKENS CI #1295: Commit 18dc689 pushed by breandan
October 24, 2024 21:33 50m 59s master
master
October 24, 2024 21:33 50m 59s
profiling aids CI #1294: Commit 68a9f85 pushed by breandan
October 24, 2024 05:59 31m 23s master
master
October 24, 2024 05:59 31m 23s
improve error handling in CFG CI #1293: Commit fa8ed97 pushed by breandan
October 17, 2024 04:02 36m 38s master
master
October 17, 2024 04:02 36m 38s
submit CI #1292: Commit 1869942 pushed by breandan
October 12, 2024 04:27 33m 50s master
master
October 12, 2024 04:27 33m 50s
fix test CI #1291: Commit d8ccb82 pushed by breandan
October 9, 2024 19:08 56m 3s master
master
October 9, 2024 19:08 56m 3s