Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
279 workflow runs
279 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Save init data when compiling + sorted outputs (#304) CI #1087: Commit 8f15618 pushed by NatKarmios
August 3, 2024 00:31 14m 40s master
master
August 3, 2024 00:31 14m 40s
Skip unneeded substitutions CI #1086: Pull request #305 synchronize by NatKarmios
August 3, 2024 00:30 42m 40s N1ark:less-substs
N1ark:less-substs
August 3, 2024 00:30 42m 40s
Rethink Exec Map (#306) CI #1085: Commit c6cc0e4 pushed by NatKarmios
August 3, 2024 00:30 13m 35s master
master
August 3, 2024 00:30 13m 35s
Rethink Exec Map CI #1084: Pull request #306 opened by NatKarmios
August 2, 2024 00:30 43m 3s nat/exec-map-rethink
nat/exec-map-rethink
August 2, 2024 00:30 43m 3s
Skip unneeded substitutions CI #1083: Pull request #305 opened by N1ark
July 30, 2024 22:32 43m 22s N1ark:less-substs
N1ark:less-substs
July 30, 2024 22:32 43m 22s
Save init data when compiling + sorted outputs CI #1082: Pull request #304 synchronize by NatKarmios
July 26, 2024 17:06 43m 35s N1ark:compile-initdata
N1ark:compile-initdata
July 26, 2024 17:06 43m 35s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency (#303) CI #1081: Commit 364bfdf pushed by NatKarmios
July 21, 2024 12:37 16m 4s master
master
July 21, 2024 12:37 16m 4s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1080: Pull request #303 synchronize by NatKarmios
July 21, 2024 00:43 42m 40s nat/smt
nat/smt
July 21, 2024 00:43 42m 40s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1079: Pull request #303 synchronize by NatKarmios
July 20, 2024 17:03 42m 21s nat/smt
nat/smt
July 20, 2024 17:03 42m 21s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1078: Pull request #303 synchronize by NatKarmios
July 20, 2024 17:00 42m 35s nat/smt
nat/smt
July 20, 2024 17:00 42m 35s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1077: Pull request #303 synchronize by NatKarmios
July 19, 2024 13:32 42m 56s nat/smt
nat/smt
July 19, 2024 13:32 42m 56s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1076: Pull request #303 synchronize by NatKarmios
July 18, 2024 23:53 42m 31s nat/smt
nat/smt
July 18, 2024 23:53 42m 31s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1075: Pull request #303 synchronize by NatKarmios
July 18, 2024 22:21 7m 46s nat/smt
nat/smt
July 18, 2024 22:21 7m 46s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1074: Pull request #303 synchronize by NatKarmios
July 18, 2024 15:47 6m 14s nat/smt
nat/smt
July 18, 2024 15:47 6m 14s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1073: Pull request #303 synchronize by NatKarmios
July 18, 2024 13:46 8m 17s nat/smt
nat/smt
July 18, 2024 13:46 8m 17s
Save init data when compiling + sorted outputs CI #1072: Pull request #304 opened by N1ark
July 17, 2024 20:18 42m 18s N1ark:compile-initdata
N1ark:compile-initdata
July 17, 2024 20:18 42m 18s
Ensure fixes are not lost when they lead to errors (#302) CI #1071: Commit 51cf7cf pushed by giltho
July 17, 2024 15:18 29m 38s master
master
July 17, 2024 15:18 29m 38s
Ensure fixes are not lost when they lead to errors CI #1070: Pull request #302 synchronize by giltho
July 17, 2024 14:50 58m 46s N1ark:biab-fix-fixes
N1ark:biab-fix-fixes
July 17, 2024 14:50 58m 46s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1069: Pull request #303 synchronize by NatKarmios
July 17, 2024 12:09 1h 3m 54s nat/smt
nat/smt
July 17, 2024 12:09 1h 3m 54s
Ensure fixes are not lost when they lead to errors CI #1068: Pull request #302 synchronize by N1ark
July 17, 2024 10:40 47m 14s N1ark:biab-fix-fixes
N1ark:biab-fix-fixes
July 17, 2024 10:40 47m 14s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1067: Pull request #303 synchronize by NatKarmios
July 17, 2024 00:25 2m 54s nat/smt
nat/smt
July 17, 2024 00:25 2m 54s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1066: Pull request #303 synchronize by NatKarmios
July 16, 2024 22:59 8m 41s nat/smt
nat/smt
July 16, 2024 22:59 8m 41s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1065: Pull request #303 synchronize by NatKarmios
July 16, 2024 22:36 7m 57s nat/smt
nat/smt
July 16, 2024 22:36 7m 57s
Use SMTLIB instead of Z3 bindings; remove Z3 lib dependency CI #1064: Pull request #303 opened by NatKarmios
July 16, 2024 22:35 8m 8s nat/smt
nat/smt
July 16, 2024 22:35 8m 8s
kvmap is back CI #1063: Commit 79e4f12 pushed by giltho
July 16, 2024 10:42 24m 6s master
master
July 16, 2024 10:42 24m 6s