Skip to content

Actions: HEAPLab/ASPIS

Actions

ASPIS main CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
125 workflow runs
125 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
upd(EDDI): now getBestType handles the retrieving of types ASPIS main CI #165: Commit 037bf7c pushed by EmilioCorigliano
19m 10s fix-eddi
fix-eddi
19m 10s
TEMP - fix(EDDI): harden instead of TAD if the resources is in heap ASPIS main CI #164: Commit 92646f1 pushed by EmilioCorigliano
19m 41s fix-eddi
fix-eddi
19m 41s
fix(EDDI): Temporarily leave alloca in the middle of code ASPIS main CI #163: Commit 19ea4d0 pushed by EmilioCorigliano
20m 19s fix-eddi
fix-eddi
20m 19s
upd(EDDI): enhanced checking of structs and arrays ASPIS main CI #162: Commit f49cce4 pushed by EmilioCorigliano
20m 23s fix-eddi
fix-eddi
20m 23s
upd(EDDI): add the consistency checks at the end of duplication process ASPIS main CI #161: Commit 3e30d69 pushed by EmilioCorigliano
14m 12s fix-eddi
fix-eddi
14m 12s
upd(EDDI): add the consistency checks at the end of duplication process ASPIS main CI #160: Commit 763dcdb pushed by EmilioCorigliano
18m 1s fix-eddi
fix-eddi
18m 1s
feat(veddi): added vEDDI method ASPIS main CI #159: Commit 4441d81 pushed by EmilioCorigliano
1h 39m 39s vEDDI
vEDDI
1h 39m 39s
upd(EDDI): add the consistency checks at the end of duplication process ASPIS main CI #158: Commit 63e358f pushed by EmilioCorigliano
19m 13s fix-eddi
fix-eddi
19m 13s
feat(veddi): added vEDDI method ASPIS main CI #157: Commit f6cce30 pushed by EmilioCorigliano
1h 43m 56s vEDDI
vEDDI
1h 43m 56s
feat(veddi): added vEDDI method ASPIS main CI #156: Commit 2343796 pushed by EmilioCorigliano
2h 10m 6s vEDDI
vEDDI
2h 10m 6s
upd(EDDI): base-case covered also without TDA to infere alloca types ASPIS main CI #155: Commit 90b5142 pushed by EmilioCorigliano
19m 19s fix-eddi
fix-eddi
19m 19s
upd(EDDI): base-case covered also without TDA to infere alloca types ASPIS main CI #154: Commit e937168 pushed by EmilioCorigliano
2h 8m 44s fix-eddi
fix-eddi
2h 8m 44s
feat(ASPIS): the aspis.sh shell script can now emit .ll files, avoidi… ASPIS main CI #153: Commit b66a090 pushed by davidebaroffio-polimi
2h 9m 30s master
master
2h 9m 30s
fix(EDDI): fixed isLocalValueInitializedBefore function ASPIS main CI #152: Commit 14aad08 pushed by EmilioCorigliano
19m 53s fix-eddi
fix-eddi
19m 53s
feat(EDDI): add other functions to be excluded by default ASPIS main CI #151: Commit c442120 pushed by EmilioCorigliano
19m 6s fix-eddi
fix-eddi
19m 6s
feat(EDDI): duplicate volatiles explicitly marked as to_duplicate or … ASPIS main CI #150: Commit 994aee1 pushed by EmilioCorigliano
17m 4s fix-eddi
fix-eddi
17m 4s
feat(EDDI): duplicate volatile integer after loads and create consist… ASPIS main CI #149: Commit 3765234 pushed by EmilioCorigliano
20m 17s fix-eddi
fix-eddi
20m 17s
feat(EDDI): duplicate volatile integer after loads and create consist… ASPIS main CI #148: Commit f6b824e pushed by EmilioCorigliano
22m 1s fix-eddi
fix-eddi
22m 1s
upd(EDDI): now synchronizeFunctionArguments can synchronize the argum… ASPIS main CI #147: Commit 590d6e8 pushed by EmilioCorigliano
19m 2s fix-eddi
fix-eddi
19m 2s
upd(EDDI): now synchronizeFunctionArguments can synchronize the argum… ASPIS main CI #146: Commit 7dba0a9 pushed by EmilioCorigliano
19m 19s fix-eddi
fix-eddi
19m 19s
fix(EDDI): fix TAD in case of global variables ASPIS main CI #145: Commit 4904e4a pushed by EmilioCorigliano
20m 15s fix-eddi
fix-eddi
20m 15s
upd(EDDI): update to exclude and to duplicate functions ASPIS main CI #144: Commit f753ffd pushed by EmilioCorigliano
2h 14m 42s fix-eddi
fix-eddi
2h 14m 42s
upd(EDDI): temporary argument duplication best effort in case the typ… ASPIS main CI #143: Commit 423e3dd pushed by EmilioCorigliano
27m 46s master
master
27m 46s
upd(EDDI): temporary argument duplication best effort in case the typ… ASPIS main CI #142: Commit f19db40 pushed by EmilioCorigliano
19m 34s dev-tda
dev-tda
19m 34s
test(EDDI): add combination of multiple-errbb and coarse-grained ASPIS main CI #141: Commit c744eda pushed by EmilioCorigliano
15m 47s master
master
15m 47s