Skip to content

Actions: softwarelanguageslab/monarch

Actions

Domains CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
domain-ci.yaml
269 workflow runs
269 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat(analysis): added MonadChoice to make 'cond' polymorphic Domains CI #881: Commit c75cdc3 pushed by bramvdbogaerde
13m 48s main
main
13m 48s
feat(simpleactor): use the SymbolicVariable from ASE for the repres… Domains CI #880: Commit b79896d pushed by bramvdbogaerde
13m 44s main
main
13m 44s
feat(simpleactor): symbolic domain Domains CI #879: Commit 1b8574e pushed by bramvdbogaerde
14m 2s main
main
14m 2s
fix(maf2-scv): elliminate all warnings Domains CI #878: Commit e642c55 pushed by bramvdbogaerde
13m 38s main
main
13m 38s
small updates Domains CI #877: Commit ce11d5b pushed by bramvdbogaerde
13m 52s main
main
13m 52s
fix(simpleactor): use the global mailboxes as the current outbox + gr… Domains CI #876: Commit 5164c16 pushed by bramvdbogaerde
13m 43s main
main
13m 43s
feat(analysis): graphviz graph visualization in core analysis Domains CI #875: Commit 90e3cee pushed by bramvdbogaerde
13m 21s main
main
13m 21s
fix(simpleactor): use pureactor's mailbox abstraction from core Domains CI #874: Commit c36fa6f pushed by bramvdbogaerde
13m 44s main
main
13m 44s
fix(tests): also eliminate warnings in the test specifications Domains CI #873: Commit 253b72c pushed by bramvdbogaerde
13m 36s main
main
13m 36s
cleanup: fix the remaining warnings Domains CI #872: Commit 67b6ad1 pushed by bramvdbogaerde
13m 26s main
main
13m 26s
fix(simpleactor): entrypoint for new fixpoint algorithm + keep track … Domains CI #871: Commit 3804fe5 pushed by bramvdbogaerde
13m 41s main
main
13m 41s
feat(simpleactor): transpose pureactor fixpoint to simpleactor Domains CI #870: Commit 1bc31fd pushed by bramvdbogaerde
13m 23s main
main
13m 23s
cummulative updates on maf2-analysis Domains CI #869: Commit d6583b6 pushed by bramvdbogaerde
11m 44s main
main
11m 44s
cleanup: general code cleanup (e.g., used imports, dead code, ...) Domains CI #868: Commit 82d9268 pushed by bramvdbogaerde
13m 45s main
main
13m 45s
feat: partitions in the graph abstraction itself Domains CI #867: Commit 02c94d9 pushed by bramvdbogaerde
13m 16s main
main
13m 16s
feat(domains): added TopLattice instance for the UnitLattice Domains CI #866: Commit 273cafb pushed by bramvdbogaerde
13m 21s main
main
13m 21s
refactor(analysis): move Graph type class to its own module Domains CI #865: Commit 3fe1d14 pushed by bramvdbogaerde
14m 26s main
main
14m 26s
chore(pureactor): cleanup scripts Domains CI #864: Commit aa6f890 pushed by bramvdbogaerde
13m 25s main
main
13m 25s
feat(pureactor) added terminal node in the graph Domains CI #863: Commit a424811 pushed by bramvdbogaerde
13m 58s main
main
13m 58s
fix(pureactor): modifications to the inbox should be passed to the ou… Domains CI #862: Commit adca3f4 pushed by bramvdbogaerde
11m 41s main
main
11m 41s
feat(erlang): added parse-only execution of the Core Erlang analysis Domains CI #861: Commit 95bf63c pushed by bramvdbogaerde
13m 45s main
main
13m 45s
feat(simpleactor): multi-module Core Erlang module loader Domains CI #860: Commit 284fd0c pushed by bramvdbogaerde
13m 26s main
main
13m 26s
cummulative updates: changes to the visualisation and graph abastraction Domains CI #859: Commit 7a80029 pushed by bramvdbogaerde
13m 19s main
main
13m 19s
feat(pureactor): cummulative changes Domains CI #858: Commit bc6f329 pushed by bramvdbogaerde
13m 28s main
main
13m 28s
fix(domains): fix dangling reference Domains CI #857: Commit 93b5e89 pushed by bramvdbogaerde
13m 25s main
main
13m 25s