Skip to content

Actions: softwarelanguageslab/monarch

Actions

SCV CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scv-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 SCV CI #637: Commit c75cdc3 pushed by bramvdbogaerde
5m 42s main
main
5m 42s
feat(simpleactor): use the SymbolicVariable from ASE for the repres… SCV CI #636: Commit b79896d pushed by bramvdbogaerde
5m 26s main
main
5m 26s
feat(simpleactor): symbolic domain SCV CI #635: Commit 1b8574e pushed by bramvdbogaerde
5m 33s main
main
5m 33s
fix(maf2-scv): elliminate all warnings SCV CI #634: Commit e642c55 pushed by bramvdbogaerde
5m 30s main
main
5m 30s
small updates SCV CI #633: Commit ce11d5b pushed by bramvdbogaerde
6m 31s main
main
6m 31s
fix(simpleactor): use the global mailboxes as the current outbox + gr… SCV CI #632: Commit 5164c16 pushed by bramvdbogaerde
5m 50s main
main
5m 50s
feat(analysis): graphviz graph visualization in core analysis SCV CI #631: Commit 90e3cee pushed by bramvdbogaerde
5m 25s main
main
5m 25s
fix(simpleactor): use pureactor's mailbox abstraction from core SCV CI #630: Commit c36fa6f pushed by bramvdbogaerde
5m 34s main
main
5m 34s
fix(tests): also eliminate warnings in the test specifications SCV CI #629: Commit 253b72c pushed by bramvdbogaerde
5m 29s main
main
5m 29s
cleanup: fix the remaining warnings SCV CI #628: Commit 67b6ad1 pushed by bramvdbogaerde
5m 27s main
main
5m 27s
fix(simpleactor): entrypoint for new fixpoint algorithm + keep track … SCV CI #627: Commit 3804fe5 pushed by bramvdbogaerde
5m 29s main
main
5m 29s
feat(simpleactor): transpose pureactor fixpoint to simpleactor SCV CI #626: Commit 1bc31fd pushed by bramvdbogaerde
5m 40s main
main
5m 40s
cummulative updates on maf2-analysis SCV CI #625: Commit d6583b6 pushed by bramvdbogaerde
10m 38s main
main
10m 38s
cleanup: general code cleanup (e.g., used imports, dead code, ...) SCV CI #624: Commit 82d9268 pushed by bramvdbogaerde
12m 31s main
main
12m 31s
feat: partitions in the graph abstraction itself SCV CI #623: Commit 02c94d9 pushed by bramvdbogaerde
13m 25s main
main
13m 25s
feat(domains): added TopLattice instance for the UnitLattice SCV CI #622: Commit 273cafb pushed by bramvdbogaerde
12m 50s main
main
12m 50s
refactor(analysis): move Graph type class to its own module SCV CI #621: Commit 3fe1d14 pushed by bramvdbogaerde
12m 55s main
main
12m 55s
chore(pureactor): cleanup scripts SCV CI #620: Commit aa6f890 pushed by bramvdbogaerde
11m 16s main
main
11m 16s
feat(pureactor) added terminal node in the graph SCV CI #619: Commit a424811 pushed by bramvdbogaerde
10m 52s main
main
10m 52s
fix(pureactor): modifications to the inbox should be passed to the ou… SCV CI #618: Commit adca3f4 pushed by bramvdbogaerde
13m 8s main
main
13m 8s
feat(erlang): added parse-only execution of the Core Erlang analysis SCV CI #617: Commit 95bf63c pushed by bramvdbogaerde
13m 44s main
main
13m 44s
feat(simpleactor): multi-module Core Erlang module loader SCV CI #616: Commit 284fd0c pushed by bramvdbogaerde
13m 5s main
main
13m 5s
cummulative updates: changes to the visualisation and graph abastraction SCV CI #615: Commit 7a80029 pushed by bramvdbogaerde
12m 51s main
main
12m 51s
feat(pureactor): cummulative changes SCV CI #614: Commit bc6f329 pushed by bramvdbogaerde
13m 14s main
main
13m 14s
fix(domains): fix dangling reference SCV CI #613: Commit 93b5e89 pushed by bramvdbogaerde
13m 20s main
main
13m 20s