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

Add target "dune build @format" to format whole repo. Builds, tests & co #179: Commit e46138d pushed by jsalzbergedu
November 14, 2024 20:04 8s tooling
tooling
November 14, 2024 20:04 8s
Add reasonable defaults for indentation Builds, tests & co #178: Commit f067648 pushed by jsalzbergedu
November 14, 2024 18:40 9s tooling
tooling
November 14, 2024 18:40 9s
Added program statistics with the --stats flag Builds, tests & co #177: Commit 768119a pushed by EkanshdeepGupta
November 14, 2024 15:10 10s dev
dev
November 14, 2024 15:10 10s
examples: lclist with iterated separating conjunction Builds, tests & co #176: Commit 0963991 pushed by nrp364
November 14, 2024 03:50 7s dev
dev
November 14, 2024 03:50 7s
Add tree-sit mode for emacs Builds, tests & co #175: Commit 0198123 pushed by jsalzbergedu
November 13, 2024 14:39 9s tooling
tooling
November 13, 2024 14:39 9s
Get reasonable results on indentation for most of the code. Builds, tests & co #174: Commit 01e958e pushed by jsalzbergedu
November 13, 2024 08:05 8s tooling
tooling
November 13, 2024 08:05 8s
wip: lclist Builds, tests & co #173: Commit 921f834 pushed by nrp364
November 13, 2024 02:11 8s dev
dev
November 13, 2024 02:11 8s
Parse 100% of .t files Builds, tests & co #172: Commit fef9c19 pushed by jsalzbergedu
November 13, 2024 01:30 9s tooling
tooling
November 13, 2024 01:30 9s
fix: peterson create spec Builds, tests & co #171: Commit f367cff pushed by nrp364
November 12, 2024 19:11 9s dev
dev
November 12, 2024 19:11 9s
increase timeout Builds, tests & co #170: Commit a4c75ff pushed by wies
November 12, 2024 07:45 32m 50s dev
dev
November 12, 2024 07:45 32m 50s
support own(x.f, a) syntax Builds, tests & co #169: Commit 29d1a6a pushed by wies
November 12, 2024 07:43 32m 53s dev
dev
November 12, 2024 07:43 32m 53s
fix: peterson example Builds, tests & co #168: Commit bfd7122 pushed by nrp364
November 12, 2024 03:55 33m 58s dev
dev
November 12, 2024 03:55 33m 58s
some simplifications Builds, tests & co #167: Commit 5fca29e pushed by wies
November 11, 2024 22:57 33m 28s dev
dev
November 11, 2024 22:57 33m 28s
simplify ticket lock example Builds, tests & co #166: Commit 2de142b pushed by wies
November 11, 2024 06:11 32m 57s dev
dev
November 11, 2024 06:11 32m 57s
simplify ticket lock example Builds, tests & co #165: Commit ad4326d pushed by wies
November 11, 2024 06:10 33m 17s dev
dev
November 11, 2024 06:10 33m 17s
examples: add inc_dec Builds, tests & co #164: Commit 72796e2 pushed by nrp364
November 10, 2024 16:35 33m 59s dev
dev
November 10, 2024 16:35 33m 59s
examples: fix the specs in the bounded_counter Builds, tests & co #163: Commit baeedf7 pushed by nrp364
November 10, 2024 16:27 34m 19s dev
dev
November 10, 2024 16:27 34m 19s
examples: add bounded-counter without ghost state Builds, tests & co #162: Commit c50e702 pushed by nrp364
November 10, 2024 16:23 32m 21s dev
dev
November 10, 2024 16:23 32m 21s
examples: add create method for peterson Builds, tests & co #161: Commit d2ca70a pushed by nrp364
November 10, 2024 15:23 32m 42s dev
dev
November 10, 2024 15:23 32m 42s
fixed ite type-checking bug w/ bool & perm Builds, tests & co #160: Commit a9a1525 pushed by EkanshdeepGupta
November 8, 2024 01:01 33m 4s dev
dev
November 8, 2024 01:01 33m 4s
moved solved bug from bugs to ci Builds, tests & co #159: Commit 91bb68f pushed by EkanshdeepGupta
November 7, 2024 19:02 32m 34s dev
dev
November 7, 2024 19:02 32m 34s
updated ticketlock to be in sync with paper Builds, tests & co #158: Commit 35707a7 pushed by EkanshdeepGupta
November 7, 2024 05:42 32m 22s dev
dev
November 7, 2024 05:42 32m 22s
added initial fix for atomicity check ghost field bug Builds, tests & co #157: Commit 0f99587 pushed by EkanshdeepGupta
November 7, 2024 05:21 33m 24s dev
dev
November 7, 2024 05:21 33m 24s
added bug in atomicity analysis Builds, tests & co #156: Commit 0fbdd7c pushed by EkanshdeepGupta
November 7, 2024 04:58 37m 58s dev
dev
November 7, 2024 04:58 37m 58s
minor change to ticket-lock. Added no-proof version purely for refere… Builds, tests & co #155: Commit d0218e5 pushed by EkanshdeepGupta
November 3, 2024 23:24 6s dev
dev
November 3, 2024 23:24 6s