Skip to content

Actions: UQ-PAC/BASIL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow run results
62 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #112 from UQ-PAC/improve-quantification-example Run Examples #101: Commit fcd2f8e pushed by l-kent
October 17, 2023 23:09 3m 49s main
main
October 17, 2023 23:09 3m 49s
Improved Memory Identification Run Examples #100: Pull request #86 synchronize by yousifpatti
October 17, 2023 07:21 2m 26s yousif-memory-region-analysis
yousif-memory-region-analysis
October 17, 2023 07:21 2m 26s
Merge pull request #109 from UQ-PAC/format-adt Run Examples #99: Commit 8c199a0 pushed by katrinafyi
October 17, 2023 07:19 3m 28s main
main
October 17, 2023 07:19 3m 28s
format_adt: handle memory bytes correctly. Run Examples #98: Commit b82783d pushed by katrinafyi
October 17, 2023 07:18 3m 26s main
main
October 17, 2023 07:18 3m 26s
Update example Run Examples #97: Pull request #112 opened by ailrst
October 17, 2023 06:50 3m 18s improve-quantification-example
improve-quantification-example
October 17, 2023 06:50 3m 18s
Merge pull request #109 from UQ-PAC/format-adt Run Examples #96: Commit 8c199a0 pushed by l-kent
October 17, 2023 04:21 3m 54s main
main
October 17, 2023 04:21 3m 54s
Check indices of memory accesses are low Run Examples #95: Pull request #108 synchronize by l-kent
October 17, 2023 03:30 3m 14s check-index-security
check-index-security
October 17, 2023 03:30 3m 14s
Merge pull request #107 from UQ-PAC/BASIL-105 Run Examples #94: Commit a3dbcae pushed by l-kent
October 17, 2023 03:06 3m 37s main
main
October 17, 2023 03:06 3m 37s
Rely Detection Issue Run Examples #93: Pull request #107 synchronize by l-kent
October 17, 2023 03:00 3m 20s BASIL-105
BASIL-105
October 17, 2023 03:00 3m 20s
Merge pull request #92 from UQ-PAC/read-only-memory Run Examples #92: Commit fae3723 pushed by l-kent
October 17, 2023 02:22 3m 47s main
main
October 17, 2023 02:22 3m 47s
Read-only memory sections maintained throughout program Run Examples #91: Pull request #92 synchronize by l-kent
October 17, 2023 02:16 3m 43s read-only-memory
read-only-memory
October 17, 2023 02:16 3m 43s
Improved Memory Identification Run Examples #90: Pull request #86 synchronize by yousifpatti
October 17, 2023 02:11 3m 18s yousif-memory-region-analysis
yousif-memory-region-analysis
October 17, 2023 02:11 3m 18s
add .adt pretty-printer in format_adt.py Run Examples #89: Pull request #109 synchronize by katrinafyi
October 17, 2023 01:08 3m 11s format-adt
format-adt
October 17, 2023 01:08 3m 11s
add .adt pretty-printer in format_adt.py Run Examples #88: Pull request #109 synchronize by katrinafyi
October 16, 2023 07:51 3m 14s format-adt
format-adt
October 16, 2023 07:51 3m 14s
add .adt pretty-printer in format_adt.py Run Examples #87: Pull request #109 synchronize by katrinafyi
October 16, 2023 07:46 4m 19s format-adt
format-adt
October 16, 2023 07:46 4m 19s
add .adt pretty-printer in format_adt.py Run Examples #86: Pull request #109 synchronize by katrinafyi
October 16, 2023 07:38 4m 20s format-adt
format-adt
October 16, 2023 07:38 4m 20s
add .adt pretty-printer in format_adt.py Run Examples #85: Pull request #109 opened by katrinafyi
October 16, 2023 07:26 4m 18s format-adt
format-adt
October 16, 2023 07:26 4m 18s
Merge pull request #94 from UQ-PAC/tests-cleanup Run Examples #84: Commit c4406e9 pushed by l-kent
October 16, 2023 04:36 4m 12s main
main
October 16, 2023 04:36 4m 12s
Tests cleanup Run Examples #83: Pull request #94 synchronize by l-kent
October 16, 2023 04:32 3m 44s tests-cleanup
tests-cleanup
October 16, 2023 04:32 3m 44s
Merge pull request #106 from UQ-PAC/zheng-ir-interpreter Run Examples #82: Commit 58bf99e pushed by l-kent
October 16, 2023 03:48 3m 21s main
main
October 16, 2023 03:48 3m 21s
Zheng ir interpreter Run Examples #81: Pull request #106 synchronize by l-kent
October 16, 2023 03:40 3m 42s zheng-ir-interpreter
zheng-ir-interpreter
October 16, 2023 03:40 3m 42s
Merge pull request #104 from UQ-PAC/update-scala Run Examples #80: Commit 024d25c pushed by l-kent
October 16, 2023 03:12 3m 21s main
main
October 16, 2023 03:12 3m 21s
Update scala to 3.3.1 Run Examples #79: Pull request #104 synchronize by l-kent
October 16, 2023 03:11 3m 16s update-scala
update-scala
October 16, 2023 03:11 3m 16s
Merge pull request #99 from UQ-PAC/cntlm-examples Run Examples #78: Commit 8929c41 pushed by l-kent
October 16, 2023 02:56 3m 50s main
main
October 16, 2023 02:56 3m 50s
add example with quantified specs Run Examples #77: Pull request #99 synchronize by l-kent
October 16, 2023 02:55 3m 40s cntlm-examples
cntlm-examples
October 16, 2023 02:55 3m 40s