Skip to content

Latest commit

 

History

History
33 lines (24 loc) · 1.06 KB

README.md

File metadata and controls

33 lines (24 loc) · 1.06 KB

Infer_parallel

This library tries to contain the core parallel, message-passing, and task bar components used in Infer. It wraps them in a tidier interface, and builds with dune. It is a personal best effort and offered 'as-is': there is no guarantee for maintenance.

This project was inspired by Rijnard van Tonder's hack_parallel.

LIMITATIONS

Samples

You can find a sample code in sample/.

Multiline

Multiline + Keep Going

Multiline + Abort (NOT Keep Going)

Quiet