Skip to content

Actions: softwarelanguageslab/monarch

Actions

Analysis CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
analysis-ci.yml
164 workflow runs
164 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
chore(simpleactor): disable more logging Analysis CI #940: Commit e2cbf86 pushed by bramvdbogaerde
8m 58s main
main
8m 58s
benchmarks(simpleactor): increase max runs Analysis CI #939: Commit c437f20 pushed by bramvdbogaerde
9m 5s main
main
9m 5s
feat(simpleactor): added the sleep primitive Analysis CI #938: Commit f39f203 pushed by bramvdbogaerde
9m 12s main
main
9m 12s
chore(scv): reduce logging Analysis CI #937: Commit b4c6ef2 pushed by bramvdbogaerde
9m 2s main
main
9m 2s
feat(simpleactor): abstract counts for symbolic variables Analysis CI #936: Commit 96cf8bb pushed by bramvdbogaerde
9m 40s main
main
9m 40s
fix(simpleactor): store can be 'put' instead of joined after a branch… Analysis CI #935: Commit 57a5e6a pushed by bramvdbogaerde
8m 38s main
main
8m 38s
fix(simpleactor): explicitly log the end of an intra analysis Analysis CI #934: Commit 39f05fb pushed by bramvdbogaerde
9m 23s main
main
9m 23s
feat(simpleactor): updated visualization to include self-time and # i… Analysis CI #933: Commit 4648b8b pushed by bramvdbogaerde
6m 12s main
main
6m 12s
fix(simpleactor): properly call integrateCtx + correct restrictFormula Analysis CI #932: Commit 5e65188 pushed by bramvdbogaerde
6m 2s main
main
6m 2s
feat(simpleactor): flow-sensitive store widening Analysis CI #931: Commit d12aa67 pushed by bramvdbogaerde
6m 35s main
main
6m 35s
feat(analysis): compact printing of store addresses Analysis CI #930: Commit d27ad98 pushed by bramvdbogaerde
6m 11s main
main
6m 11s
feat(simpelactor): performance improvements Analysis CI #929: Commit a536187 pushed by bramvdbogaerde
6m 17s main
main
6m 17s
fix(simpleactor): added missing primitives Analysis CI #928: Commit f8bfd94 pushed by bramvdbogaerde
6m 15s main
main
6m 15s
feat(simpleactor): complete implementation of symbolic variable traci… Analysis CI #927: Commit 872b18b pushed by bramvdbogaerde
5m 54s main
main
5m 54s
feat(simpleactor/wip): adapting addMessageCtx to embed restricted p… Analysis CI #926: Commit 6dff39c pushed by bramvdbogaerde
5m 24s main
main
5m 24s
refactor: split Scheme store into multiple disjoint stores again Analysis CI #925: Commit bb21aa0 pushed by bramvdbogaerde
6m 7s main
main
6m 7s
fix(simpleactor+analysis): implement missing spans and added stringTo… Analysis CI #924: Commit 03564f2 pushed by bramvdbogaerde
6m 13s main
main
6m 13s
fix(simpleactor): various small fixes in the benchmarking scripts Analysis CI #923: Commit 2d1263a pushed by bramvdbogaerde
6m 7s main
main
6m 7s
feat(simpleactor/scv): discard propositions having unrelated variables Analysis CI #922: Commit 743c157 pushed by bramvdbogaerde
5m 58s main
main
5m 58s
feat(simpleactor): improve performance by moving the outbox to the in… Analysis CI #921: Commit 129f68c pushed by bramvdbogaerde
5m 3s main
main
5m 3s
feat(simpleactor): print the set of blames as the output of analyze2 Analysis CI #920: Commit 406775c pushed by bramvdbogaerde
6m 2s main
main
6m 2s
debugging(simpleactor): add iterations counts Analysis CI #919: Commit 758f71a pushed by bramvdbogaerde
6m 2s main
main
6m 2s
feat(simpleactor/benchmarks): include stats about the included contra… Analysis CI #918: Commit 40c304f pushed by bramvdbogaerde
6m 5s main
main
6m 5s
chore(simpleactor): move SOTER benchmarks into their own directory Analysis CI #917: Commit d32e6b7 pushed by bramvdbogaerde
5m 53s main
main
5m 53s
feat(simpleactor): added support for tracking blame Analysis CI #916: Commit 10dd85a pushed by bramvdbogaerde
6m 10s main
main
6m 10s