this repo has no description
dekker.one
1provider minizinc {
2 /**
3 * Fired when the garbage collection function has finished
4 */
5 probe gc__end();
6
7 /**
8 * Fired when the garbage collection function has started
9 */
10 probe gc__start();
11
12 probe cse__find__start(uintptr_t envi, short nargs);
13
14 probe cse__find__end(uintptr_t envi, int success);
15
16 probe cse__insert__start(uintptr_t envi, short nargs);
17
18 probe cse__insert__end(uintptr_t envi);
19
20};