Skip to content

Actions: breandan/galoisenne

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
301 workflow runs
301 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
spoke too soon, fix a minor bug CI #1010: Commit 68ffcfb pushed by breandan
September 25, 2023 01:09 25m 15s master
master
September 25, 2023 01:09 25m 15s
alas, SeqValiant works! the dream becomes reality... CI #1009: Commit 14dc51d pushed by breandan
September 24, 2023 06:23 21m 52s master
master
September 24, 2023 06:23 21m 52s
try using markov chain to select candidate fragments CI #1008: Commit df725b7 pushed by breandan
September 22, 2023 20:10 18m 46s master
master
September 22, 2023 20:10 18m 46s
test a large scale grammar CI #1007: Commit 83bc0a6 pushed by breandan
September 22, 2023 04:17 20m 42s master
master
September 22, 2023 04:17 20m 42s
use more sensible names CI #1006: Commit 00bda88 pushed by breandan
September 22, 2023 02:14 16m 45s master
master
September 22, 2023 02:14 16m 45s
use float to accommodate ℝ-valued Σᐩ metrics CI #1005: Commit b5f26ac pushed by breandan
September 21, 2023 03:45 16m 11s master
master
September 21, 2023 03:45 16m 11s
halve the latency CI #1004: Commit c7b8e72 pushed by breandan
September 21, 2023 00:13 18m 28s master
master
September 21, 2023 00:13 18m 28s
parameterize the metric CI #1003: Commit 1bf49ed pushed by breandan
September 20, 2023 05:09 20m 46s master
master
September 20, 2023 05:09 20m 46s
Merge remote-tracking branch 'origin/master' CI #1002: Commit e4907c1 pushed by breandan
September 19, 2023 07:16 18m 30s master
master
September 19, 2023 07:16 18m 30s
prototype SortValiant, a new lightweight solver CI #1001: Commit f2fbab4 pushed by breandan
September 18, 2023 06:36 19m 43s master
master
September 18, 2023 06:36 19m 43s
remove debugging statement CI #1000: Commit 82358ac pushed by breandan
September 13, 2023 18:41 18m 26s master
master
September 13, 2023 18:41 18m 26s
Merge remote-tracking branch 'origin/master' CI #999: Commit 065daa2 pushed by breandan
September 13, 2023 18:38 15m 35s master
master
September 13, 2023 18:38 15m 35s
import let-plot AWT dependency CI #998: Commit 9a1bbaf pushed by breandan
August 28, 2023 17:02 16m 7s master
master
August 28, 2023 17:02 16m 7s
update versions CI #997: Commit 30c0ac9 pushed by breandan
August 28, 2023 16:32 15m 15s master
master
August 28, 2023 16:32 15m 15s
update versions CI #996: Commit 4283cfd pushed by breandan
August 28, 2023 16:23 15m 53s master
master
August 28, 2023 16:23 15m 53s
take only distinct repairs CI #995: Commit 4ca3052 pushed by breandan
August 7, 2023 05:09 14m 47s master
master
August 7, 2023 05:09 14m 47s
consolidate methods CI #994: Commit 9dced7c pushed by breandan
July 16, 2023 05:46 15m 13s master
master
July 16, 2023 05:46 15m 13s
update versions and disable highlighting CI #993: Commit e8806be pushed by breandan
July 16, 2023 05:46 18m 10s master
master
July 16, 2023 05:46 18m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-07-16 or the other filters available.