Skip to content

Actions: nyu-acsys/raven

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
updated comment on ci example Builds, tests & co #111: Commit 36a2f6c pushed by EkanshdeepGupta
October 29, 2024 00:41 7s cant_introduce_localvar
cant_introduce_localvar
October 29, 2024 00:41 7s
Fixed oversight in previous solution, moved bugs fixed by previous fi… Builds, tests & co #110: Commit 3ebfd50 pushed by EkanshdeepGupta
October 29, 2024 00:11 7s cant_introduce_localvar
cant_introduce_localvar
October 29, 2024 00:11 7s
Fixed long-standing "order-of-exhales" witness computation bug Builds, tests & co #109: Commit 41f66a5 pushed by EkanshdeepGupta
October 28, 2024 22:47 8s cant_introduce_localvar
cant_introduce_localvar
October 28, 2024 22:47 8s
remove bodies from free lemmas/procs to avoid processing by rewriter Builds, tests & co #108: Commit ed06d0d pushed by wies
October 27, 2024 15:54 7s dev
dev
October 27, 2024 15:54 7s
added third attempt Builds, tests & co #107: Commit f110cb6 pushed by EkanshdeepGupta
October 26, 2024 06:02 7s cant_introduce_localvar
cant_introduce_localvar
October 26, 2024 06:02 7s
added minimal counterexample Builds, tests & co #106: Commit 7be815b pushed by EkanshdeepGupta
October 26, 2024 05:51 7s cant_introduce_localvar
cant_introduce_localvar
October 26, 2024 05:51 7s
cannot get new variable added to proc Builds, tests & co #105: Commit ee59ac6 pushed by EkanshdeepGupta
October 26, 2024 05:42 7s cant_introduce_localvar
cant_introduce_localvar
October 26, 2024 05:42 7s