Skip to content

Actions: mit-plv/bedrock2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
632 workflow runs
632 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update tested branch Update tested branch #507: Scheduled
November 18, 2023 07:11 24s master
master
November 18, 2023 07:11 24s
Update tested branch Update tested branch #506: Scheduled
November 17, 2023 07:12 20s master
master
November 17, 2023 07:12 20s
update stats script Coq #1236: Commit 463e132 pushed by samuelgruetter
November 17, 2023 01:43 1h 18m 0s master
master
November 17, 2023 01:43 1h 18m 0s
Update tested branch Update tested branch #505: Scheduled
November 16, 2023 07:12 18m 47s master
master
November 16, 2023 07:12 18m 47s
make sure four exported sample C files are accepted by gcc Coq #1235: Commit 34588d4 pushed by samuelgruetter
November 16, 2023 04:41 1h 18m 53s master
master
November 16, 2023 04:41 1h 18m 53s
Crit-bit trees Coq #1234: Pull request #387 opened by vfukala
November 16, 2023 00:55 1h 18m 38s vfukala:critbit
vfukala:critbit
November 16, 2023 00:55 1h 18m 38s
Update tested branch Update tested branch #504: Scheduled
November 15, 2023 07:12 21s master
master
November 15, 2023 07:12 21s
reactivate bst_contains, using functionpost instead of manual post Coq #1233: Commit 7aed5c1 pushed by samuelgruetter
November 15, 2023 04:47 1h 13m 43s master
master
November 15, 2023 04:47 1h 13m 43s
bst_add automation: down to just loop invariant + 1 line of inline ltac Coq #1232: Commit 0e03c17 pushed by samuelgruetter
November 15, 2023 00:59 2h 21m 34s master
master
November 15, 2023 00:59 2h 21m 34s
introduce packaged_mem_clause_marker so that will_merge_back_later Coq #1231: Commit 9a79384 pushed by samuelgruetter
November 14, 2023 18:42 1h 15m 33s master
master
November 14, 2023 18:42 1h 15m 33s
is_emp for sepapps of holes and canceling sepapps Coq #1230: Commit eac5030 pushed by samuelgruetter
November 14, 2023 07:58 1h 19m 59s master
master
November 14, 2023 07:58 1h 19m 59s
Update tested branch Update tested branch #503: Scheduled
November 14, 2023 07:12 14m 23s master
master
November 14, 2023 07:12 14m 23s
new safe_to_cancel mechanism Coq #1229: Commit 743cfda pushed by samuelgruetter
November 14, 2023 00:00 2h 45m 25s master
master
November 14, 2023 00:00 2h 45m 25s
first sketch of bst_add proof, not yet very automated Coq #1228: Commit 5471074 pushed by samuelgruetter
November 13, 2023 07:27 3h 6m 33s master
master
November 13, 2023 07:27 3h 6m 33s
Update tested branch Update tested branch #502: Scheduled
November 13, 2023 07:12 11m 2s master
master
November 13, 2023 07:12 11m 2s
Update tested branch Update tested branch #501: Scheduled
November 12, 2023 07:12 2m 5s master
master
November 12, 2023 07:12 2m 5s
wip tree_set Coq #1227: Commit 4c9f9cb pushed by samuelgruetter
November 12, 2023 06:01 1h 16m 10s master
master
November 12, 2023 06:01 1h 16m 10s
Update tested branch Update tested branch #500: Scheduled
November 11, 2023 07:11 1h 1m 8s master
master
November 11, 2023 07:11 1h 1m 8s
wip tree_set, but outermost indirection complicates _use_functionpost, Coq #1226: Commit 4012ea5 pushed by samuelgruetter
November 10, 2023 23:15 2h 33m 59s master
master
November 10, 2023 23:15 2h 33m 59s
Update tested branch Update tested branch #499: Scheduled
November 10, 2023 07:12 6m 56s master
master
November 10, 2023 07:12 6m 56s
Update tested branch Update tested branch #498: Scheduled
November 9, 2023 07:12 10m 6s master
master
November 9, 2023 07:12 10m 6s
bump coqutil, increasing minimum Coq version to 8.17 Coq #1225: Commit 8c5d2e8 pushed by samuelgruetter
November 9, 2023 00:19 1h 20m 15s master
master
November 9, 2023 00:19 1h 20m 15s
how to init a sepapps from a byte buffer Coq #1224: Commit 11eec9f pushed by samuelgruetter
November 8, 2023 22:53 1h 18m 35s master
master
November 8, 2023 22:53 1h 18m 35s
Merge pull request #386 from SkySkimmer/forall2nil Coq #1223: Commit c2be9b3 pushed by samuelgruetter
November 8, 2023 14:25 1h 35m 40s master
master
November 8, 2023 14:25 1h 35m 40s
Use List.Forall2_nil instead of List.Forall2_refl Coq #1222: Pull request #386 opened by SkySkimmer
November 8, 2023 12:52 1h 8m 5s SkySkimmer:forall2nil
SkySkimmer:forall2nil
November 8, 2023 12:52 1h 8m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-11-08 or the other filters available.