benchmarks/Oops - fix parallel ring benchmark option12 years ago src/Merge pull request #159 from tweag/wall-police12 years ago .gitignoreBuild up an initial execution environment for agents13 years ago .travis.ymlRemove Travis notifications: section.12 years ago ChangeLogupdate changelog (oops, this should've been done before uploading)12 years ago LICENSEMoved projects out into separate repositories14 years ago Makefilemakefile improvement; additional unsafe primitives13 years ago README.mdMove status details out until after migration to bamboo14 years ago REPOSMoved projects out into separate repositories14 years ago Setup.hsMoved projects out into separate repositories14 years ago distributed-process.cabalbump version12 years ago