Skip to content

The core parallel task runner used by Facebook Infer

License

Notifications You must be signed in to change notification settings

sangwoo-joh/infer_parallel

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

75 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

The core parallel task runner used by Facebook Infer

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages