https://bitbucket.org/adelard/simple-concurrency
Tip revision: cd7dfa9b13e79137daa54446067371af0a68515d authored by Dan Sheridan on 27 February 2015, 15:32:58 UTC
Change -accesses-for to report accesses from the "main" entry point even if it is not explicitly listed in -threads; this better matches the behaviour of -var-overlap.
Change -accesses-for to report accesses from the "main" entry point even if it is not explicitly listed in -threads; this better matches the behaviour of -var-overlap.
Tip revision: cd7dfa9
| File | Mode | Size |
|---|---|---|
| LGPLv3 | -rw-r--r-- | 7.5 KB |
| Makefile | -rw-r--r-- | 1.0 KB |
| README.md | -rw-r--r-- | 5.0 KB |
| accessesgui.ml | -rw-r--r-- | 6.4 KB |
| concur_gui.ml | -rw-r--r-- | 12.5 KB |
| concurguiglobs.ml | -rw-r--r-- | 5.3 KB |
| concurrency_main.ml | -rw-r--r-- | 12.1 KB |
| epsgui.ml | -rw-r--r-- | 5.5 KB |
| test.c | -rwxr-xr-x | 295 bytes |
| test2.c | -rwxr-xr-x | 193 bytes |
| test2.h | -rw-r--r-- | 53 bytes |
| vappgui.ml | -rw-r--r-- | 6.7 KB |
