Skip to content

Actions: secure-software-engineering/phasar

pre-commit

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
324 workflow runs
324 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1038: Pull request #733 synchronize by fabianbs96
November 10, 2024 18:43 26s f-IterativeIDESolver
November 10, 2024 18:43 26s
Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1037: Pull request #733 synchronize by fabianbs96
November 8, 2024 09:00 2m 46s f-IterativeIDESolver
November 8, 2024 09:00 2m 46s
Opaque Pointers Integration
pre-commit #1036: Pull request #730 synchronize by fabianbs96
October 24, 2024 19:05 23s fabianbs96:f-clang-15
October 24, 2024 19:05 23s
Opaque Pointers Integration
pre-commit #1035: Pull request #730 synchronize by fabianbs96
October 24, 2024 18:49 18s fabianbs96:f-clang-15
October 24, 2024 18:49 18s
Opaque Pointers Integration
pre-commit #1034: Pull request #730 synchronize by fabianbs96
October 24, 2024 18:36 29s fabianbs96:f-clang-15
October 24, 2024 18:36 29s
Opaque Pointers Integration
pre-commit #1033: Pull request #730 synchronize by fabianbs96
October 24, 2024 18:21 2m 40s fabianbs96:f-clang-15
October 24, 2024 18:21 2m 40s
Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1030: Pull request #733 synchronize by fabianbs96
October 23, 2024 05:54 25s f-IterativeIDESolver
October 23, 2024 05:54 25s
Make Compose and Join optional in EdgeFunction
pre-commit #1029: Pull request #736 synchronize by fabianbs96
October 22, 2024 17:27 19s f-OptionalEFComposeJoin
October 22, 2024 17:27 19s
Split LLVMBasedICFG
pre-commit #1028: Pull request #726 synchronize by fabianbs96
October 22, 2024 16:58 2m 57s f-SplitLLVMBasedICFG
October 22, 2024 16:58 2m 57s
Refactor getAsJson()
pre-commit #1027: Pull request #725 synchronize by fabianbs96
October 22, 2024 16:26 2m 39s fabianbs96:f-GetAsJsonRefactor
October 22, 2024 16:26 2m 39s
Make Compose and Join optional in EdgeFunction
pre-commit #1026: Pull request #736 opened by fabianbs96
October 21, 2024 18:43 2m 43s f-OptionalEFComposeJoin
October 21, 2024 18:43 2m 43s
Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1025: Pull request #733 synchronize by fabianbs96
October 21, 2024 17:41 18s f-IterativeIDESolver
October 21, 2024 17:41 18s
Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1024: Pull request #733 synchronize by fabianbs96
October 21, 2024 17:32 19s f-IterativeIDESolver
October 21, 2024 17:32 19s
Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1023: Pull request #733 synchronize by fabianbs96
October 21, 2024 17:30 19s f-IterativeIDESolver
October 21, 2024 17:30 19s
Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1022: Pull request #733 synchronize by fabianbs96
October 21, 2024 17:26 18s f-IterativeIDESolver
October 21, 2024 17:26 18s
Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1021: Pull request #733 synchronize by fabianbs96
October 21, 2024 17:18 22s f-IterativeIDESolver
October 21, 2024 17:18 22s
Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1020: Pull request #733 synchronize by fabianbs96
October 21, 2024 17:13 2m 47s f-IterativeIDESolver
October 21, 2024 17:13 2m 47s
Sparse IDE
pre-commit #1019: Pull request #714 synchronize by fabianbs96
October 14, 2024 06:58 2m 43s f-SparseIDE
October 14, 2024 06:58 2m 43s
Refactor getAsJson()
pre-commit #1018: Pull request #725 synchronize by fabianbs96
October 4, 2024 11:24 2m 41s fabianbs96:f-GetAsJsonRefactor
October 4, 2024 11:24 2m 41s
Split LLVMBasedICFG
pre-commit #1017: Pull request #726 synchronize by fabianbs96
October 4, 2024 11:24 2m 40s f-SplitLLVMBasedICFG
October 4, 2024 11:24 2m 40s
Opaque Pointers Integration
pre-commit #1016: Pull request #730 synchronize by fabianbs96
October 4, 2024 11:23 2m 44s fabianbs96:f-clang-15
October 4, 2024 11:23 2m 44s
Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1015: Pull request #733 synchronize by fabianbs96
October 4, 2024 11:23 2m 44s f-IterativeIDESolver
October 4, 2024 11:23 2m 44s
F model dataflow for libraries
pre-commit #1014: Pull request #731 synchronize by fabianbs96
October 4, 2024 10:54 2m 41s fabianbs96:f-model-dataflow-for-libraries
October 4, 2024 10:54 2m 41s