Skip to content

Actions: nyu-acsys/raven

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
323 workflow runs
323 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
midway through adding heap_valid_inhale_fn separately from heap_valid_fn Builds, tests & co #136: Commit 7a80cf3 pushed by EkanshdeepGupta
October 31, 2024 05:01 7s heap_validity_no_null_check
heap_validity_no_null_check
October 31, 2024 05:01 7s
use new user-provided witness feature Builds, tests & co #135: Commit 56f2f9d pushed by wies
October 31, 2024 04:58 7s dev
dev
October 31, 2024 04:58 7s
removed null-check for heap-validity Builds, tests & co #134: Commit 5caaf55 pushed by EkanshdeepGupta
October 31, 2024 04:06 9s heap_validity_no_null_check
heap_validity_no_null_check
October 31, 2024 04:06 9s
Added support for user-provided syntax while folding Builds, tests & co #133: Commit 9820481 pushed by EkanshdeepGupta
October 31, 2024 03:39 6s dev
dev
October 31, 2024 03:39 6s
added trigger to heap valid elem Builds, tests & co #132: Commit 480018c pushed by EkanshdeepGupta
October 31, 2024 02:13 7s dev
dev
October 31, 2024 02:13 7s
added trigger Builds, tests & co #131: Commit 9b4fea4 pushed by EkanshdeepGupta
October 30, 2024 23:02 7s dev
dev
October 30, 2024 23:02 7s
fixed broken tests by making lemmas "auto lemmas" Builds, tests & co #130: Commit 12c26a8 pushed by EkanshdeepGupta
October 30, 2024 22:45 7s dev
dev
October 30, 2024 22:45 7s
cleanup Builds, tests & co #129: Commit 6a7d892 pushed by EkanshdeepGupta
October 30, 2024 22:32 7s dev
dev
October 30, 2024 22:32 7s
fixed some bugs, added path conditions to inv_fn_auto_lemma postconds Builds, tests & co #128: Commit cbfe5fa pushed by EkanshdeepGupta
October 30, 2024 22:17 7s dev
dev
October 30, 2024 22:17 7s
initial implementation of revamped inverse_functions encoding via aut… Builds, tests & co #127: Commit fb68dfd pushed by EkanshdeepGupta
October 30, 2024 21:35 9s dev
dev
October 30, 2024 21:35 9s
added (appropriately substituted) user-provided triggers to translati… Builds, tests & co #126: Commit 44f6792 pushed by EkanshdeepGupta
October 30, 2024 00:21 6s dev
dev
October 30, 2024 00:21 6s
Promoted bug file to ci, added explanation Builds, tests & co #125: Commit 69c0f5d pushed by EkanshdeepGupta
October 29, 2024 23:31 8s dev
dev
October 29, 2024 23:31 8s
Add CI Builds, tests & co #124: Pull request #8 opened by jsalzbergedu
October 29, 2024 22:53 52m 49s ci
ci
October 29, 2024 22:53 52m 49s
Add ocaml compiler version Builds, tests & co #123: Commit 7fa9952 pushed by jsalzbergedu
October 29, 2024 20:44 15m 58s ci
ci
October 29, 2024 20:44 15m 58s
Require only self-hosted Builds, tests & co #122: Commit 836cea8 pushed by jsalzbergedu
October 29, 2024 19:57 37m 31s ci
ci
October 29, 2024 19:57 37m 31s