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