swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
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
bytearray.ml -rw-r--r-- 3.9 KB
bytearray.mli -rw-r--r-- 1.6 KB
bytearray_stubs.c -rw-r--r-- 2.1 KB
dune -rw-r--r-- 380 bytes
index.mld -rw-r--r-- 33 bytes
parmap.ml -rw-r--r-- 26.5 KB
parmap.mli -rw-r--r-- 11.4 KB
parmap_utils.ml -rw-r--r-- 1.3 KB
parmap_utils.mli -rw-r--r-- 270 bytes
setcore.ml -rw-r--r-- 206 bytes
setcore_stubs.c -rw-r--r-- 1.7 KB

back to top