Skip to content

Actions: prosyslab/patron

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
175 workflow runs
175 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[options] add strong pattern check #268: Commit a02b64f pushed by spearo2
December 29, 2024 09:06 26s main
main
December 29, 2024 09:06 26s
[parser] reset Cil cache before parsing new alarm check #267: Commit f87e50a pushed by spearo2
November 14, 2024 03:45 4m 26s main
main
November 14, 2024 03:45 4m 26s
[absPat] fix typo check #266: Commit fc253e3 pushed by spearo2
November 10, 2024 07:30 11m 34s main
main
November 10, 2024 07:30 11m 34s
[log] mention if process finishes check #265: Commit fece546 pushed by spearo2
October 30, 2024 04:58 4m 21s main
main
October 30, 2024 04:58 4m 21s
[patch] enhance the readibility of the log check #264: Commit 69b410d pushed by spearo2
October 29, 2024 16:26 4m 27s main
main
October 29, 2024 16:26 4m 27s
[parser] notify if facts file is broken check #263: Commit 1204cd9 pushed by spearo2
October 29, 2024 04:49 4m 12s main
main
October 29, 2024 04:49 4m 12s
[bugPatDB] optimize patterns check #262: Commit e613ca6 pushed by spearo2
October 22, 2024 04:57 4m 49s main
main
October 22, 2024 04:57 4m 49s
[absPat] include altfullpat check #261: Commit 25d9742 pushed by spearo2
October 17, 2024 13:59 11m 13s main
main
October 17, 2024 13:59 11m 13s
[bugPatDB] optimize if altpat is equal to abspat check #260: Commit 72ed99e pushed by spearo2
October 15, 2024 08:36 21s main
main
October 15, 2024 08:36 21s
[absPat] add full pattern check #259: Commit d562386 pushed by spearo2
October 15, 2024 04:24 21s main
main
October 15, 2024 04:24 21s
[absPat] check exp-symbols for patpat check #258: Commit bae64eb pushed by spearo2
September 23, 2024 10:53 4m 30s main
main
September 23, 2024 10:53 4m 30s
[absPat] more generalization on patpat check #257: Commit 14bae00 pushed by spearo2
September 23, 2024 07:08 4m 26s main
main
September 23, 2024 07:08 4m 26s
[Cil] use ProsysCil check #256: Commit d90caa1 pushed by spearo2
September 16, 2024 16:36 6m 55s main
main
September 16, 2024 16:36 6m 55s
[doEdit] generalize print functions check #255: Commit 55a7c42 pushed by spearo2
September 9, 2024 07:34 4m 28s main
main
September 9, 2024 07:34 4m 28s
[doEdit] generalize logging functions on patch check #254: Commit 60b155e pushed by spearo2
September 3, 2024 01:51 4m 12s main
main
September 3, 2024 01:51 4m 12s
[doEdit] more patch generalization strategies check #253: Commit 9ca6678 pushed by spearo2
September 2, 2024 08:04 4m 24s main
main
September 2, 2024 08:04 4m 24s
[dug] handle uncaught Not Found exception on reverse directed shortes… check #252: Commit 7900e46 pushed by spearo2
August 29, 2024 03:38 4m 19s main
main
August 29, 2024 03:38 4m 19s
[doEdit] generalize patch location check #251: Commit 7f004a9 pushed by spearo2
August 27, 2024 06:28 11m 12s main
main
August 27, 2024 06:28 11m 12s
[absPat] generalize patch pattern check #250: Commit c96a7cd pushed by spearo2
August 14, 2024 06:38 4m 41s main
main
August 14, 2024 06:38 4m 41s
[parser] recompute DUEdge check #249: Commit f146813 pushed by spearo2
August 9, 2024 08:06 11m 21s main
main
August 9, 2024 08:06 11m 21s
[z3env] update fact file name check #248: Commit 25d4c88 pushed by spearo2
August 1, 2024 01:20 11m 9s main
main
August 1, 2024 01:20 11m 9s
[doEdit] don't locally declare function calls check #247: Commit 56b56b7 pushed by spearo2
July 23, 2024 01:54 4m 14s main
main
July 23, 2024 01:54 4m 14s
[doEdit] declear tmp variables if does not exist in donee check #246: Commit a8efab1 pushed by spearo2
July 22, 2024 08:30 5m 4s main
main
July 22, 2024 08:30 5m 4s
[patch] continue with error check #245: Commit 77ca1ec pushed by spearo2
July 19, 2024 01:37 5m 8s main
main
July 19, 2024 01:37 5m 8s
[doEdit] change the default insert location to the safest check #244: Commit e2f246d pushed by spearo2
July 18, 2024 04:49 4m 28s main
main
July 18, 2024 04:49 4m 28s