Skip to content

Actions: riadas/Autumn.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
204 workflow runs
204 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
minor additions CI #406: Commit e0b62c8 pushed by archanarw
July 25, 2023 20:45 21m 16s arw-polystructural-models
arw-polystructural-models
July 25, 2023 20:45 21m 16s
first draft of polystr. models CI #405: Commit 2403432 pushed by archanarw
July 24, 2023 01:18 12m 1s arw-polystructural-models
arw-polystructural-models
July 24, 2023 01:18 12m 1s
Abstract interpretation TagBot #34: Issue comment #26 (comment) created by riadas
July 20, 2023 15:52 3s
July 20, 2023 15:52 3s
Abstract interpretation CI #404: Pull request #26 synchronize by riadas
July 19, 2023 18:21 10m 48s abstract-interpretation
abstract-interpretation
July 19, 2023 18:21 10m 48s
bug fix CI #403: Commit 6976552 pushed by riadas
July 19, 2023 18:21 14m 32s abstract-interpretation
abstract-interpretation
July 19, 2023 18:21 14m 32s
Abstract interpretation CI #402: Pull request #26 synchronize by riadas
July 19, 2023 16:56 15m 52s abstract-interpretation
abstract-interpretation
July 19, 2023 16:56 15m 52s
expanded expressiveness of abstract interpretation, cleanup still needed CI #401: Commit 775ae88 pushed by riadas
July 19, 2023 16:56 13m 58s abstract-interpretation
abstract-interpretation
July 19, 2023 16:56 13m 58s
Abstract interpretation CI #400: Pull request #26 synchronize by riadas
July 19, 2023 04:58 10m 9s abstract-interpretation
abstract-interpretation
July 19, 2023 04:58 10m 9s
now doing actual abstract interpretation with convergence, cleanup ne… CI #399: Commit 88c45f3 pushed by riadas
July 19, 2023 04:58 12m 10s abstract-interpretation
abstract-interpretation
July 19, 2023 04:58 12m 10s
Abstract interpretation TagBot #33: Issue comment #26 (comment) created by riadas
July 17, 2023 15:27 7s
July 17, 2023 15:27 7s
Abstract interpretation CI #398: Pull request #26 synchronize by riadas
July 17, 2023 15:21 14m 26s abstract-interpretation
abstract-interpretation
July 17, 2023 15:21 14m 26s
first version of milestone 2 working CI #397: Commit 31c2af2 pushed by riadas
July 17, 2023 15:21 13m 13s abstract-interpretation
abstract-interpretation
July 17, 2023 15:21 13m 13s
Abstract interpretation CI #396: Pull request #26 synchronize by riadas
July 17, 2023 13:36 22m 47s abstract-interpretation
abstract-interpretation
July 17, 2023 13:36 22m 47s
quick fixes CI #395: Commit 11fe7a4 pushed by riadas
July 17, 2023 13:36 20m 28s abstract-interpretation
abstract-interpretation
July 17, 2023 13:36 20m 28s
Abstract interpretation CI #394: Pull request #26 synchronize by riadas
July 16, 2023 21:51 8m 52s abstract-interpretation
abstract-interpretation
July 16, 2023 21:51 8m 52s
wip CI #393: Commit dd96107 pushed by riadas
July 16, 2023 21:51 10m 54s abstract-interpretation
abstract-interpretation
July 16, 2023 21:51 10m 54s
Abstract interpretation TagBot #32: Issue comment #26 (comment) created by riadas
July 14, 2023 20:54 2s
July 14, 2023 20:54 2s
Abstract interpretation TagBot #31: Issue comment #26 (comment) created by riadas
July 14, 2023 19:22 2s
July 14, 2023 19:22 2s
Abstract interpretation CI #392: Pull request #26 synchronize by riadas
July 14, 2023 19:20 14m 24s abstract-interpretation
abstract-interpretation
July 14, 2023 19:20 14m 24s
if second param of prev is not a literal, set history tracking depth … CI #391: Commit 452f820 pushed by riadas
July 14, 2023 19:20 11m 38s abstract-interpretation
abstract-interpretation
July 14, 2023 19:20 11m 38s
Abstract interpretation TagBot #30: Issue comment #26 (comment) created by codecov-commenter
July 14, 2023 19:09 2s
July 14, 2023 19:09 2s
Abstract interpretation CI #390: Pull request #26 synchronize by riadas
July 14, 2023 19:05 15m 9s abstract-interpretation
abstract-interpretation
July 14, 2023 19:05 15m 9s
commented out tests that relied on full history tracking for now CI #389: Commit 558f1b5 pushed by riadas
July 14, 2023 19:05 16m 16s abstract-interpretation
abstract-interpretation
July 14, 2023 19:05 16m 16s
Abstract interpretation CI #388: Pull request #26 opened by riadas
July 14, 2023 19:00 18m 5s abstract-interpretation
abstract-interpretation
July 14, 2023 19:00 18m 5s
made GRID_SIZE default to 16 CI #387: Commit 34e0a44 pushed by riadas
July 14, 2023 19:00 13m 49s abstract-interpretation
abstract-interpretation
July 14, 2023 19:00 13m 49s