swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
Revision a7f41a422afedd43aea089ed93a72a8bf96bc947 authored by Drup on 17 January 2020, 15:11:34 UTC, committed by Drup on 17 January 2020, 15:13:12 UTC
1 parent 77f06be
History
Tip revision: f140dbc8b05aa3d341c70436a1920a06df9a0ed4 authored by Roberto Di Cosmo on 02 May 2021, 17:11:46 UTC
Signal exceptions in the worker to the master process in the simplemapper skeleton.
Tip revision: f140dbc
File Mode Size
config
example
src
tests
.gitignore -rw-r--r-- 50 bytes
AUTHORS -rw-r--r-- 722 bytes
Changelog -rw-r--r-- 979 bytes
LICENSE -rw-r--r-- 25.8 KB
Makefile -rw-r--r-- 439 bytes
README.md -rw-r--r-- 6.3 KB
dune-project -rw-r--r-- 996 bytes

README.md

back to top