Skip to content

Actions: HEAPLab/ASPIS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow runs
141 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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(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
test(EDDI): add combination of multiple-errbb and coarse-grained ASPIS main CI #140: Commit e8ae3aa pushed by EmilioCorigliano
15m 30s dev-repair
dev-repair
15m 30s
upd(EDDI): avoid creating the _ret version of std:: functions and avo… ASPIS main CI #139: Commit 439d957 pushed by EmilioCorigliano
14m 44s dev-tda
dev-tda
14m 44s
upd(EDDI): avoid creating the _ret version of std:: functions and avo… ASPIS main CI #138: Commit 578b3c5 pushed by EmilioCorigliano
16m 9s dev-tda
dev-tda
16m 9s
upd(EDDI): avoid creating the _ret version of std:: functions and avo… ASPIS main CI #137: Commit b3b7b21 pushed by EmilioCorigliano
3m 38s dev-tda
dev-tda
3m 38s
fix(EDDI): correctly check to exclude or to duplicate names in case o… ASPIS main CI #136: Commit e8b8068 pushed by EmilioCorigliano
17m 3s dev-tda
dev-tda
17m 3s
upd(EDDI): restored consistency checks on function pointers ASPIS main CI #135: Commit 6c6454c pushed by EmilioCorigliano
19m 25s dev-tda
dev-tda
19m 25s
feat(EDDI): enhance temporary argument duplication of arrays ASPIS main CI #134: Commit 26807e1 pushed by EmilioCorigliano
17m 52s dev-tda
dev-tda
17m 52s
test(EDDI): add creation of artifact for number of comparisons created ASPIS main CI #133: Commit 5944728 pushed by EmilioCorigliano
13m 59s dev-repair
dev-repair
13m 59s
feat(EDDI): enhance temporary argument duplication of arrays ASPIS main CI #132: Commit 4356b6d pushed by EmilioCorigliano
17m 24s dev-tda
dev-tda
17m 24s
feat(EDDI): enhance temporary argument duplication of arrays ASPIS main CI #131: Commit e35ffd2 pushed by EmilioCorigliano
1m 48s dev-tda
dev-tda
1m 48s
test(EDDI): add creation of artifact for number of comparisons created ASPIS main CI #130: Commit 44a70bd pushed by EmilioCorigliano
13m 39s dev-repair
dev-repair
13m 39s
test(EDDI): add creation of artifact for number of comparisons created ASPIS main CI #129: Commit 9fceff0 pushed by EmilioCorigliano
2m 56s dev-repair
dev-repair
2m 56s