Skip to content

Actions: prosyslab/patron

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[diff] rm global diffs for experiment consistency check #243: Commit ce2334a pushed by spearo2
July 12, 2024 08:33 11m 44s main
main
July 12, 2024 08:33 11m 44s
[absPat] remove comments check #242: Commit f358602 pushed by spearo2
June 25, 2024 19:20 4m 22s main
main
June 25, 2024 19:20 4m 22s
[absPat] remove unnecessary DUEdges from pattern check #241: Commit 7e44708 pushed by spearo2
June 25, 2024 19:17 4m 15s main
main
June 25, 2024 19:17 4m 15s
[absPat] moderate pattern simplifying mechanism on DB check #240: Commit b6475e5 pushed by spearo2
June 25, 2024 18:25 4m 16s main
main
June 25, 2024 18:25 4m 16s
[editFunction] fix api usage check #239: Commit 028f931 pushed by spearo2
June 25, 2024 14:51 5m 11s main
main
June 25, 2024 14:51 5m 11s
[patch] support incomplete UpdateStmt check #238: Commit aae5706 pushed by spearo2
June 23, 2024 23:27 4m 14s main
main
June 23, 2024 23:27 4m 14s
[z3env] add ReadCallExp relation check #237: Commit 3c190d0 pushed by spearo2
June 20, 2024 10:02 9m 24s main
main
June 20, 2024 10:02 9m 24s
[Patron] clean up implementation for artifact check #236: Commit 30be1a6 pushed by oojahooo
June 4, 2024 17:26 9m 12s main
main
June 4, 2024 17:26 9m 12s
[Refactoring] remove useless code check #235: Commit a4dbc51 pushed by oojahooo
May 20, 2024 06:32 9m 45s main
main
May 20, 2024 06:32 9m 45s
[patch] move donee's parsing location check #234: Commit 3e300c8 pushed by spearo2
May 3, 2024 10:58 4m 26s main
main
May 3, 2024 10:58 4m 26s
[patch] fix patch being accumulated on one file check #233: Commit 03f72c2 pushed by spearo2
May 2, 2024 13:42 4m 26s main
main
May 2, 2024 13:42 4m 26s
[patch] make sure Alarm.map is not a target check #232: Commit 888c70a pushed by spearo2
April 29, 2024 02:54 4m 51s main
main
April 29, 2024 02:54 4m 51s
[DB] add patron-DB check #231: Commit 86c684c pushed by spearo2
April 26, 2024 06:16 4m 19s main
main
April 26, 2024 06:16 4m 19s
[Handler] raise exception instead of using L.error check #230: Commit 3d5d697 pushed by oojahooo
April 25, 2024 11:28 4m 11s main
main
April 25, 2024 11:28 4m 11s
[Refactor] refactor exception handler check #229: Commit 3648789 pushed by oojahooo
April 25, 2024 11:03 4m 24s main
main
April 25, 2024 11:03 4m 24s
[Parser] handle AlarmDivIOExp check #228: Commit 835be3c pushed by oojahooo
April 25, 2024 06:36 4m 50s main
main
April 25, 2024 06:36 4m 50s
[patch] more exception handling check #227: Commit dd3bf3c pushed by spearo2
April 25, 2024 03:52 4m 39s main
main
April 25, 2024 03:52 4m 39s
[patch] work-around with ambiguous exception handling check #226: Commit 567de12 pushed by spearo2
April 25, 2024 00:58 4m 11s main
main
April 25, 2024 00:58 4m 11s
[Parser] hotfix for io check #225: Commit b77d8e2 pushed by oojahooo
April 24, 2024 14:10 4m 44s main
main
April 24, 2024 14:10 4m 44s
[Patron] make DB check #224: Commit 60a3b54 pushed by oojahooo
April 24, 2024 13:05 4m 23s main
main
April 24, 2024 13:05 4m 23s
[Z3] set timeout of solving check #223: Commit d7294ed pushed by oojahooo
April 24, 2024 01:52 9m 11s main
main
April 24, 2024 01:52 9m 11s
[AbsPat] use only minimal lvals check #222: Commit f6addce pushed by oojahooo
April 3, 2024 11:29 4m 26s main
main
April 3, 2024 11:29 4m 26s
[AbsDiff] add SLoop check #221: Commit bad5055 pushed by oojahooo
April 1, 2024 08:35 4m 18s main
main
April 1, 2024 08:35 4m 18s
[AbsPat] add logging the number of relations check #220: Commit c30e69b pushed by oojahooo
April 1, 2024 04:18 4m 16s main
main
April 1, 2024 04:18 4m 16s
[Z3env] parametrize size of finitedomain check #219: Commit cbaffaa pushed by oojahooo
April 1, 2024 03:50 4m 33s main
main
April 1, 2024 03:50 4m 33s