Skip to content

Actions: GillianPlatform/Gillian

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
289 workflow runs
289 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add consume & produce commands (#309) CI #1094: Commit b7e4658 pushed by giltho
August 15, 2024 13:39 16m 26s master
master
August 15, 2024 13:39 16m 26s
add consume & produce commands CI #1093: Pull request #309 opened by giltho
August 8, 2024 06:34 43m 37s inh-ex
inh-ex
August 8, 2024 06:34 43m 37s
Warn & document mismatching CBMC version (#308) CI #1092: Commit cff2c70 pushed by NatKarmios
August 5, 2024 16:49 12m 52s master
master
August 5, 2024 16:49 12m 52s
Warn & document mismatching CBMC version CI #1091: Pull request #308 opened by NatKarmios
August 5, 2024 16:32 43m 10s nat/cbmc-version
nat/cbmc-version
August 5, 2024 16:32 43m 10s
CI: fix Sphinx not being built CI #1090: Commit 0460dce pushed by NatKarmios
August 5, 2024 10:23 12m 34s master
master
August 5, 2024 10:23 12m 34s
Skip substitutions if empty (#305) CI #1089: Commit 8ed4c3b pushed by NatKarmios
August 3, 2024 00:31 20s master
master
August 3, 2024 00:31 20s
Skip unneeded substitutions CI #1088: Pull request #305 synchronize by NatKarmios
August 3, 2024 00:31 43m 7s N1ark:less-substs
N1ark:less-substs
August 3, 2024 00:31 43m 7s
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