Skip to content

Actions: ssoelvsten/adiar

Actions

Static Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static_analysis.yml
84 workflow runs
84 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
Symbolic Bit Vectors Static Analysis #1218: Pull request #763 synchronize by ssoelvsten
45s
45s
Symbolic Bit Vectors Static Analysis #1217: Pull request #763 opened by ssoelvsten
49s
49s
Fix term mitigating double-counting not actually being subtracted Static Analysis #1216: Pull request #760 opened by ssoelvsten
1m 1s
1m 1s
Internal/ptr uint64/replace cleanup Static Analysis #1215: Pull request #759 synchronize by ssoelvsten
21m 37s
21m 37s
Internal/ptr uint64/replace cleanup Static Analysis #1214: Pull request #759 opened by ssoelvsten
1m 7s
1m 7s
Nested Sweeping fixes needed for non-monotone bdd_replace Static Analysis #1213: Pull request #758 synchronize by ssoelvsten
1m 8s
1m 8s
Nested Sweeping fixes needed for non-monotone bdd_replace Static Analysis #1212: Pull request #758 opened by ssoelvsten
48s
48s
Some more Doxygen cleanup Static Analysis #1211: Pull request #755 opened by ssoelvsten
1m 22s
1m 22s
Support bdd and zdd as conditionals Static Analysis #1210: Pull request #754 opened by ssoelvsten
1m 19s
1m 19s
Make bdd_replace return __bdd Static Analysis #1209: Pull request #753 opened by ssoelvsten
1m 50s
1m 50s
Add to_string for all data types Static Analysis #1208: Pull request #752 synchronize by ssoelvsten
1m 43s
1m 43s
Add to_string for all data types Static Analysis #1207: Pull request #752 opened by ssoelvsten
1m 27s
1m 27s
Code cleanup for MSc project Static Analysis #1206: Pull request #750 synchronize by ssoelvsten
1m 40s
1m 40s
Code cleanup for MSc project Static Analysis #1205: Pull request #750 synchronize by ssoelvsten
1m 23s
1m 23s
Code cleanup for MSc project Static Analysis #1204: Pull request #750 synchronize by ssoelvsten
1m 35s
1m 35s
Code cleanup for MSc project Static Analysis #1203: Pull request #750 synchronize by ssoelvsten
1m 41s
1m 41s
Code cleanup for MSc project Static Analysis #1202: Pull request #750 synchronize by ssoelvsten
1m 31s
1m 31s
Code cleanup for MSc project Static Analysis #1201: Pull request #750 synchronize by ssoelvsten
1m 5s
1m 5s
Code cleanup for MSc project Static Analysis #1200: Pull request #750 synchronize by ssoelvsten
1m 3s
1m 3s
Code cleanup for MSc project Static Analysis #1199: Pull request #750 synchronize by ssoelvsten
1m 15s
1m 15s
Code cleanup for MSc project Static Analysis #1198: Pull request #750 opened by ssoelvsten
1m 40s
1m 40s
ZDD/change fail Static Analysis #1197: Pull request #748 synchronize by ssoelvsten
16m 30s
16m 30s
ZDD/change fail Static Analysis #1196: Pull request #748 opened by ssoelvsten
1m 29s
1m 29s
Mixed-input Level Manager by Virtualization (Clean-up) Static Analysis #1195: Pull request #746 opened by ssoelvsten
1m 21s
1m 21s
Mixed-input Level Manager by Virtualization Static Analysis #1194: Pull request #744 synchronize by ssoelvsten
1m 30s
1m 30s