A set of benchmarks to compare a new prototype MiniZinc implementation
dekker.one
1## start of ocaml dump of "fib.cmo"
2 0 BRANCH 22
3 2 ACC0
4 3 BLTINT 1, 9
5 6 ACC0
6 7 RETURN 1
7 9 ACC0
8 10 OFFSETINT -2
9 12 PUSHOFFSETCLOSURE0
10 13 APPLY1
11 14 PUSHACC1
12 15 OFFSETINT -1
13 17 PUSHOFFSETCLOSURE0
14 18 APPLY1
15 19 ADDINT
16 20 RETURN 1
17 22 CLOSUREREC 0, 2
18 26 CONST1
19 27 PUSHCONSTINT 100
20 29 PUSH
21 30 PUSHACC2
22 31 GTINT
23 32 BRANCHIF 50
24 34 CHECK_SIGNALS
25 35 CONSTINT 30
26 37 PUSHACC3
27 38 APPLY1
28 39 CONST0
29 40 ACC1
30 41 PUSH
31 42 OFFSETINT 1
32 44 ASSIGN 2
33 46 ACC1
34 47 NEQ
35 48 BRANCHIF 34
36 50 CONST0
37 51 POP 2
38 53 ACC0
39 54 MAKEBLOCK1 0
40 56 POP 1
41 58 SETGLOBAL Fib
42## end of ocaml dump of "fib.cmo"