not needed
[prop.git] / prop-src / 
tree855d20d4662d2bcfa4309cfbfd78e2fecfc8486b
drwxr-xr-x   ..
-rw-r--r-- 210 ANNOUNCE
-rw-r--r-- 13894 FOO
-rw-r--r-- 3882 Makefile
-rw-r--r-- 14895 T1.cc
-rw-r--r-- 627 T1.pcc
-rw-r--r-- 10581 T10.cc
-rw-r--r-- 1556 T10.pcc
-rw-r--r-- 15457 T11.cc
-rw-r--r-- 1094 T11.pcc
-rw-r--r-- 11449 T2.cc
-rw-r--r-- 370 T2.pcc
-rw-r--r-- 10170 T3.cc
-rw-r--r-- 2904 T3.pcc
-rw-r--r-- 4963 T3.s
-rw-r--r-- 5175 T4.cc
-rw-r--r-- 169 T4.pcc
-rw-r--r-- 6561 T5.cc
-rw-r--r-- 159 T5.pcc
-rw-r--r-- 6432 T6.cc
-rw-r--r-- 215 T6.pcc
-rw-r--r-- 16033 T7.cc
-rw-r--r-- 621 T7.pcc
-rw-r--r-- 13969 T9.cc
-rw-r--r-- 3367 T9.pcc
-rw-r--r-- 1218 adaptgen.ph
-rw-r--r-- 3056 aggen.cc
-rw-r--r-- 2379 aggen.h
-rw-r--r-- 2235 aggen.pcc
-rw-r--r-- 1561 aggen.ph
-rw-r--r-- 589 alldefs.pv
-rw-r--r-- 1523 alldefs.v
-rw-r--r-- 109289 alldefs.vcg
-rw-r--r-- 3047 ast.cc
-rw-r--r-- 62756 ast.h
-rw-r--r-- 1612 ast.pcc
-rw-r--r-- 16695 ast.ph
-rw-r--r-- 116 author.h
-rw-r--r-- 359 automake.cc
-rw-r--r-- 130 automake.h
-rw-r--r-- 475 banner
-rw-r--r-- 10232 basics.h
-rw-r--r-- 5990 basics.ph
-rw-r--r-- 4553 bitfield.pcc
-rw-r--r-- 1946 bitfield.ph
-rw-r--r-- 11757 classdef.cc
-rw-r--r-- 5653 classdef.h
-rw-r--r-- 9185 classdef.pcc
-rw-r--r-- 13215 codegen.cc
-rw-r--r-- 1489 codegen.h
-rw-r--r-- 11267 codegen.pcc
-rw-r--r-- 6071 collection.cc
-rw-r--r-- 6410 collection.h
-rw-r--r-- 1615 collection.pcc
-rw-r--r-- 3736 collection.ph
-rw-r--r-- 16757 compiler.cc
-rw-r--r-- 3353 compiler.h
-rw-r--r-- 7907 compiler.pcc
-rw-r--r-- 844 config.h
-rw-r--r-- 65473 constr.cc
-rw-r--r-- 937 constr.pcc
-rw-r--r-- 4805 constraint.pcc
-rw-r--r-- 4696 constraint.ph
-rw-r--r-- 2307 dataflow.pcc
-rw-r--r-- 2503 dataflow.ph
-rw-r--r-- 6305 datagen.cc
-rw-r--r-- 2900 datagen.h
-rw-r--r-- 4294 datagen.h.old
-rw-r--r-- 4253 datagen.pcc
-rw-r--r-- 29425 datagen.pcc.old
-rw-r--r-- 45704 datatype.cc
-rw-r--r-- 8388 datatype.h
-rw-r--r-- 34331 datatype.pcc
-rw-r--r-- 7560 datatype.ph
-rw-r--r-- 3878 depends1
-rw-r--r-- 7441 depends2
-rw-r--r-- 1256 documentation.cc
-rw-r--r-- 363 documentation.pcc
-rw-r--r-- 1956 env.cc
-rw-r--r-- 1308 env.h
-rw-r--r-- 1139 env.pcc
-rw-r--r-- 494 env.ph
-rw-r--r-- 285 frontend.cc
-rw-r--r-- 376 functortab.cc
-rw-r--r-- 1635 functortab.h
-rw-r--r-- 58988 funmap.cc
-rw-r--r-- 9621 funmap.h
-rw-r--r-- 32996 funmap.pcc
-rw-r--r-- 20811 funmap.pcc.old
-rw-r--r-- 7693 funmap.ph
-rw-r--r-- 5420 funmap.ph.old
-rw-r--r-- 7668 gcgen.cc
-rw-r--r-- 4172 gcgen.pcc
-rw-r--r-- 4776 graphedges.h
-rw-r--r-- 3521 graphedges.ph
-rw-r--r-- 7398 graphops.cc
-rw-r--r-- 6567 graphops.pcc
-rw-r--r-- 15265 graphrep.cc
-rw-r--r-- 12705 graphrep.pcc
-rw-r--r-- 2304 graphreport.cc
-rw-r--r-- 1467 graphreport.pcc
-rw-r--r-- 8831 graphtype.cc
-rw-r--r-- 9935 graphtype.h
-rw-r--r-- 7577 graphtype.pcc
-rw-r--r-- 7112 graphtype.ph
-rw-r--r-- 8725 grsgen.cc
-rw-r--r-- 12134 grsgen.h
-rw-r--r-- 1084 grsgen.pcc
-rw-r--r-- 2405 grsgen.ph
-rw-r--r-- 5207 hashtab.cc
-rw-r--r-- 3295 hashtab.h
-rw-r--r-- 16191 indexing.cc
-rw-r--r-- 7939 indexing.pcc
-rw-r--r-- 39696 infgen.cc
-rw-r--r-- 2234 infgen.h
-rw-r--r-- 25626 infgen.pcc
-rw-r--r-- 10402 instance.cc
-rw-r--r-- 7982 instance.pcc
-rw-r--r-- 14360 instgen.pcc.old
-rw-r--r-- 46718 ir.h
-rw-r--r-- 17844 ir.ph
-rw-r--r-- 6567 keywords.h
-rw-r--r-- 4894 keywords.ph
-rw-r--r-- 242 labelgen.cc
-rw-r--r-- 600 labelgen.h
-rw-r--r-- 21781 lawgen.cc
-rw-r--r-- 10671 lawgen.pcc
-rw-r--r-- 16259 lexeme.cc
-rw-r--r-- 8937 lexeme.pcc
-rw-r--r-- 161324 lexer.cc
-rw-r--r-- 8103 lexer.pcc
-rw-r--r-- 25 linking.cc
-rw-r--r-- 6866 list.cc
-rw-r--r-- 1212 list.h
-rw-r--r-- 2133 list.pcc
-rw-r--r-- 220 list.ph
-rw-r--r-- 2528 listimpl.h
-rw-r--r-- 657 listimpl.ph
-rw-r--r-- 7330 logicgen.pcc
-rw-r--r-- 2069 logicgen.ph
-rw-r--r-- 145101 matchcom.cc
-rw-r--r-- 26396 matchcom.h
-rw-r--r-- 54754 matchcom.pcc
-rw-r--r-- 16004 matchcom.ph
-rw-r--r-- 52887 matchgen.cc
-rw-r--r-- 38319 matchgen.pcc
-rw-r--r-- 5926 metasyntax.cc
-rw-r--r-- 3037 metasyntax.h
-rw-r--r-- 5090 metasyntax.pcc
-rw-r--r-- 2203 metasyntax.ph
-rw-r--r-- 3779 options.cc
-rw-r--r-- 5111 options.h
-rw-r--r-- 53545 parsegen.cc
-rw-r--r-- 14211 parsegen.h
-rw-r--r-- 34244 parsegen.pcc
-rw-r--r-- 33743 parsegen.pcc.old
-rw-r--r-- 7484 parsegen.ph
-rw-r--r-- 33683 parser-util.cc
-rw-r--r-- 15250 parser-util.pcc
-rw-r--r-- 364356 parser.cc
-rw-r--r-- 9373 parser.h
-rw-r--r-- 68551 parser.pcc
-rw-r--r-- 6897 parser.ph
-rw-r--r-- 16370 pat.cc
-rw-r--r-- 2908 pat.h
-rw-r--r-- 6319 pat.pcc
-rw-r--r-- 2097 pat.ph
-rw-r--r-- 122 patchlev.cc
-rw-r--r-- 6751 patenv.cc
-rw-r--r-- 2718 patenv.h
-rw-r--r-- 13929 persistgen.cc
-rw-r--r-- 8508 persistgen.pcc
-rw-r--r-- 21600 printgen.cc
-rw-r--r-- 9274 printgen.pcc
-rw-r--r-- 7591 printgen.pcc.old
-rw-r--r-- 70456 printing.cc
-rw-r--r-- 29678 printing.pcc
-rw-r--r-- 12997 process.cc
-rw-r--r-- 49520 prog.C
-rw-r--r-- 11829 prog.pC
-rw-r--r-- 17395 prop-main.cc
-rw-r--r-- 6819 prop-main.pcc
-rw-r--r-- 270 querydecomp.pcc
-rw-r--r-- 59317 rwgen.cc
-rw-r--r-- 8594 rwgen.h
-rw-r--r-- 2678 rwgen.h.old
-rw-r--r-- 50235 rwgen.pcc
-rw-r--r-- 35880 rwgen.pcc.old
-rw-r--r-- 6847 rwgen2.cc
-rw-r--r-- 4079 rwgen2.pcc
-rw-r--r-- 28440 rwgen3.cc
-rw-r--r-- 18814 rwgen3.pcc
-rw-r--r-- 15739 rwgen3.pcc.old
-rw-r--r-- 7948 rwgen4.cc
-rw-r--r-- 5891 rwgen4.pcc
-rw-r--r-- 8518 rwgen5.cc
-rw-r--r-- 7220 rwgen5.pcc
-rw-r--r-- 2509 rwmix.cc
-rw-r--r-- 1658 rwmix.h
-rw-r--r-- 1689 rwmix.pcc
-rw-r--r-- 10270 rwmix.pcc.old
-rw-r--r-- 838 rwmix.ph
-rw-r--r-- 2007 rwmix.ph.old
-rw-r--r-- 26759 selector.cc
-rw-r--r-- 7090 selector.pcc
-rw-r--r-- 16694 setl-ast.cc
-rw-r--r-- 17395 setl-ast.h
-rw-r--r-- 4003 setl-ast.pcc
-rw-r--r-- 5292 setl-ast.ph
-rw-r--r-- 5956 setlgen.cc
-rw-r--r-- 5293 setlgen.h
-rw-r--r-- 3676 setlgen.pcc
-rw-r--r-- 3597 setlgen.ph
-rw-r--r-- 12623 setltype.cc
-rw-r--r-- 5961 setltype.pcc
-rw-r--r-- 181 simple.pcc
-rw-r--r-- 195371 sparc.C
-rw-r--r-- 138406 sparc.c
-rw-r--r-- 32895 sparc.md
-rw-r--r-- 12354 sparc.pC
-rw-r--r-- 90005 sparc2.C
-rw-r--r-- 3123 sparc2.pC
-rw-r--r-- 11584 sparc3.C
-rw-r--r-- 486 sparc3.pC
-rwxr-xr-x 1819 testprop
-rw-r--r-- 2632 textbuf.cc
-rw-r--r-- 1201 textbuf.h
-rw-r--r-- 15407 timespace.cc
-rw-r--r-- 9770 timespace.h
-rw-r--r-- 2594 timespace.pcc
-rw-r--r-- 2691 timespace.ph
-rw-r--r-- 32592 trs.cc
-rw-r--r-- 10471 trs.h
-rw-r--r-- 12245 trs.pcc
-rw-r--r-- 6501 trs.ph
-rw-r--r-- 17262 trs2.cc
-rw-r--r-- 10647 trs2.pcc
-rw-r--r-- 10133 trs3.cc
-rw-r--r-- 5178 trs3.pcc
-rw-r--r-- 109307 type.cc
-rw-r--r-- 10009 type.h
-rw-r--r-- 42407 type.pcc
-rw-r--r-- 6776 visual2.cc
-rw-r--r-- 4225 visual2.pcc
-rw-r--r-- 4831 visualize.cc
-rw-r--r-- 1632 visualize.h
-rw-r--r-- 3964 visualize.pcc
-rw-r--r-- 2577 wam.pcc
-rw-r--r-- 6130 wam.ph