Skip to content

Actions: nyu-acsys/raven

Actions

Builds, tests & co

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Test the ci on skolem Builds, tests & co #121: Commit a209c93 pushed by jsalzbergedu
October 29, 2024 19:55 1m 24s ci
ci
October 29, 2024 19:55 1m 24s
Add ci to the ci workflows Builds, tests & co #120: Commit 1fc7eea pushed by jsalzbergedu
October 29, 2024 18:11 7s ci
ci
October 29, 2024 18:11 7s
added inst_mod_frac_field bug Builds, tests & co #119: Commit e3acf41 pushed by EkanshdeepGupta
October 29, 2024 16:32 8s dev
dev
October 29, 2024 16:32 8s
some progress on B+ tree Builds, tests & co #118: Commit f08739b pushed by wies
October 29, 2024 03:28 7s dev
dev
October 29, 2024 03:28 7s
added extra forward_trigger_assertion for ISCs Builds, tests & co #117: Commit e9613b1 pushed by EkanshdeepGupta
October 29, 2024 02:55 7s dev
dev
October 29, 2024 02:55 7s
info -> debug Builds, tests & co #116: Commit d926104 pushed by wies
October 29, 2024 02:16 8s cant_introduce_localvar
cant_introduce_localvar
October 29, 2024 02:16 8s
removed superfluous lemma calls Builds, tests & co #115: Commit 39154b1 pushed by EkanshdeepGupta
October 29, 2024 01:26 7s dev
dev
October 29, 2024 01:26 7s
fixed parsing errors Builds, tests & co #114: Commit a549521 pushed by EkanshdeepGupta
October 29, 2024 01:18 8s dev
dev
October 29, 2024 01:18 8s
Merge pull request #7 from nyu-acsys/cant_introduce_localvar Builds, tests & co #113: Commit 1d2eb45 pushed by EkanshdeepGupta
October 29, 2024 01:06 6s dev
dev
October 29, 2024 01:06 6s
Fixed "order-of-exhales" bug in witness computation Builds, tests & co #112: Pull request #7 opened by EkanshdeepGupta
October 29, 2024 01:06 8s cant_introduce_localvar
cant_introduce_localvar
October 29, 2024 01:06 8s