Skip to content

Actions: breandan/galoisenne

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
322 workflow runs
322 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix single word edge case CI #1041: Commit c6dfafc pushed by breandan
October 18, 2023 21:50 22m 12s master
master
October 18, 2023 21:50 22m 12s
switch to enumSeq by default CI #1040: Commit 181dafc pushed by breandan
October 18, 2023 19:37 5m 6s master
master
October 18, 2023 19:37 5m 6s
describe the pairing function CI #1039: Commit e57fc58 pushed by breandan
October 16, 2023 18:43 6h 0m 27s master
master
October 16, 2023 18:43 6h 0m 27s
implement more efficient pruner (TODO) CI #1038: Commit d7fe6a8 pushed by breandan
October 16, 2023 15:23 17m 45s master
master
October 16, 2023 15:23 17m 45s
update versions CI #1037: Commit edb918f pushed by breandan
October 16, 2023 03:50 32m 1s master
master
October 16, 2023 03:50 32m 1s
adhere to type signature to avoid reparsing CFG CI #1036: Commit 1107602 pushed by breandan
October 16, 2023 03:43 21m 46s master
master
October 16, 2023 03:43 21m 46s
reduce generation latency, now practical for larger radii and longer … CI #1035: Commit 1bfa7dc pushed by breandan
October 16, 2023 03:03 18m 39s master
master
October 16, 2023 03:03 18m 39s
implement parikh pruner to reduce ∩(lev,cfg)-grammar size CI #1034: Commit f1fff49 pushed by breandan
October 16, 2023 00:41 32m 41s master
master
October 16, 2023 00:41 32m 41s
fix tests CI #1033: Commit 6a8d320 pushed by breandan
October 15, 2023 21:07 36m 46s master
master
October 15, 2023 21:07 36m 46s
fastest known solve time for Python ∩ Levenshtein(2)! CI #1032: Commit 453b249 pushed by breandan
October 15, 2023 18:53 23m 58s master
master
October 15, 2023 18:53 23m 58s
profile and pythonCFG test passes CI #1031: Commit c517d0c pushed by breandan
October 15, 2023 05:35 23m 13s master
master
October 15, 2023 05:35 23m 13s
test divmod enumerative sampler with BigInt CI #1030: Commit 0a923fc pushed by breandan
October 14, 2023 03:05 23m 33s master
master
October 14, 2023 03:05 23m 33s
speed up vestigial pruning CI #1029: Commit 047d8af pushed by breandan
October 13, 2023 14:23 8m 41s master
master
October 13, 2023 14:23 8m 41s
add Bar-Hillel parser CI #1028: Commit bd5ad7e pushed by breandan
October 13, 2023 04:18 9m 4s master
master
October 13, 2023 04:18 9m 4s
prune impossible nonterminal-state triples CI #1027: Commit f798ffd pushed by breandan
October 12, 2023 03:35 9m 16s master
master
October 12, 2023 03:35 9m 16s
compute some statistics about LBH construction CI #1026: Commit d5dfbce pushed by breandan
October 12, 2023 02:16 10m 28s master
master
October 12, 2023 02:16 10m 28s
Levenshtein-CFL intersection using Bar-Hillel construction CI #1025: Commit 7df6f82 pushed by breandan
October 11, 2023 22:00 8m 44s master
master
October 11, 2023 22:00 8m 44s
Levenshtein FSA works, Bar-Hillel still has issues CI #1024: Commit c20e49e pushed by breandan
October 8, 2023 01:45 8m 29s master
master
October 8, 2023 01:45 8m 29s
implement Bar-Hillel, still needs debugging CI #1023: Commit a02b0ca pushed by breandan
October 7, 2023 05:33 7m 46s master
master
October 7, 2023 05:33 7m 46s
measure throughput for slice sampler CI #1022: Commit 3007110 pushed by breandan
October 7, 2023 01:17 8m 2s master
master
October 7, 2023 01:17 8m 2s
implement stochastic PTree solver CI #1021: Commit 0d3ee4e pushed by breandan
October 6, 2023 05:09 7m 14s master
master
October 6, 2023 05:09 7m 14s
SeqValiant now on par with SortValiant for long templates CI #1020: Commit eec88c6 pushed by breandan
October 4, 2023 20:46 6m 57s master
master
October 4, 2023 20:46 6m 57s
describe Bar-Hillel construction CI #1019: Commit 34804c6 pushed by breandan
October 3, 2023 05:25 22m 37s master
master
October 3, 2023 05:25 22m 37s
try to understand why lazy extraction takes so much longer than eager CI #1018: Commit 8b14737 pushed by breandan
October 2, 2023 07:02 22m 57s master
master
October 2, 2023 07:02 22m 57s
test intersection holds CI #1017: Commit 5207082 pushed by breandan
October 2, 2023 04:39 6h 0m 27s master
master
October 2, 2023 04:39 6h 0m 27s
ProTip! You can narrow down the results and go further in time using created:<2023-10-02 or the other filters available.