Skip to content

Actions: SVF-tools/Teaching-Software-Analysis

Actions

svf-teaching

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
svf-teaching.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

sync with SVF svf-teaching #105: Commit 16880ed pushed by jumormt
October 22, 2024 05:59 2m 55s main
main
October 22, 2024 05:59 2m 55s
sync with SVF svf-teaching #104: Commit 8f3d326 pushed by yuleisui
October 6, 2024 09:55 3m 4s main
main
October 6, 2024 09:55 3m 4s
update test ground truth svf-teaching #103: Commit 06097ae pushed by jumormt
September 25, 2024 01:52 2m 55s main
main
September 25, 2024 01:52 2m 55s
add test svf-teaching #101: Commit d3cd3e5 pushed by jumormt
September 4, 2024 08:32 6m 3s main
main
September 4, 2024 08:32 6m 3s
sync with SVF svf-teaching #100: Commit 701d502 pushed by jumormt
August 29, 2024 00:35 3m 17s main
main
August 29, 2024 00:35 3m 17s
sync with SVF svf-teaching #99: Commit eee959a pushed by jumormt
August 28, 2024 10:41 3m 7s main
main
August 28, 2024 10:41 3m 7s
sync with SVF svf-teaching #98: Commit 6c1a9b5 pushed by jumormt
August 23, 2024 02:10 3m 1s main
main
August 23, 2024 02:10 3m 1s
Update launch.json svf-teaching #97: Commit f93bb66 pushed by jumormt
August 22, 2024 01:40 3m 13s main
main
August 22, 2024 01:40 3m 13s
Initial Devcontainer Setup svf-teaching #96: Pull request #48 synchronize by sebasptsch
August 12, 2024 00:58 3m 6s sebasptsch:main
sebasptsch:main
August 12, 2024 00:58 3m 6s
Initial Devcontainer Setup svf-teaching #95: Pull request #48 synchronize by sebasptsch
August 12, 2024 00:57 3m 21s sebasptsch:main
sebasptsch:main
August 12, 2024 00:57 3m 21s
Create docker-publish-arm.yml svf-teaching #93: Commit 786cd1a pushed by jumormt
August 2, 2024 06:34 3m 22s main
main
August 2, 2024 06:34 3m 22s
Merge pull request #46 from jumormt/main svf-teaching #92: Commit 94c05d9 pushed by jumormt
July 23, 2024 08:13 2m 53s main
main
July 23, 2024 08:13 2m 53s
update svf-teaching #91: Pull request #46 opened by jumormt
July 23, 2024 08:13 3m 9s jumormt:main
jumormt:main
July 23, 2024 08:13 3m 9s
Update Dockerfile svf-teaching #90: Commit 8a66036 pushed by jumormt
May 28, 2024 02:54 3m 5s main
main
May 28, 2024 02:54 3m 5s
Update CMakeLists.txt svf-teaching #89: Commit 8b6d555 pushed by jumormt
May 13, 2024 10:35 3m 3s main
main
May 13, 2024 10:35 3m 3s
Update CMakeLists.txt svf-teaching #88: Commit a574270 pushed by jumormt
May 13, 2024 09:41 1m 11s main
main
May 13, 2024 09:41 1m 11s
Update Dockerfile svf-teaching #87: Commit 61f1072 pushed by yuleisui
May 1, 2024 04:30 2m 53s main
main
May 1, 2024 04:30 2m 53s
Update svf-teaching.yml svf-teaching #86: Commit b15848a pushed by jumormt
April 30, 2024 12:19 3m 39s main
main
April 30, 2024 12:19 3m 39s
Update Dockerfile svf-teaching #85: Commit 4e7ee01 pushed by yuleisui
April 29, 2024 13:43 3m 17s main
main
April 29, 2024 13:43 3m 17s
Update svf-teaching.yml svf-teaching #84: Commit 7f17eb2 pushed by jumormt
April 28, 2024 06:39 3m 0s main
main
April 28, 2024 06:39 3m 0s
Update CMakeLists.txt svf-teaching #83: Commit 78ea1f1 pushed by jumormt
March 6, 2024 10:30 3m 11s main
main
March 6, 2024 10:30 3m 11s
Update CodeGraph.cpp svf-teaching #82: Commit 4a2f761 pushed by jumormt
March 6, 2024 07:17 4m 11s main
main
March 6, 2024 07:17 4m 11s
use release build svf-teaching #81: Commit 05bb06a pushed by jumormt
February 16, 2024 03:01 3m 23s main
main
February 16, 2024 03:01 3m 23s
use release build svf-teaching #80: Commit 4992201 pushed by jumormt
February 16, 2024 02:26 3m 49s main
main
February 16, 2024 02:26 3m 49s
fix cmake in task.json and update dockerfile svf-teaching #79: Commit c566eb2 pushed by jumormt
February 16, 2024 01:33 3m 41s main
main
February 16, 2024 01:33 3m 41s