/[mojave]/metaprl/theories/mc/mp_mc_fir_eval.prla
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_fir_eval.prla

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3564 by emre, Fri Apr 5 07:07:58 2002 UTC revision 3565 by emre, Fri Apr 5 09:33:57 2002 UTC
# Line 1363  Line 1363 
1363  B       b508    t508  B       b508    t508
1364  T       t509    o497 b508  T       t509    o497 b508
1365  B       b509    t509  B       b509    t509
1366    P       p3      Number 4365
1367    P       p4      Number 4420
1368    O       o6      location p3 p4
1369  O       o509    location p500 p500  O       o509    location p500 p500
1370  P       p509    String reduce_pow_2_7  P       p509    String reduce_pow_2_7
1371  O       o510    rewrite p509  O       o510    rewrite p509
# Line 2151  Line 2154 
2154  B       b851    t851  B       b851    t851
2155  T       t852    o510 b513 b514 b851 b4  T       t852    o510 b513 b514 b851 b4
2156  B       b852    t852  B       b852    t852
2157  T       t853    o509 b852  T       t91     o6 b852
2158  B       b853    t853  B       b91     t91
2159    P       p101    Number 4421
2160    P       p102    Number 4476
2161    O       o102    location p101 p102
2162  P       p853    String reduce_pow_2_8  P       p853    String reduce_pow_2_8
2163  O       o853    rewrite p853  O       o853    rewrite p853
2164  T       t854    o345 b511 b476  T       t854    o345 b511 b476
# Line 2245  Line 2251 
2251  B       b889    t889  B       b889    t889
2252  T       t890    o853 b854 b855 b889 b4  T       t890    o853 b854 b855 b889 b4
2253  B       b890    t890  B       b890    t890
2254  T       t891    o509 b890  T       t106    o102 b890
2255  B       b891    t891  B       b106    t106
2256    P       p111    Number 4477
2257    P       p112    Number 4536
2258    O       o112    location p111 p112
2259  P       p891    String reduce_pow_2_15  P       p891    String reduce_pow_2_15
2260  O       o891    rewrite p891  O       o891    rewrite p891
2261  P       p892    Number 15  P       p892    Number 15
# Line 2883  Line 2892 
2892  B       b1168   t1168  B       b1168   t1168
2893  T       t1169   o891 b893 b894 b1168 b4  T       t1169   o891 b893 b894 b1168 b4
2894  B       b1169   t1169  B       b1169   t1169
2895  T       t1170   o509 b1169  T       t114    o112 b1169
2896  B       b1170   t1170  B       b114    t114
2897    P       p123    Number 4537
2898    P       p124    Number 4596
2899    O       o124    location p123 p124
2900  P       p1170   String reduce_pow_2_16  P       p1170   String reduce_pow_2_16
2901  O       o1170   rewrite p1170  O       o1170   rewrite p1170
2902  T       t1171   o345 b511 b482  T       t1171   o345 b511 b482
# Line 2977  Line 2989 
2989  B       b1206   t1206  B       b1206   t1206
2990  T       t1207   o1170 b1171 b1172 b1206 b4  T       t1207   o1170 b1171 b1172 b1206 b4
2991  B       b1207   t1207  B       b1207   t1207
2992  T       t1208   o509 b1207  T       t128    o124 b1207
2993  B       b1208   t1208  B       b128    t128
2994    P       p131    Number 4597
2995    P       p145    Number 4661
2996    O       o145    location p131 p145
2997  P       p1208   String reduce_pow_2_30  P       p1208   String reduce_pow_2_30
2998  O       o1208   rewrite p1208  O       o1208   rewrite p1208
2999  P       p1209   Number 30  P       p1209   Number 30
# Line 4609  Line 4624 
4624  B       b1947   t1947  B       b1947   t1947
4625  T       t1948   o1208 b1210 b1211 b1947 b4  T       t1948   o1208 b1210 b1211 b1947 b4
4626  B       b1948   t1948  B       b1948   t1948
4627  T       t1949   o509 b1948  T       t157    o145 b1948
4628  B       b1949   t1949  B       b157    t157
4629    P       p162    Number 4662
4630    P       p163    Number 4726
4631    O       o163    location p162 p163
4632  P       p1949   String reduce_pow_2_31  P       p1949   String reduce_pow_2_31
4633  O       o1949   rewrite p1949  O       o1949   rewrite p1949
4634  T       t1950   o345 b511 b470  T       t1950   o345 b511 b470
# Line 4701  Line 4719 
4719  B       b1985   t1985  B       b1985   t1985
4720  T       t1986   o1949 b1950 b1951 b1985 b4  T       t1986   o1949 b1950 b1951 b1985 b4
4721  B       b1986   t1986  B       b1986   t1986
4722  T       t1987   o509 b1986  T       t168    o163 b1986
4723  B       b1987   t1987  B       b168    t168
4724    P       p175    Number 4727
4725    P       p176    Number 4791
4726    O       o176    location p175 p176
4727  P       p1987   String reduce_pow_2_32  P       p1987   String reduce_pow_2_32
4728  O       o1987   rewrite p1987  O       o1987   rewrite p1987
4729  T       t1988   o345 b511 b488  T       t1988   o345 b511 b488
# Line 4793  Line 4814 
4814  B       b2023   t2023  B       b2023   t2023
4815  T       t2024   o1987 b1988 b1989 b2023 b4  T       t2024   o1987 b1988 b1989 b2023 b4
4816  B       b2024   t2024  B       b2024   t2024
4817  T       t2025   o509 b2024  T       t180    o176 b2024
4818  B       b2025   t2025  B       b180    t180
4819    P       p182    Number 4792
4820    P       p190    Number 4865
4821    O       o190    location p182 p190
4822  P       p2025   String reduce_pow_2_63  P       p2025   String reduce_pow_2_63
4823  O       o2025   rewrite p2025  O       o2025   rewrite p2025
4824  P       p2026   Number 63  P       p2026   Number 63
# Line 10551  Line 10575 
10575  B       b4741   t4741  B       b4741   t4741
10576  T       t4742   o2025 b2027 b2028 b4741 b4  T       t4742   o2025 b2027 b2028 b4741 b4
10577  B       b4742   t4742  B       b4742   t4742
10578  T       t4743   o509 b4742  T       t192    o190 b4742
10579  B       b4743   t4743  B       b192    t192
10580    P       p197    Number 4866
10581    P       p198    Number 4940
10582    O       o198    location p197 p198
10583  P       p4743   String reduce_pow_2_64  P       p4743   String reduce_pow_2_64
10584  O       o4743   rewrite p4743  O       o4743   rewrite p4743
10585  T       t4744   o345 b511 b494  T       t4744   o345 b511 b494
# Line 10643  Line 10670 
10670  B       b4779   t4779  B       b4779   t4779
10671  T       t4780   o4743 b4744 b4745 b4779 b4  T       t4780   o4743 b4744 b4745 b4779 b4
10672  B       b4780   t4780  B       b4780   t4780
10673  T       t4781   o509 b4780  T       t209    o198 b4780
10674  B       b4781   t4781  B       b209    t209
10675  P       p4781   Number 5011  P       p4781   Number 5011
10676  P       p4782   Number 5135  P       p4782   Number 5135
10677  O       o4782   location p4781 p4782  O       o4782   location p4781 p4782
# Line 10745  Line 10772 
10772  T       t4820   o4814 b4819  T       t4820   o4814 b4819
10773  B       b4820   t4820  B       b4820   t4820
10774  P       p4820   Number 5859  P       p4820   Number 5859
10775  P       p4821   Number 5965  P       p211    Number 5996
10776  O       o4821   location p4820 p4821  O       o211    location p4820 p211
10777  P       p4822   String reduce_uminusIntOp  P       p4822   String reduce_uminusIntOp
10778  O       o4822   rewrite p4822  O       o4822   rewrite p4822
10779  NMp_mc_fir_exp!uminusIntOp      uminusIntOp     uminusIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!uminusIntOp      uminusIntOp     uminusIntOp Mp_mc_fir_exp
# Line 10764  Line 10791 
10791  O       o4825   atomInt  O       o4825   atomInt
10792  NItt_int_base!minus     minus   minus Itt_int_base  NItt_int_base!minus     minus   minus Itt_int_base
10793  O       o4826   minus  O       o4826   minus
10794  T       t4826   o4826 b4817  T       t215    o4826 b503
10795  B       b4826   t4826  B       b215    t215
10796  T       t4827   o4825 b4826  T       t221    o503 b4817 b215
10797  B       b4827   t4827  B       b221    t221
10798  T       t4828   o4822 b4825 b4827 b471 b4  T       t279    o362 b340 b221
10799  B       b4828   t4828  B       b279    t279
10800  T       t4829   o4821 b4828  T       t280    o4825 b279
10801  B       b4829   t4829  B       b280    t280
10802  P       p4829   Number 6073  T       t288    o4822 b4825 b280 b471 b4
10803  P       p4830   Number 6221  B       b288    t288
10804  O       o4830   location p4829 p4830  T       t289    o211 b288
10805    B       b289    t289
10806    P       p295    Number 6125
10807    P       p302    Number 6288
10808    O       o302    location p295 p302
10809    P       p303    String reduce_uminusRawIntOp
10810    O       o303    rewrite p303
10811    NMp_mc_fir_exp!uminusRawIntOp   uminusRawIntOp  uminusRawIntOp Mp_mc_fir_exp
10812    O       o304    uminusRawIntOp
10813  P       p4831   String reduce_plusIntOp  P       p4831   String reduce_plusIntOp
10814  O       o4831   rewrite p4831  O       o4831   rewrite p4831
10815  NMp_mc_fir_exp!plusIntOp        plusIntOp       plusIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!plusIntOp        plusIntOp       plusIntOp Mp_mc_fir_exp
# Line 10797  Line 10832 
10832  B       b4837   t4837  B       b4837   t4837
10833  T       t4838   o4831 b4834 b4837 b471 b4  T       t4838   o4831 b4834 b4837 b471 b4
10834  B       b4838   t4838  B       b4838   t4838
 T       t4839   o4830 b4838  
 B       b4839   t4839  
 P       p4839   Number 6222  
 P       p4840   Number 6372  
 O       o4840   location p4839 p4840  
10835  P       p4841   String reduce_minusIntOp  P       p4841   String reduce_minusIntOp
10836  O       o4841   rewrite p4841  O       o4841   rewrite p4841
10837  NMp_mc_fir_exp!minusIntOp       minusIntOp      minusIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!minusIntOp       minusIntOp      minusIntOp Mp_mc_fir_exp
# Line 10818  Line 10848 
10848  B       b4846   t4846  B       b4846   t4846
10849  T       t4847   o4841 b4843 b4846 b471 b4  T       t4847   o4841 b4843 b4846 b471 b4
10850  B       b4847   t4847  B       b4847   t4847
 T       t4848   o4840 b4847  
 B       b4848   t4848  
 P       p4848   Number 6373  
 P       p4849   Number 6519  
 O       o4849   location p4848 p4849  
10851  P       p4850   String reduce_mulIntOp  P       p4850   String reduce_mulIntOp
10852  O       o4850   rewrite p4850  O       o4850   rewrite p4850
10853  NMp_mc_fir_exp!mulIntOp mulIntOp        mulIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!mulIntOp mulIntOp        mulIntOp Mp_mc_fir_exp
# Line 10839  Line 10864 
10864  B       b4855   t4855  B       b4855   t4855
10865  T       t4856   o4850 b4852 b4855 b471 b4  T       t4856   o4850 b4852 b4855 b471 b4
10866  B       b4856   t4856  B       b4856   t4856
 T       t4857   o4849 b4856  
 B       b4857   t4857  
 P       p4857   Number 6520  
 P       p4858   Number 6666  
 O       o4858   location p4857 p4858  
10867  P       p4859   String reduce_divIntOp  P       p4859   String reduce_divIntOp
10868  O       o4859   rewrite p4859  O       o4859   rewrite p4859
10869  NMp_mc_fir_exp!divIntOp divIntOp        divIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!divIntOp divIntOp        divIntOp Mp_mc_fir_exp
# Line 10862  Line 10882 
10882  B       b4864   t4864  B       b4864   t4864
10883  T       t4865   o4859 b4861 b4864 b471 b4  T       t4865   o4859 b4861 b4864 b471 b4
10884  B       b4865   t4865  B       b4865   t4865
 T       t4866   o4858 b4865  
 B       b4866   t4866  
 P       p4866   Number 6667  
 P       p4867   Number 6813  
 O       o4867   location p4866 p4867  
10885  P       p4868   String reduce_remIntOp  P       p4868   String reduce_remIntOp
10886  O       o4868   rewrite p4868  O       o4868   rewrite p4868
10887  NMp_mc_fir_exp!remIntOp remIntOp        remIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!remIntOp remIntOp        remIntOp Mp_mc_fir_exp
# Line 10883  Line 10898 
10898  B       b4873   t4873  B       b4873   t4873
10899  T       t4874   o4868 b4870 b4873 b471 b4  T       t4874   o4868 b4870 b4873 b471 b4
10900  B       b4874   t4874  B       b4874   t4874
 T       t4875   o4867 b4874  
 B       b4875   t4875  
 P       p4875   Number 6814  
 P       p4876   Number 6960  
 O       o4876   location p4875 p4876  
10901  P       p4877   String reduce_maxIntOp  P       p4877   String reduce_maxIntOp
10902  O       o4877   rewrite p4877  O       o4877   rewrite p4877
10903  NMp_mc_fir_exp!maxIntOp maxIntOp        maxIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!maxIntOp maxIntOp        maxIntOp Mp_mc_fir_exp
# Line 10906  Line 10916 
10916  B       b4882   t4882  B       b4882   t4882
10917  T       t4883   o4877 b4879 b4882 b471 b4  T       t4883   o4877 b4879 b4882 b471 b4
10918  B       b4883   t4883  B       b4883   t4883
 T       t4884   o4876 b4883  
 B       b4884   t4884  
 P       p4884   Number 6961  
 P       p4885   Number 7107  
 O       o4885   location p4884 p4885  
10919  P       p4886   String reduce_minIntOp  P       p4886   String reduce_minIntOp
10920  O       o4886   rewrite p4886  O       o4886   rewrite p4886
10921  NMp_mc_fir_exp!minIntOp minIntOp        minIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!minIntOp minIntOp        minIntOp Mp_mc_fir_exp
# Line 10925  Line 10930 
10930  B       b4890   t4890  B       b4890   t4890
10931  T       t4891   o4886 b4888 b4890 b471 b4  T       t4891   o4886 b4888 b4890 b471 b4
10932  B       b4891   t4891  B       b4891   t4891
 T       t4892   o4885 b4891  
 B       b4892   t4892  
 P       p4892   Number 7236  
 P       p4893   Number 7406  
 O       o4893   location p4892 p4893  
10933  P       p4894   String reduce_plusRawIntOp  P       p4894   String reduce_plusRawIntOp
10934  O       o4894   rewrite p4894  O       o4894   rewrite p4894
10935  NMp_mc_fir_exp!plusRawIntOp     plusRawIntOp    plusRawIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!plusRawIntOp     plusRawIntOp    plusRawIntOp Mp_mc_fir_exp
# Line 10942  Line 10942 
10942  O       o4897   var p4896  O       o4897   var p4896
10943  T       t4897   o4897  T       t4897   o4897
10944  B       b4897   t4897  B       b4897   t4897
10945    T       t313    o304 b4896 b4897
10946    B       b313    t313
10947  T       t4898   o4895 b4896 b4897  T       t4898   o4895 b4896 b4897
10948  B       b4898   t4898  B       b4898   t4898
10949  NMp_mc_fir_ty!tyRawInt  tyRawInt        tyRawInt Mp_mc_fir_ty  NMp_mc_fir_ty!tyRawInt  tyRawInt        tyRawInt Mp_mc_fir_ty
10950  O       o4898   tyRawInt  O       o4898   tyRawInt
10951  T       t4899   o4898 b4896 b4897  T       t4899   o4898 b4896 b4897
10952  B       b4899   t4899  B       b4899   t4899
10953    T       t321    o372 b313 b4899 b4817
10954    B       b321    t321
10955  T       t4900   o381 b4898 b4899 b4817 b4833  T       t4900   o381 b4898 b4899 b4817 b4833
10956  B       b4900   t4900  B       b4900   t4900
10957  NMp_mc_fir_exp!atomRawInt       atomRawInt      atomRawInt Mp_mc_fir_exp  NMp_mc_fir_exp!atomRawInt       atomRawInt      atomRawInt Mp_mc_fir_exp
10958  O       o4900   atomRawInt  O       o4900   atomRawInt
10959    T       t322    o353 b4896 b4897 b221
10960    B       b322    t322
10961    T       t323    o4900 b4896 b4897 b322
10962    B       b323    t323
10963    T       t329    o303 b321 b323 b471 b4
10964    B       b329    t329
10965    T       t330    o302 b329
10966    B       b330    t330
10967    P       p332    Number 6396
10968    P       p333    Number 6544
10969    O       o333    location p332 p333
10970    T       t338    o333 b4838
10971    B       b338    t338
10972    P       p340    Number 6545
10973    P       p341    Number 6695
10974    O       o341    location p340 p341
10975    T       t343    o341 b4847
10976    B       b343    t343
10977    P       p347    Number 6696
10978    P       p348    Number 6842
10979    O       o348    location p347 p348
10980    T       t351    o348 b4856
10981    B       b351    t351
10982    P       p356    Number 6843
10983    P       p357    Number 6989
10984    O       o357    location p356 p357
10985    T       t360    o357 b4865
10986    B       b360    t360
10987    P       p362    Number 6990
10988    P       p363    Number 7136
10989    O       o363    location p362 p363
10990    T       t365    o363 b4874
10991    B       b365    t365
10992    P       p367    Number 7137
10993    P       p368    Number 7283
10994    O       o368    location p367 p368
10995    T       t370    o368 b4883
10996    B       b370    t370
10997    P       p375    Number 7284
10998    P       p376    Number 7430
10999    O       o376    location p375 p376
11000    T       t379    o376 b4891
11001    B       b379    t379
11002    P       p382    Number 7559
11003    P       p383    Number 7729
11004    O       o383    location p382 p383
11005  T       t4901   o353 b4896 b4897 b4835  T       t4901   o353 b4896 b4897 b4835
11006  B       b4901   t4901  B       b4901   t4901
11007  T       t4902   o4900 b4896 b4897 b4901  T       t4902   o4900 b4896 b4897 b4901
11008  B       b4902   t4902  B       b4902   t4902
11009  T       t4903   o4894 b4900 b4902 b471 b4  T       t4903   o4894 b4900 b4902 b471 b4
11010  B       b4903   t4903  B       b4903   t4903
11011  T       t4904   o4893 b4903  T       t386    o383 b4903
11012  B       b4904   t4904  B       b386    t386
11013  P       p4904   Number 7407  P       p389    Number 7730
11014  P       p4905   Number 7579  P       p390    Number 7902
11015  O       o4905   location p4904 p4905  O       o391    location p389 p390
11016  P       p4906   String reduce_minusRawIntOp  P       p4906   String reduce_minusRawIntOp
11017  O       o4906   rewrite p4906  O       o4906   rewrite p4906
11018  NMp_mc_fir_exp!minusRawIntOp    minusRawIntOp   minusRawIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!minusRawIntOp    minusRawIntOp   minusRawIntOp Mp_mc_fir_exp
# Line 10977  Line 11027 
11027  B       b4910   t4910  B       b4910   t4910
11028  T       t4911   o4906 b4908 b4910 b471 b4  T       t4911   o4906 b4908 b4910 b471 b4
11029  B       b4911   t4911  B       b4911   t4911
11030  T       t4912   o4905 b4911  T       t395    o391 b4911
11031  B       b4912   t4912  B       b395    t395
11032  P       p4912   Number 7580  P       p398    Number 7903
11033  P       p4913   Number 7748  P       p400    Number 8071
11034  O       o4913   location p4912 p4913  O       o401    location p398 p400
11035  P       p4914   String reduce_mulRawIntOp  P       p4914   String reduce_mulRawIntOp
11036  O       o4914   rewrite p4914  O       o4914   rewrite p4914
11037  NMp_mc_fir_exp!mulRawIntOp      mulRawIntOp     mulRawIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!mulRawIntOp      mulRawIntOp     mulRawIntOp Mp_mc_fir_exp
# Line 10996  Line 11046 
11046  B       b4918   t4918  B       b4918   t4918
11047  T       t4919   o4914 b4916 b4918 b471 b4  T       t4919   o4914 b4916 b4918 b471 b4
11048  B       b4919   t4919  B       b4919   t4919
11049  T       t4920   o4913 b4919  T       t408    o401 b4919
11050  B       b4920   t4920  B       b408    t408
11051  P       p4920   Number 7749  P       p413    Number 8072
11052  P       p4921   Number 7917  P       p415    Number 8240
11053  O       o4921   location p4920 p4921  O       o415    location p413 p415
11054  P       p4922   String reduce_divRawIntOp  P       p4922   String reduce_divRawIntOp
11055  O       o4922   rewrite p4922  O       o4922   rewrite p4922
11056  NMp_mc_fir_exp!divRawIntOp      divRawIntOp     divRawIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!divRawIntOp      divRawIntOp     divRawIntOp Mp_mc_fir_exp
# Line 11015  Line 11065 
11065  B       b4926   t4926  B       b4926   t4926
11066  T       t4927   o4922 b4924 b4926 b471 b4  T       t4927   o4922 b4924 b4926 b471 b4
11067  B       b4927   t4927  B       b4927   t4927
11068  T       t4928   o4921 b4927  T       t427    o415 b4927
11069  B       b4928   t4928  B       b427    t427
11070  P       p4928   Number 7918  P       p430    Number 8241
11071  P       p4929   Number 8086  P       p431    Number 8409
11072  O       o4929   location p4928 p4929  O       o431    location p430 p431
11073  P       p4930   String reduce_remRawIntOp  P       p4930   String reduce_remRawIntOp
11074  O       o4930   rewrite p4930  O       o4930   rewrite p4930
11075  NMp_mc_fir_exp!remRawIntOp      remRawIntOp     remRawIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!remRawIntOp      remRawIntOp     remRawIntOp Mp_mc_fir_exp
# Line 11034  Line 11084 
11084  B       b4934   t4934  B       b4934   t4934
11085  T       t4935   o4930 b4932 b4934 b471 b4  T       t4935   o4930 b4932 b4934 b471 b4
11086  B       b4935   t4935  B       b4935   t4935
11087  T       t4936   o4929 b4935  T       t435    o431 b4935
11088  B       b4936   t4936  B       b435    t435
11089  P       p4936   Number 8087  P       p438    Number 8410
11090  P       p4937   Number 8269  P       p439    Number 8592
11091  O       o4937   location p4936 p4937  O       o439    location p438 p439
11092  P       p4938   String reduce_maxRawIntOp  P       p4938   String reduce_maxRawIntOp
11093  O       o4938   rewrite p4938  O       o4938   rewrite p4938
11094  NMp_mc_fir_exp!maxRawIntOp      maxRawIntOp     maxRawIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!maxRawIntOp      maxRawIntOp     maxRawIntOp Mp_mc_fir_exp
# Line 11051  Line 11101 
11101  B       b4941   t4941  B       b4941   t4941
11102  T       t4942   o4938 b4940 b4941 b471 b4  T       t4942   o4938 b4940 b4941 b471 b4
11103  B       b4942   t4942  B       b4942   t4942
11104  T       t4943   o4937 b4942  T       t442    o439 b4942
11105  B       b4943   t4943  B       b442    t442
11106  P       p4943   Number 8270  P       p445    Number 8593
11107  P       p4944   Number 8452  P       p446    Number 8775
11108  O       o4944   location p4943 p4944  O       o446    location p445 p446
11109  P       p4945   String reduce_minRawIntOp  P       p4945   String reduce_minRawIntOp
11110  O       o4945   rewrite p4945  O       o4945   rewrite p4945
11111  NMp_mc_fir_exp!minRawIntOp      minRawIntOp     minRawIntOp Mp_mc_fir_exp  NMp_mc_fir_exp!minRawIntOp      minRawIntOp     minRawIntOp Mp_mc_fir_exp
# Line 11068  Line 11118 
11118  B       b4948   t4948  B       b4948   t4948
11119  T       t4949   o4945 b4947 b4948 b471 b4  T       t4949   o4945 b4947 b4948 b471 b4
11120  B       b4949   t4949  B       b4949   t4949
11121  T       t4950   o4944 b4949  T       t455    o446 b4949
11122  B       b4950   t4950  B       b455    t455
11123  P       p4950   Number 8674  P       p458    Number 8997
11124  P       p4951   Number 8727  P       p459    Number 9050
11125  O       o4951   location p4950 p4951  O       o459    location p458 p459
11126  P       p4952   String reduce_atomInt  P       p4952   String reduce_atomInt
11127  O       o4952   rewrite p4952  O       o4952   rewrite p4952
11128  P       p4953   Var int  P       p4953   Var int
# Line 11083  Line 11133 
11133  B       b4954   t4954  B       b4954   t4954
11134  T       t4955   o4952 b4954 b4953 b471 b4  T       t4955   o4952 b4954 b4953 b471 b4
11135  B       b4955   t4955  B       b4955   t4955
11136  T       t4956   o4951 b4955  T       t468    o459 b4955
11137  B       b4956   t4956  B       b468    t468
11138  P       p4956   Number 8728  P       p471    Number 9051
11139  P       p4957   Number 8816  P       p472    Number 9139
11140  O       o4957   location p4956 p4957  O       o472    location p471 p472
11141  P       p4958   String reduce_atomRawInt  P       p4958   String reduce_atomRawInt
11142  O       o4958   rewrite p4958  O       o4958   rewrite p4958
11143  T       t4958   o4900 b354 b355 b356  T       t4958   o4900 b354 b355 b356
11144  B       b4958   t4958  B       b4958   t4958
11145  T       t4959   o4958 b4958 b356 b471 b4  T       t4959   o4958 b4958 b356 b471 b4
11146  B       b4959   t4959  B       b4959   t4959
11147  T       t4960   o4957 b4959  T       t474    o472 b4959
11148  B       b4960   t4960  B       b474    t474
11149  P       p4960   Number 8817  P       p476    Number 9140
11150  P       p4961   Number 8870  P       p477    Number 9193
11151  O       o4961   location p4960 p4961  O       o477    location p476 p477
11152  P       p4962   String reduce_atomVar  P       p4962   String reduce_atomVar
11153  O       o4962   rewrite p4962  O       o4962   rewrite p4962
11154  NMp_mc_fir_exp!atomVar  atomVar atomVar Mp_mc_fir_exp  NMp_mc_fir_exp!atomVar  atomVar atomVar Mp_mc_fir_exp
# Line 11111  Line 11161 
11161  B       b4965   t4965  B       b4965   t4965
11162  T       t4966   o4962 b4965 b4964 b471 b4  T       t4966   o4962 b4965 b4964 b471 b4
11163  B       b4966   t4966  B       b4966   t4966
11164  T       t4967   o4961 b4966  T       t479    o477 b4966
11165  B       b4967   t4967  B       b479    t479
11166  P       p4967   Number 8925  P       p482    Number 9248
11167  P       p4968   Number 9044  P       p483    Number 9367
11168  O       o4968   location p4967 p4968  O       o483    location p482 p483
11169  P       p4969   String reduce_letUnop  P       p4969   String reduce_letUnop
11170  O       o4969   rewrite p4969  O       o4969   rewrite p4969
11171  NMp_mc_fir_exp!letUnop  letUnop letUnop Mp_mc_fir_exp  NMp_mc_fir_exp!letUnop  letUnop letUnop Mp_mc_fir_exp
# Line 11138  Line 11188 
11188  B       b4976   t4976  B       b4976   t4976
11189  T       t4977   o4969 b4974 b4976 b471 b4  T       t4977   o4969 b4974 b4976 b471 b4
11190  B       b4977   t4977  B       b4977   t4977
11191  T       t4978   o4968 b4977  T       t485    o483 b4977
11192  B       b4978   t4978  B       b485    t485
11193  P       p4978   Number 9045  P       p488    Number 9368
11194  P       p4979   Number 9187  P       p489    Number 9510
11195  O       o4979   location p4978 p4979  O       o489    location p488 p489
11196  P       p4980   String reduce_letBinop  P       p4980   String reduce_letBinop
11197  O       o4980   rewrite p4980  O       o4980   rewrite p4980
11198  NMp_mc_fir_exp!letBinop letBinop        letBinop Mp_mc_fir_exp  NMp_mc_fir_exp!letBinop letBinop        letBinop Mp_mc_fir_exp
# Line 11159  Line 11209 
11209  B       b4985   t4985  B       b4985   t4985
11210  T       t4986   o4980 b4983 b4985 b471 b4  T       t4986   o4980 b4983 b4985 b471 b4
11211  B       b4986   t4986  B       b4986   t4986
11212  T       t4987   o4979 b4986  T       t491    o489 b4986
11213  B       b4987   t4987  B       b491    t491
11214  NSummary!id     id      id Summary  NSummary!id     id      id Summary
11215  P       p4987   Number 365782070  P       p4987   Number 365782070
11216  O       o4987   id p4987  O       o4987   id p4987
# Line 11170  Line 11220 
11220  B       b4989   t4989  B       b4989   t4989
11221  T       t4990   o b4989 b4  T       t4990   o b4989 b4
11222  B       b4990   t4990  B       b4990   t4990
11223  T       t4991   o b4987 b4990  T       t492    o b491 b4990
11224  B       b4991   t4991  B       b492    t492
11225  T       t4992   o b4978 b4991  T       t497    o b485 b492
11226  B       b4992   t4992  B       b497    t497
11227  T       t4993   o b4967 b4992  T       t498    o b479 b497
11228  B       b4993   t4993  B       b498    t498
11229  T       t4994   o b4960 b4993  T       t499    o b474 b498
11230  B       b4994   t4994  B       b499    t499
11231  T       t4995   o b4956 b4994  T       t500    o b468 b499
11232  B       b4995   t4995  B       b500    t500
11233  T       t4996   o b4950 b4995  T       t510    o b455 b500
11234  B       b4996   t4996  B       b510    t510
11235  T       t4997   o b4943 b4996  T       t515    o b442 b510
11236  B       b4997   t4997  B       b515    t515
11237  T       t4998   o b4936 b4997  T       t517    o b435 b515
11238  B       b4998   t4998  B       b517    t517
11239  T       t4999   o b4928 b4998  T       t518    o b427 b517
11240  B       b4999   t4999  B       b518    t518
11241  T       t5000   o b4920 b4999  T       t519    o b408 b518
11242  B       b5000   t5000  B       b519    t519
11243  T       t5001   o b4912 b5000  T       t4782   o b395 b519
11244  B       b5001   t5001  B       b4782   t4782
11245  T       t5002   o b4904 b5001  T       t4783   o b386 b4782
11246  B       b5002   t5002  B       b4783   t4783
11247  T       t5003   o b4892 b5002  T       t4788   o b379 b4783
11248  B       b5003   t5003  B       b4788   t4788
11249  T       t5004   o b4884 b5003  T       t4789   o b370 b4788
11250  B       b5004   t5004  B       b4789   t4789
11251  T       t5005   o b4875 b5004  T       t4794   o b365 b4789
11252  B       b5005   t5005  B       b4794   t4794
11253  T       t5006   o b4866 b5005  T       t4795   o b360 b4794
11254  B       b5006   t5006  B       b4795   t4795
11255  T       t5007   o b4857 b5006  T       t4796   o b351 b4795
11256  B       b5007   t5007  B       b4796   t4796
11257  T       t5008   o b4848 b5007  T       t4797   o b343 b4796
11258  B       b5008   t5008  B       b4797   t4797
11259  T       t5009   o b4839 b5008  T       t4798   o b338 b4797
11260  B       b5009   t5009  B       b4798   t4798
11261  T       t5010   o b4829 b5009  T       t4811   o b330 b4798
11262  B       b5010   t5010  B       b4811   t4811
11263  T       t5011   o b4820 b5010  T       t4814   o b289 b4811
11264  B       b5011   t5011  B       b4814   t4814
11265  T       t5012   o b4813 b5011  T       t4815   o b4820 b4814
11266  B       b5012   t5012  B       b4815   t4815
11267  T       t5013   o b4810 b5012  T       t4821   o b4813 b4815
11268  B       b5013   t5013  B       b4821   t4821
11269  T       t5014   o b4793 b5013  T       t4822   o b4810 b4821
11270  B       b5014   t5014  B       b4822   t4822
11271  T       t5015   o b4787 b5014  T       t4830   o b4793 b4822
11272  B       b5015   t5015  B       b4830   t4830
11273  T       t5016   o b4781 b5015  T       t4831   o b4787 b4830
11274  B       b5016   t5016  B       b4831   t4831
11275  T       t5017   o b4743 b5016  T       t4840   o b209 b4831
11276  B       b5017   t5017  B       b4840   t4840
11277  T       t5018   o b2025 b5017  T       t4841   o b192 b4840
11278  B       b5018   t5018  B       b4841   t4841
11279  T       t5019   o b1987 b5018  T       t4849   o b180 b4841
11280  B       b5019   t5019  B       b4849   t4849
11281  T       t5020   o b1949 b5019  T       t4850   o b168 b4849
11282  B       b5020   t5020  B       b4850   t4850
11283  T       t5021   o b1208 b5020  T       t4858   o b157 b4850
11284  B       b5021   t5021  B       b4858   t4858
11285  T       t5022   o b1170 b5021  T       t4859   o b128 b4858
11286  B       b5022   t5022  B       b4859   t4859
11287  T       t5023   o b891 b5022  T       t4867   o b114 b4859
11288  B       b5023   t5023  B       b4867   t4867
11289  T       t5024   o b853 b5023  T       t4868   o b106 b4867
11290  B       b5024   t5024  B       b4868   t4868
11291  T       t5025   o b509 b5024  T       t4876   o b91 b4868
11292  B       b5025   t5025  B       b4876   t4876
11293  T       t5026   o b496 b5025  T       t4877   o b509 b4876
11294  B       b5026   t5026  B       b4877   t4877
11295  T       t5027   o b490 b5026  T       t4885   o b496 b4877
11296  B       b5027   t5027  B       b4885   t4885
11297  T       t5028   o b484 b5027  T       t4886   o b490 b4885
11298  B       b5028   t5028  B       b4886   t4886
11299  T       t5029   o b478 b5028  T       t4893   o b484 b4886
11300  B       b5029   t5029  B       b4893   t4893
11301  T       t5030   o b473 b5029  T       t4894   o b478 b4893
11302  B       b5030   t5030  B       b4894   t4894
11303  T       t5031   o b467 b5030  T       t4895   o b473 b4894
11304  B       b5031   t5031  B       b4895   t4895
11305  T       t5032   o b454 b5031  T       t4905   o b467 b4895
11306  B       b5032   t5032  B       b4905   t4905
11307  T       t5033   o b441 b5032  T       t4906   o b454 b4905
11308  B       b5033   t5033  B       b4906   t4906
11309  T       t5034   o b434 b5033  T       t4913   o b441 b4906
11310  B       b5034   t5034  B       b4913   t4913
11311  T       t5035   o b426 b5034  T       t4914   o b434 b4913
11312  B       b5035   t5035  B       b4914   t4914
11313  T       t5036   o b407 b5035  T       t4921   o b426 b4914
11314  B       b5036   t5036  B       b4921   t4921
11315  T       t5037   o b394 b5036  T       t4922   o b407 b4921
11316  B       b5037   t5037  B       b4922   t4922
11317  T       t5038   o b385 b5037  T       t4929   o b394 b4922
11318  B       b5038   t5038  B       b4929   t4929
11319  T       t5039   o b378 b5038  T       t4930   o b385 b4929
11320  B       b5039   t5039  B       b4930   t4930
11321  T       t5040   o b369 b5039  T       t4937   o b378 b4930
11322  B       b5040   t5040  B       b4937   t4937
11323  T       t5041   o b364 b5040  T       t4938   o b369 b4937
11324  B       b5041   t5041  B       b4938   t4938
11325  T       t5042   o b359 b5041  T       t4944   o b364 b4938
11326  B       b5042   t5042  B       b4944   t4944
11327  T       t5043   o b350 b5042  T       t4945   o b359 b4944
11328  B       b5043   t5043  B       b4945   t4945
11329  T       t5044   o b342 b5043  T       t4951   o b350 b4945
11330  B       b5044   t5044  B       b4951   t4951
11331  T       t5045   o b337 b5044  T       t4952   o b342 b4951
11332  B       b5045   t5045  B       b4952   t4952
11333  T       t5046   o b328 b5045  T       t4957   o b337 b4952
11334  B       b5046   t5046  B       b4957   t4957
11335  T       t5047   o b320 b5046  T       t4961   o b328 b4957
11336  B       b5047   t5047  B       b4961   t4961
11337  T       t5048   o b318 b5047  T       t4962   o b320 b4961
11338  B       b5048   t5048  B       b4962   t4962
11339  T       t5049   o b312 b5048  T       t4963   o b318 b4962
11340  B       b5049   t5049  B       b4963   t4963
11341  T       t5050   o b220 b5049  T       t4968   o b312 b4963
11342  B       b5050   t5050  B       b4968   t4968
11343  T       t5051   o b214 b5050  T       t4969   o b220 b4968
11344  B       b5051   t5051  B       b4969   t4969
11345  T       t5052   o b208 b5051  T       t4970   o b214 b4969
11346    B       b4970   t4970
11347    T       t4979   o b208 b4970

Legend:
Removed from v.3564  
changed lines
  Added in v.3565

  ViewVC Help
Powered by ViewVC 1.1.26