Skip to content

Actions: breandan/cstk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

re-plot prec/lat for fast intersection opts CI #716: Commit 34a557d pushed by breandan
November 19, 2024 03:34 3m 57s master
master
November 19, 2024 03:34 3m 57s
describe state space reduction CI #715: Commit fa32d97 pushed by breandan
November 17, 2024 01:14 4m 18s master
master
November 17, 2024 01:14 4m 18s
reduce memory allocations CI #714: Commit 1ff10c7 pushed by breandan
November 14, 2024 01:04 3m 11s master
master
November 14, 2024 01:04 3m 11s
reduce maxHeapSize CI #713: Commit 65975f0 pushed by breandan
November 13, 2024 19:47 3m 15s master
master
November 13, 2024 19:47 3m 15s
relax memory bottleneck CI #712: Commit 189d510 pushed by breandan
November 13, 2024 19:45 3m 15s master
master
November 13, 2024 19:45 3m 15s
update maxHeapSize CI #711: Commit 6363c4e pushed by breandan
November 13, 2024 06:14 3m 5s master
master
November 13, 2024 06:14 3m 5s
catch OOM in edit bounds calculation CI #710: Commit c6c50e4 pushed by breandan
November 13, 2024 04:22 3m 18s master
master
November 13, 2024 04:22 3m 18s
handle OOM gracefully CI #709: Commit 740d643 pushed by breandan
November 13, 2024 03:42 4m 1s master
master
November 13, 2024 03:42 4m 1s
track nonterminal implicature CI #708: Commit 69bc529 pushed by breandan
November 3, 2024 18:08 3m 11s master
master
November 3, 2024 18:08 3m 11s
minimal multiedit bounds proof too slow CI #707: Commit fd1e6b2 pushed by breandan
November 3, 2024 04:38 4m 5s master
master
November 3, 2024 04:38 4m 5s
use binary search for multiedit bounds CI #706: Commit 43f21ad pushed by breandan
November 2, 2024 08:35 36s master
master
November 2, 2024 08:35 36s
speed up multiedit bounds proof CI #705: Commit 702f03a pushed by breandan
October 31, 2024 18:38 3m 16s master
master
October 31, 2024 18:38 3m 16s
fix multitoken edit detector CI #704: Commit 590cc97 pushed by breandan
October 31, 2024 04:36 3m 5s master
master
October 31, 2024 04:36 3m 5s
optimize serializer and bump limit to 100 tokens CI #703: Commit 1102bd1 pushed by breandan
October 30, 2024 07:39 43m 44s master
master
October 30, 2024 07:39 43m 44s
update stats from latest niagara run CI #702: Commit b782812 pushed by breandan
October 29, 2024 03:42 3m 1s master
master
October 29, 2024 03:42 3m 1s
merge multiedit fragment localization CI #701: Commit a1c8ee4 pushed by breandan
October 28, 2024 04:19 3m 9s master
master
October 28, 2024 04:19 3m 9s
multi edit pruning CI #700: Commit 6d832e4 pushed by breandan
October 28, 2024 03:59 3m 39s master
master
October 28, 2024 03:59 3m 39s
use binary search and implement multi-edit pruning CI #699: Commit 0831848 pushed by breandan
October 28, 2024 01:51 3m 9s master
master
October 28, 2024 01:51 3m 9s
push length limit on localhost CI #698: Commit 85b1ef4 pushed by breandan
October 26, 2024 15:27 3m 8s master
master
October 26, 2024 15:27 3m 8s
prune top left and bottom right of L-NFA when possible CI #697: Commit 01fb887 pushed by breandan
October 26, 2024 00:45 4m 10s master
master
October 26, 2024 00:45 4m 10s
compute max parseable fragment and prune LevFSA CI #696: Commit 32c5406 pushed by breandan
October 25, 2024 15:52 3m 13s master
master
October 25, 2024 15:52 3m 13s
prepare Zenodo artifact CI #695: Commit bbf5dcc pushed by breandan
October 25, 2024 02:04 3m 9s master
master
October 25, 2024 02:04 3m 9s
tacas AET CI #694: Commit 42abca1 pushed by breandan
October 25, 2024 00:01 38s master
master
October 25, 2024 00:01 38s
chase down bug with MAX_TOKENS CI #693: Commit d35a80b pushed by breandan
October 24, 2024 21:33 3m 13s master
master
October 24, 2024 21:33 3m 13s
profiling aids CI #692: Commit bf3eccf pushed by breandan
October 24, 2024 05:59 3m 7s master
master
October 24, 2024 05:59 3m 7s