Skip to content

Actions: Johanmyst/SVF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Fix reading/writing optimised SVFG from/to file; allow building optim… svf-build #37: Commit 96dd944 pushed by Johanmyst
June 18, 2024 16:09 4m 39s VeriPatch
VeriPatch
June 18, 2024 16:09 4m 39s
Fix reading/writing optimised SVFG from/to file; allow building optim… svf-build #36: Commit 3fb7a5e pushed by Johanmyst
June 18, 2024 16:08 5m 14s VeriPatch
VeriPatch
June 18, 2024 16:08 5m 14s
Merge branch 'SVF-tools:master' into VeriPatch svf-build #35: Commit f610110 pushed by Johanmyst
June 18, 2024 16:06 5m 42s VeriPatch
VeriPatch
June 18, 2024 16:06 5m 42s
Fix reading/writing optimised SVFG from/to file; allow building optim… svf-build #34: Commit 3fb7a5e pushed by Johanmyst
June 18, 2024 16:05 8m 43s VeriPatch
VeriPatch
June 18, 2024 16:05 8m 43s
Fix reading/writing optimised SVFG from/to file; allow building optim… svf-build #33: Commit 709ad83 pushed by Johanmyst
June 18, 2024 16:02 5m 24s VeriPatch
VeriPatch
June 18, 2024 16:02 5m 24s
Fix reading/writing optimised SVFG from/to file; allow building optim… svf-build #32: Commit b622edd pushed by Johanmyst
June 18, 2024 15:55 5m 21s VeriPatch
VeriPatch
June 18, 2024 15:55 5m 21s
SVF code formatter svf-build #31: Commit 3a3d845 pushed by Johanmyst
June 18, 2024 15:52 14m 37s master
master
June 18, 2024 15:52 14m 37s
SVF code formatter Docker #3: Commit 3a3d845 pushed by Johanmyst
June 18, 2024 15:52 4s master
master
June 18, 2024 15:52 4s
SVF code formatter svf-publish #3: Commit 3a3d845 pushed by Johanmyst
June 18, 2024 15:52 3s master
master
June 18, 2024 15:52 3s
Added top-level cmake include directory; for explicit adding include … svf-build #30: Commit e51e6c5 pushed by Johanmyst
June 6, 2024 06:50 8m 40s fix_opt_svfg
fix_opt_svfg
June 6, 2024 06:50 8m 40s
Added top-level cmake include directory; for explicit adding include … svf-build #29: Commit ed15719 pushed by Johanmyst
June 6, 2024 06:49 18m 11s programmmable_opts
programmmable_opts
June 6, 2024 06:49 18m 11s
Added top-level cmake include directory; for explicit adding include … svf-build #28: Commit af24636 pushed by Johanmyst
June 6, 2024 06:47 18m 5s VeriPatch
VeriPatch
June 6, 2024 06:47 18m 5s
Added top-level cmake include directory; for explicit adding include … svf-build #27: Commit 0030318 pushed by Johanmyst
June 6, 2024 06:46 16m 21s VeriPatch
VeriPatch
June 6, 2024 06:46 16m 21s
Merge branch 'SVF-tools:master' into VeriPatch svf-build #26: Commit 8cf9025 pushed by Johanmyst
June 6, 2024 06:45 16m 16s VeriPatch
VeriPatch
June 6, 2024 06:45 16m 16s
Merge pull request #1480 from jumormt/master Docker #2: Commit 99a19e9 pushed by Johanmyst
June 6, 2024 06:42 2s master
master
June 6, 2024 06:42 2s
Merge pull request #1480 from jumormt/master svf-publish #2: Commit 99a19e9 pushed by Johanmyst
June 6, 2024 06:42 2s master
master
June 6, 2024 06:42 2s
Merge pull request #1480 from jumormt/master svf-build #25: Commit 99a19e9 pushed by Johanmyst
June 6, 2024 06:42 14m 45s master
master
June 6, 2024 06:42 14m 45s
Added top-level cmake include directory; for explicit adding include … svf-build #24: Commit 0030318 pushed by Johanmyst
June 6, 2024 06:41 18m 3s VeriPatch
VeriPatch
June 6, 2024 06:41 18m 3s
Added top-level cmake include directory; for explicit adding include … svf-build #23: Commit 3b03f1d pushed by Johanmyst
June 3, 2024 10:51 6m 26s cmake
cmake
June 3, 2024 10:51 6m 26s
Added top-level cmake include directory; for explicit adding include … svf-build #22: Commit 5ab1c31 pushed by Johanmyst
June 3, 2024 10:41 5m 23s cmake
cmake
June 3, 2024 10:41 5m 23s
Added top-level cmake include directory; for explicit adding include … svf-build #21: Commit af66690 pushed by Johanmyst
June 3, 2024 10:40 1m 28s cmake
cmake
June 3, 2024 10:40 1m 28s
Added top-level cmake include directory; for explicit adding include … svf-build #20: Commit f35bf0d pushed by Johanmyst
June 3, 2024 08:32 5m 20s cmake
cmake
June 3, 2024 08:32 5m 20s
Added top-level cmake include directory; for explicit adding include … svf-build #19: Commit e51e6c5 pushed by Johanmyst
May 27, 2024 15:36 6m 35s VeriPatch
VeriPatch
May 27, 2024 15:36 6m 35s
Added top-level cmake include directory; for explicit adding include … svf-build #18: Commit e51e6c5 pushed by Johanmyst
May 27, 2024 15:35 7m 59s cmake
cmake
May 27, 2024 15:35 7m 59s
Disabled LTO as it unintentionally hides some symbols (i.e. protected… svf-build #17: Commit f20acdb pushed by Johanmyst
May 14, 2024 13:51 19m 4s VeriPatch
VeriPatch
May 14, 2024 13:51 19m 4s