Skip to content

Actions: nyu-acsys/raven

Actions

Builds, tests & co

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
307 workflow runs
307 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add rwlock_lockless_faa Builds, tests & co #257: Commit ab017ca pushed by nrp364
December 27, 2024 01:57 17m 57s main
main
December 27, 2024 01:57 17m 57s
add msc_queue Builds, tests & co #256: Commit 4726b0f pushed by nrp364
December 25, 2024 20:45 18m 2s main
main
December 25, 2024 20:45 18m 2s
add queue (with recursive predicates) Builds, tests & co #255: Commit 6155a97 pushed by nrp364
December 25, 2024 19:00 17m 41s main
main
December 25, 2024 19:00 17m 41s
add a dfrac RA Builds, tests & co #254: Commit 5a7c8f7 pushed by nrp364
December 24, 2024 23:21 17m 35s main
main
December 24, 2024 23:21 17m 35s
more use of auto predicates Builds, tests & co #253: Commit 314a040 pushed by wies
December 23, 2024 19:05 17m 57s main
main
December 23, 2024 19:05 17m 57s
rename lclist_wip to lclist_isc (for iterated separating conjunction) Builds, tests & co #252: Commit 8b608db pushed by nrp364
December 23, 2024 04:32 17m 39s main
main
December 23, 2024 04:32 17m 39s
fix errors related to ghost declarations Builds, tests & co #251: Commit b79218f pushed by nrp364
December 23, 2024 04:31 17m 58s main
main
December 23, 2024 04:31 17m 58s
complete lclist with recursive invariant Builds, tests & co #250: Commit 02ca0dd pushed by nrp364
December 23, 2024 04:29 17m 48s main
main
December 23, 2024 04:29 17m 48s
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