Skip to content

Actions: nyu-acsys/raven

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
301 workflow runs
301 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

complete lclist example with recursive predicates Builds, tests & co #249: Commit 56efd71 pushed by nrp364
December 23, 2024 04:22 18m 16s nisarg/issue-fold-assume
nisarg/issue-fold-assume
December 23, 2024 04:22 18m 16s
bug related to incomplete witness computation Builds, tests & co #248: Commit 700ad21 pushed by wies
December 21, 2024 22:42 17m 51s main
main
December 21, 2024 22:42 17m 51s
fix several issue with typing of ghost vars Builds, tests & co #247: Commit f1067a6 pushed by wies
December 21, 2024 16:44 18m 5s main
main
December 21, 2024 16:44 18m 5s
added ghost-state bug Builds, tests & co #246: Commit e81f30b pushed by EkanshdeepGupta
December 19, 2024 19:18 17m 54s main
main
December 19, 2024 19:18 17m 54s
added finished implementation of rwlock_duolock Builds, tests & co #245: Commit 6736860 pushed by EkanshdeepGupta
December 19, 2024 18:59 18m 28s main
main
December 19, 2024 18:59 18m 28s
Fixed a bug inside witness_computation: Builds, tests & co #244: Commit 18887c8 pushed by EkanshdeepGupta
December 19, 2024 14:53 18m 34s main
main
December 19, 2024 14:53 18m 34s
Fixed bug with assume stmts crashing due to existentials; skolemizing… Builds, tests & co #243: Commit 040849a pushed by EkanshdeepGupta
December 18, 2024 14:20 17m 55s main
main
December 18, 2024 14:20 17m 55s
added sanitization to idents to prevent clashes Builds, tests & co #242: Commit 906303e pushed by EkanshdeepGupta
December 18, 2024 08:24 18m 25s main
main
December 18, 2024 08:24 18m 25s
Fixes #15 Builds, tests & co #241: Commit d4626b5 pushed by wies
December 18, 2024 04:57 18m 4s main
main
December 18, 2024 04:57 18m 4s
Add small changes made with Thomas to broken verification Builds, tests & co #240: Commit 3745c6d pushed by lucasdu2
December 17, 2024 15:36 18m 7s lucas-dev
lucas-dev
December 17, 2024 15:36 18m 7s
fixed some bugs Builds, tests & co #239: Commit ac3543a pushed by EkanshdeepGupta
December 17, 2024 12:20 18m 7s main
main
December 17, 2024 12:20 18m 7s
general cleanup of resource_algebra.rav Builds, tests & co #238: Commit 7e5028c pushed by EkanshdeepGupta
December 17, 2024 06:28 20m 55s main
main
December 17, 2024 06:28 20m 55s
issue: with fold and assume in lclist.rav Builds, tests & co #237: Commit f61084b pushed by nrp364
December 16, 2024 03:39 21m 41s nisarg/issue-fold-assume
nisarg/issue-fold-assume
December 16, 2024 03:39 21m 41s
some clean-up Builds, tests & co #236: Commit 542adec pushed by wies
December 6, 2024 22:47 17m 50s main
main
December 6, 2024 22:47 17m 50s
remove bug test case fixed by previous commit Builds, tests & co #235: Commit 529b5db pushed by wies
December 6, 2024 03:24 17m 39s main
main
December 6, 2024 03:24 17m 39s
Fixes #14 Builds, tests & co #234: Commit b286225 pushed by wies
December 5, 2024 23:50 17m 47s main
main
December 5, 2024 23:50 17m 47s
added minor logging Builds, tests & co #233: Commit 9034671 pushed by EkanshdeepGupta
December 5, 2024 16:56 18m 7s main
main
December 5, 2024 16:56 18m 7s
Make Set[T] contravariant in T (as it should be) Builds, tests & co #232: Commit ccd1e31 pushed by wies
December 5, 2024 01:53 18m 7s main
main
December 5, 2024 01:53 18m 7s
make module type checking more permissive; allow implicit return valu… Builds, tests & co #231: Commit ffa32f5 pushed by wies
December 5, 2024 01:29 17m 44s main
main
December 5, 2024 01:29 17m 44s
partial fix to bugs in skolem expression creation. revealed other bug… Builds, tests & co #230: Commit cfba6f5 pushed by EkanshdeepGupta
December 5, 2024 00:36 22m 21s main
main
December 5, 2024 00:36 22m 21s
Add Jacob's Emacs tooling to personal branch Builds, tests & co #229: Commit ef11550 pushed by lucasdu2
November 26, 2024 21:20 17m 43s lucas-dev
lucas-dev
November 26, 2024 21:20 17m 43s
Clean up current file with uncaught exception crash Builds, tests & co #228: Commit 9734a70 pushed by lucasdu2
November 26, 2024 20:56 17m 54s lucas-dev
lucas-dev
November 26, 2024 20:56 17m 54s
attach error messages to bind statements; eliminate redundant assert … Builds, tests & co #227: Commit 0edf3a0 pushed by wies
November 26, 2024 03:32 19m 0s main
main
November 26, 2024 03:32 19m 0s
Set[T] -> Map[T, Bool]; fix bug related to returns in ghost blocks Builds, tests & co #226: Commit e3ca9d7 pushed by wies
November 24, 2024 00:08 17m 48s main
main
November 24, 2024 00:08 17m 48s
towards simplified give-up template Builds, tests & co #225: Commit a0e17f9 pushed by wies
November 23, 2024 01:15 17m 45s main
main
November 23, 2024 01:15 17m 45s