Skip to content

Actions: nyu-acsys/raven

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
238 workflow runs
238 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

examples: add create method for peterson Builds, tests & co #161: Commit d2ca70a pushed by nrp364
November 10, 2024 15:23 32m 42s dev
dev
November 10, 2024 15:23 32m 42s
fixed ite type-checking bug w/ bool & perm Builds, tests & co #160: Commit a9a1525 pushed by EkanshdeepGupta
November 8, 2024 01:01 33m 4s dev
dev
November 8, 2024 01:01 33m 4s
moved solved bug from bugs to ci Builds, tests & co #159: Commit 91bb68f pushed by EkanshdeepGupta
November 7, 2024 19:02 32m 34s dev
dev
November 7, 2024 19:02 32m 34s
updated ticketlock to be in sync with paper Builds, tests & co #158: Commit 35707a7 pushed by EkanshdeepGupta
November 7, 2024 05:42 32m 22s dev
dev
November 7, 2024 05:42 32m 22s
added initial fix for atomicity check ghost field bug Builds, tests & co #157: Commit 0f99587 pushed by EkanshdeepGupta
November 7, 2024 05:21 33m 24s dev
dev
November 7, 2024 05:21 33m 24s
added bug in atomicity analysis Builds, tests & co #156: Commit 0fbdd7c pushed by EkanshdeepGupta
November 7, 2024 04:58 37m 58s dev
dev
November 7, 2024 04:58 37m 58s
minor change to ticket-lock. Added no-proof version purely for refere… Builds, tests & co #155: Commit d0218e5 pushed by EkanshdeepGupta
November 3, 2024 23:24 6s dev
dev
November 3, 2024 23:24 6s
ticket lock minor changes Builds, tests & co #154: Commit 872c792 pushed by EkanshdeepGupta
November 3, 2024 23:06 7s dev
dev
November 3, 2024 23:06 7s
cosmetics Builds, tests & co #153: Commit 10c098b pushed by wies
November 3, 2024 04:48 7s dev
dev
November 3, 2024 04:48 7s
ticket-lock minor polish Builds, tests & co #152: Commit f0f8876 pushed by EkanshdeepGupta
November 3, 2024 00:37 7s dev
dev
November 3, 2024 00:37 7s
minor edit to ticket-lock Builds, tests & co #151: Commit 1c66826 pushed by EkanshdeepGupta
November 3, 2024 00:19 8s dev
dev
November 3, 2024 00:19 8s
fixed bugs wrt renamings in newly added use_desc.use_binds and use_wi… Builds, tests & co #150: Commit f3154c9 pushed by EkanshdeepGupta
November 2, 2024 23:09 7s dev
dev
November 2, 2024 23:09 7s
fixed minor bug—added witness computations to invariants, not just pr… Builds, tests & co #149: Commit a3f599e pushed by EkanshdeepGupta
November 2, 2024 18:57 7s dev
dev
November 2, 2024 18:57 7s
added invariant version of ticketlock Builds, tests & co #148: Commit aaebb67 pushed by EkanshdeepGupta
November 2, 2024 03:53 8s dev
dev
November 2, 2024 03:53 8s
Implemented inline binding of existential variables while unfolding, … Builds, tests & co #147: Commit 6f17df0 pushed by EkanshdeepGupta
November 1, 2024 20:56 8s dev
dev
November 1, 2024 20:56 8s
some clean up Builds, tests & co #146: Commit ad92a18 pushed by wies
November 1, 2024 01:00 8s dev
dev
November 1, 2024 01:00 8s
B+ tree is working! Builds, tests & co #145: Commit f2ddc42 pushed by wies
November 1, 2024 00:52 8s dev
dev
November 1, 2024 00:52 8s
update examples Builds, tests & co #144: Commit 51b43be pushed by wies
October 31, 2024 20:49 8s dev
dev
October 31, 2024 20:49 8s
Merge pull request #9 from nyu-acsys/heap_validity_no_null_check Builds, tests & co #143: Commit b18039f pushed by EkanshdeepGupta
October 31, 2024 19:51 6s dev
dev
October 31, 2024 19:51 6s
Heap validity no null check Builds, tests & co #142: Pull request #9 opened by EkanshdeepGupta
October 31, 2024 19:51 7s heap_validity_no_null_check
heap_validity_no_null_check
October 31, 2024 19:51 7s
added test for forward_trg_assertions Builds, tests & co #141: Commit 8a6b352 pushed by EkanshdeepGupta
October 31, 2024 19:11 7s heap_validity_no_null_check
heap_validity_no_null_check
October 31, 2024 19:11 7s
Fixed forward_trigger_assertions to be over triggers instead of inv_expr Builds, tests & co #140: Commit 24e60b3 pushed by EkanshdeepGupta
October 31, 2024 19:05 9s heap_validity_no_null_check
heap_validity_no_null_check
October 31, 2024 19:05 9s
minor refactor Builds, tests & co #139: Commit b4c44e4 pushed by EkanshdeepGupta
October 31, 2024 13:28 9s heap_validity_no_null_check
heap_validity_no_null_check
October 31, 2024 13:28 9s
minor refactoring of encoding Builds, tests & co #138: Commit 3321fdd pushed by EkanshdeepGupta
October 31, 2024 06:38 7s heap_validity_no_null_check
heap_validity_no_null_check
October 31, 2024 06:38 7s
finished adding heap_valid_inhale_fn separately from heap_valid_fn Builds, tests & co #137: Commit 7d8b816 pushed by EkanshdeepGupta
October 31, 2024 06:08 8s heap_validity_no_null_check
heap_validity_no_null_check
October 31, 2024 06:08 8s