Skip to content

Actions: Johanmyst/SVF

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added functions to check for VFG node existence for specific PAG node… svf-build #53: Commit 00734af pushed by Johanmyst
January 29, 2025 13:45 56s VeriPatch
VeriPatch
January 29, 2025 13:45 56s
Added local installation directory to the ignored git objects svf-build #52: Commit a50776b pushed by Johanmyst
January 21, 2025 18:44 39s VeriPatch
VeriPatch
January 21, 2025 18:44 39s
Fixed explicit type casting; added libaom allocator functions to exta… svf-build #51: Commit 24529f1 pushed by Johanmyst
January 21, 2025 18:43 43s VeriPatch
VeriPatch
January 21, 2025 18:43 43s
Moved reading/writing functions to public class members, similar to o… svf-build #50: Commit 1efab6e pushed by Johanmyst
January 17, 2025 14:38 42s testing
testing
January 17, 2025 14:38 42s
SVF code formatter Docker #7: Commit 7dd3c3d pushed by Johanmyst
January 17, 2025 14:25 2s master
master
January 17, 2025 14:25 2s
SVF code formatter svf-build #49: Commit 7dd3c3d pushed by Johanmyst
January 17, 2025 14:25 13m 22s master
master
January 17, 2025 14:25 13m 22s
SVF code formatter svf-publish #7: Commit 7dd3c3d pushed by Johanmyst
January 17, 2025 14:25 3s master
master
January 17, 2025 14:25 3s
Moved reading/writing functions to public class members, similar to o… svf-build #48: Commit 3dcf6a9 pushed by Johanmyst
January 17, 2025 14:25 43s VeriPatch
VeriPatch
January 17, 2025 14:25 43s
Merge pull request #1572 from jumormt/icfgedge Docker #6: Commit 8370e68 pushed by Johanmyst
October 16, 2024 10:37 4s master
master
October 16, 2024 10:37 4s
Merge pull request #1572 from jumormt/icfgedge svf-publish #6: Commit 8370e68 pushed by Johanmyst
October 16, 2024 10:37 2s master
master
October 16, 2024 10:37 2s
Merge pull request #1572 from jumormt/icfgedge svf-build #47: Commit 8370e68 pushed by Johanmyst
October 16, 2024 10:37 42s master
master
October 16, 2024 10:37 42s
Added defitions for Perlbench & BZip allocation function wrappers svf-build #46: Commit 1c48cc6 pushed by Johanmyst
October 10, 2024 08:16 1m 24s VeriPatch
VeriPatch
October 10, 2024 08:16 1m 24s
SVF code formatter svf-build #45: Commit e815bb5 pushed by Johanmyst
October 10, 2024 07:10 12m 48s master
master
October 10, 2024 07:10 12m 48s
SVF code formatter Docker #5: Commit e815bb5 pushed by Johanmyst
October 10, 2024 07:10 5s master
master
October 10, 2024 07:10 5s
SVF code formatter svf-publish #5: Commit e815bb5 pushed by Johanmyst
October 10, 2024 07:10 2s master
master
October 10, 2024 07:10 2s
Fixed the build system (again) and exported a more useful SVF CMake p… svf-build #44: Commit b641bc2 pushed by Johanmyst
September 10, 2024 15:23 1m 31s VeriPatch
VeriPatch
September 10, 2024 15:23 1m 31s
Fix to finding of Z3 dependency package; more robust finding svf-build #43: Commit 719a807 pushed by Johanmyst
September 6, 2024 13:11 4m 56s VeriPatch
VeriPatch
September 6, 2024 13:11 4m 56s
Fix reading/writing optimised SVFG from/to file; allow building optim… svf-build #42: Commit 96dd944 pushed by Johanmyst
September 6, 2024 13:03 5m 40s VeriPatch
VeriPatch
September 6, 2024 13:03 5m 40s
Added top-level cmake include directory; for explicit adding include … svf-build #41: Commit e8df472 pushed by Johanmyst
August 13, 2024 11:58 17m 32s new_veripatch
new_veripatch
August 13, 2024 11:58 17m 32s
SVF code formatter svf-build #40: Commit 7983f70 pushed by Johanmyst
August 8, 2024 13:25 14m 45s master
master
August 8, 2024 13:25 14m 45s
SVF code formatter Docker #4: Commit 7983f70 pushed by Johanmyst
August 8, 2024 13:25 4s master
master
August 8, 2024 13:25 4s
SVF code formatter svf-publish #4: Commit 7983f70 pushed by Johanmyst
August 8, 2024 13:25 3s master
master
August 8, 2024 13:25 3s
Merge branch 'SVF-tools:master' into VeriPatch svf-build #39: Commit 7f77fb1 pushed by Johanmyst
August 8, 2024 08:21 5m 16s VeriPatch
VeriPatch
August 8, 2024 08:21 5m 16s
Merge branch 'SVF-tools:master' into VeriPatch svf-build #38: Commit 1f14ba1 pushed by Johanmyst
July 31, 2024 15:54 7m 53s VeriPatch
VeriPatch
July 31, 2024 15:54 7m 53s
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