]> Nick Gasson's Git Repositories - nvc.git/commit
Add --shuffle option to run processes in random order
authorNick Gasson <nick@nickg.me.uk>
Mon, 11 Sep 2023 08:09:54 +0000 (09:09 +0100)
committerNick Gasson <nick@nickg.me.uk>
Mon, 11 Sep 2023 08:31:38 +0000 (09:31 +0100)
commit3c2f3c3ec8636ef343c336fc22fc44d205c060b0
tree1e1cf48ccfb39391bd6559e8846653ad20014f08
parentd46d3ca18135b057fcb187d33a55b14d5f34ac94
Add --shuffle option to run processes in random order

Issue #614
NEWS.md
nvc.1
src/nvc.c
src/option.c
src/option.h
src/rt/model.c