Skip to content

Actions: KIT-TVA/abstools-secrecy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
168 workflow runs
168 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
found a small bug and fixed it and affected examples NEWTEST #30: Commit 60328f9 pushed by Disakek
17s flow-sensitivity
flow-sensitivity
17s
found a small bug and fixed it and affected examples compile #88: Commit 60328f9 pushed by Disakek
3m 0s flow-sensitivity
flow-sensitivity
3m 0s
removing return unit statements NEWTEST #29: Commit 8804b18 pushed by Disakek
1m 9s flow-sensitivity
flow-sensitivity
1m 9s
removing return unit statements compile #87: Commit 8804b18 pushed by Disakek
3m 15s flow-sensitivity
flow-sensitivity
3m 15s
ensuring all tests are similar NEWTEST #28: Commit 6511969 pushed by Disakek
20s flow-sensitivity
flow-sensitivity
20s
ensuring all tests are similar compile #86: Commit 6511969 pushed by Disakek
3m 2s flow-sensitivity
flow-sensitivity
3m 2s
finishing tests and fixing a small bug in flow-insensitive analysis NEWTEST #27: Commit 4c04400 pushed by Disakek
13s flow-sensitivity
flow-sensitivity
13s
finishing tests and fixing a small bug in flow-insensitive analysis compile #85: Commit 4c04400 pushed by Disakek
2m 55s flow-sensitivity
flow-sensitivity
2m 55s
fixing mistake in future rule examples NEWTEST #26: Commit 8df2faf pushed by Disakek
13s flow-sensitivity
flow-sensitivity
13s
fixing mistake in future rule examples compile #84: Commit 8df2faf pushed by Disakek
3m 10s flow-sensitivity
flow-sensitivity
3m 10s
some more updates for some test cases compile #83: Commit 3a13c5b pushed by Disakek
3m 13s flow-sensitivity
flow-sensitivity
3m 13s
some more updates for some test cases NEWTEST #25: Commit 3a13c5b pushed by Disakek
20s flow-sensitivity
flow-sensitivity
20s
updating some test cases compile #82: Commit 5c453b7 pushed by Disakek
3m 5s flow-sensitivity
flow-sensitivity
3m 5s
updating some test cases NEWTEST #24: Commit 5c453b7 pushed by Disakek
14s flow-sensitivity
flow-sensitivity
14s
adding the rule_examples and removing a change that surpressed some e… NEWTEST #23: Commit 523e9c8 pushed by Disakek
17s flow-sensitivity
flow-sensitivity
17s
adding the rule_examples and removing a change that surpressed some e… compile #81: Commit 523e9c8 pushed by Disakek
3m 8s flow-sensitivity
flow-sensitivity
3m 8s
switching flow-insensitive analysis to unrolling the loop, adding all… NEWTEST #22: Commit b693953 pushed by Disakek
19s flow-sensitivity
flow-sensitivity
19s
switching flow-insensitive analysis to unrolling the loop, adding all… compile #80: Commit b693953 pushed by Disakek
2m 59s flow-sensitivity
flow-sensitivity
2m 59s
change naming of a test to match others compile #79: Commit 1d3505d pushed by Disakek
3m 8s flow-sensitivity
flow-sensitivity
3m 8s
change naming of a test to match others NEWTEST #21: Commit 1d3505d pushed by Disakek
13s flow-sensitivity
flow-sensitivity
13s
fixing param rule error and adding more tests compile #78: Commit 41c41ad pushed by Disakek
3m 11s flow-sensitivity
flow-sensitivity
3m 11s
fixing param rule error and adding more tests NEWTEST #20: Commit 41c41ad pushed by Disakek
14s flow-sensitivity
flow-sensitivity
14s
adding the first few tests examples from the thesis (THESIS UPDATE) NEWTEST #19: Commit 2e28f45 pushed by Disakek
19s flow-sensitivity
flow-sensitivity
19s
adding the first few tests examples from the thesis (THESIS UPDATE) compile #77: Commit 2e28f45 pushed by Disakek
3m 13s flow-sensitivity
flow-sensitivity
3m 13s
fixing a few more small bugs NEWTEST #18: Commit 3abea89 pushed by Disakek
17s flow-sensitivity
flow-sensitivity
17s