Skip to content

Actions: secure-software-engineering/phasar

pre-commit

Actions

Loading...
Loading

Create status badge

Loading
209 workflow runs
209 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Pull in the IDESolver++ (aka. IterativeIDESolver)
pre-commit #1013: Pull request #733 opened by fabianbs96
September 26, 2024 17:13 2m 48s f-IterativeIDESolver
September 26, 2024 17:13 2m 48s
F model dataflow for libraries
pre-commit #1008: Pull request #731 synchronize by fabianbs96
August 25, 2024 09:47 2m 45s fabianbs96:f-model-dataflow-for-libraries
August 25, 2024 09:47 2m 45s
Opaque Pointers Integration
pre-commit #1006: Pull request #730 synchronize by fabianbs96
August 9, 2024 16:53 20s fabianbs96:f-clang-15
August 9, 2024 16:53 20s
Refactor getAsJson()
pre-commit #1005: Pull request #725 synchronize by fabianbs96
August 9, 2024 16:52 2m 48s fabianbs96:f-GetAsJsonRefactor
August 9, 2024 16:52 2m 48s