Skip to content

Actions: breandan/galoisenne

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
296 workflow runs
296 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
sort valiant actually faster than seqvaliant for small alphabets CI #1016: Commit 76591ae pushed by breandan
October 2, 2023 04:00 24m 51s master
master
October 2, 2023 04:00 24m 51s
okay, bar-hillel works (just need to prune dangling NTs) CI #1015: Commit 0ce0fb8 pushed by breandan
October 2, 2023 02:12 27m 43s master
master
October 2, 2023 02:12 27m 43s
restore ε-normalization CI #1014: Commit a59c82e pushed by breandan
October 1, 2023 04:07 23m 40s master
master
October 1, 2023 04:07 23m 40s
test Pasti et al.'s modified Bar-Hillel construction CI #1013: Commit 94a660a pushed by breandan
October 1, 2023 04:06 13m 0s master
master
October 1, 2023 04:06 13m 0s
start tacas and popl feedback CI #1012: Commit 474361f pushed by breandan
September 26, 2023 05:39 22m 16s master
master
September 26, 2023 05:39 22m 16s
simplify and evaluate CI #1011: Commit 19492f1 pushed by breandan
September 25, 2023 02:31 29m 18s master
master
September 25, 2023 02:31 29m 18s
ProTip! You can narrow down the results and go further in time using created:<2023-09-25 or the other filters available.