8000 Workflow runs · vzaliva/cerberus · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: vzaliva/cerberus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
108 workflow runs
108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

initial work on res_set_remove_many_step automation CN-Coq #50: Commit a0ccd84 pushed by vzaliva
March 10, 2025 00:34 31m 23s resource-reasoning
resource-reasoning
March 10, 2025 00:34 31m 23s
command line parisng CN-Coq #49: Commit 3c8ebc3 pushed by vzaliva
March 9, 2025 23:58 31m 39s resource-reasoning
resource-reasoning
March 9, 2025 23:58 31m 39s
Refine reource inference correctness predicates and adjusting proof a… CN-Coq #48: Commit cf9be6e pushed by vzaliva
March 9, 2025 23:08 31m 12s resource-reasoning
resource-reasoning
March 9, 2025 23:08 31m 12s
fixed dependencies for cn-with-coq and cn-dev-watch targts CN-Coq #47: Commit 0b832a5 pushed by vzaliva
March 9, 2025 21:10 34m 55s resource-reasoning
resource-reasoning
March 9, 2025 21:10 34m 55s
streamlining struct_piece_to_resource CN-Coq #46: Commit cf7b384 pushed by kmemarian
March 7, 2025 17:51 35m 57s resource-reasoning
resource-reasoning
March 7, 2025 17:51 35m 57s
streamlining struct_piece_to_resource CN-Coq #45: Commit e13e236 pushed by vzaliva
March 6, 2025 23:41 35m 20s resource-reasoning
resource-reasoning
March 6, 2025 23:41 35m 20s
Coq code reorg, added Implementation. WIP on unfolding predicates. CN-Coq #44: Commit 0efee57 pushed by vzaliva
March 6, 2025 21:36 35m 29s resource-reasoning
resource-reasoning
March 6, 2025 21:36 35m 29s
packing/unpacking reasoning wip CN-Coq #43: Commit 313fd66 pushed by vzaliva
March 5, 2025 02:10 35m 44s resource-reasoning
resource-reasoning
March 5, 2025 02:10 35m 44s
typo fixed CN-Coq #42: Commit a1baefd pushed by vzaliva
March 4, 2025 18:51 36m 1s resource-reasoning
resource-reasoning
March 4, 2025 18:51 36m 1s
incorporating resource_unfold into unfold_step CN-Coq #41: Commit 16dd185 pushed by vzaliva
March 4, 2025 18:35 15m 50s resource-reasoning
resource-reasoning
March 4, 2025 18:35 15m 50s
do not export mucore AST unless --coq-mucore is specified CN-Coq #40: Commit 45b5d62 pushed by vzaliva
March 4, 2025 01:23 35m 0s resource-reasoning
resource-reasoning
March 4, 2025 01:23 35m 0s
formatting 8000 CN-Coq #39: Commit 42ba974 pushed by vzaliva
March 3, 2025 23:15 36m 7s resource-reasoning
resource-reasoning
March 3, 2025 23:15 36m 7s
more verbose messages in automation CN-Coq #38: Commit 1a7099e pushed by vzaliva
March 3, 2025 22:49 25m 55s resource-reasoning
resource-reasoning
March 3, 2025 22:49 25m 55s
--coq-check-proof-log command line option CN-Coq #37: Commit 08e4757 pushed by vzaliva
February 28, 2025 18:35 35m 44s resource-reasoning
resource-reasoning
February 28, 2025 18:35 35m 44s
deetecting do-nothing unfolding steps CN-Coq #36: Commit 46936eb pushed by vzaliva
February 28, 2025 01:57 23m 52s resource-reasoning
resource-reasoning
February 28, 2025 01:57 23m 52s
proof log unit tests enabled CN-Coq #35: Commit 80066b5 pushed by vzaliva
February 27, 2025 02:16 20m 49s resource-reasoning
resource-reasoning
February 27, 2025 02:16 20m 49s
Switching to FSet from MSet (to take advantage of Ltac2.FSet) CN-Coq #34: Commit a8c25cd pushed by vzaliva
February 26, 2025 01:42 9m 15s resource-reasoning
resource-reasoning
February 26, 2025 01:42 9m 15s
more ltac2 automation CN-Coq #33: Commit f1f850e pushed by vzaliva
February 26, 2025 00:14 8m 40s resource-reasoning
resource-reasoning
February 26, 2025 00:14 8m 40s
Ltac2 automation for resource inference CN-Coq #32: Commit 9c84290 pushed by vzaliva
February 25, 2025 02:52 9m 15s resource-reasoning
resource-reasoning
February 25, 2025 02:52 9m 15s
defining res. inf. simple case constraints CN-Coq #31: Commit 625d4f1 pushed by vzaliva
February 22, 2025 00:47 8m 59s resource-reasoning
resource-reasoning
February 22, 2025 00:47 8m 59s
decidable equality wip CN-Coq #30: Commit 47217fc pushed by vzaliva
February 21, 2025 04:19 29m 12s resource-reasoning
resource-reasoning
February 21, 2025 04:19 29m 12s
enable CI on resource-reasoning branch CN-Coq #29: Commit ca0c884 pushed by vzaliva
February 20, 2025 21:43 16m 47s resource-reasoning
resource-reasoning
February 20, 2025 21:43 16m 47s
Resource inference logging (with Coq export) (#878) CN-Coq #28: Commit fe137a7 pushed by vzaliva
February 19, 2025 21:23 41m 24s master
master
February 19, 2025 21:23 41m 24s
Resource inference logging (with Coq export) (#878) CN Spec Testing #10: Commit fe137a7 pushed by vzaliva
February 19, 2025 21:23 9m 35s master
master
February 19, 2025 21:23 9m 35s
Resource inference logging (with Coq export) (#878) Cerberus-CHERI #10: Commit fe137a7 pushed by vzaliva
February 19, 2025 21:23 28m 36s master
master
February 19, 2025 21:23 28m 36s
0