Changes in / [8e04794:909aebf]
- Files:
-
- 88 added
- 89 deleted
- 23 edited
-
benchmark/Makefile.am (modified) (2 diffs)
-
doc/bibliography/pl.bib (modified) (21 diffs)
-
src/Parser/parser.yy (modified) (2 diffs)
-
tests/.expect/alloc-ERROR.txt (modified) (4 diffs)
-
tests/.expect/castError.txt (modified) (1 diff)
-
tests/.expect/completeTypeError.txt (modified) (1 diff)
-
tests/.expect/declarationErrors.txt (modified) (3 diffs)
-
tests/.expect/nested-types-ERR1.txt (modified) (1 diff)
-
tests/.expect/nested-types-ERR2.txt (modified) (1 diff)
-
tests/.expect/quotedKeyword.txt (added)
-
tests/.expect/quoted_keyword.txt (deleted)
-
tests/.expect/scopeErrors.txt (modified) (1 diff)
-
tests/.expect/typedefRedef-ERR1.txt (modified) (1 diff)
-
tests/.expect/user_literals.txt (deleted)
-
tests/.expect/with-statement.txt (deleted)
-
tests/KRfunctions.c (deleted)
-
tests/KRfunctions.cfa (added)
-
tests/Makefile.am (modified) (5 diffs)
-
tests/Makefile.in (modified) (11 diffs)
-
tests/abs.c (deleted)
-
tests/abs.cfa (added)
-
tests/alloc.c (deleted)
-
tests/alloc.cfa (added)
-
tests/array.c (deleted)
-
tests/array.cfa (added)
-
tests/ato.c (deleted)
-
tests/ato.cfa (added)
-
tests/attributes.c (deleted)
-
tests/attributes.cfa (added)
-
tests/cast.c (deleted)
-
tests/cast.cfa (added)
-
tests/castError.c (deleted)
-
tests/castError.cfa (added)
-
tests/commentMisc.c (deleted)
-
tests/commentMisc.cfa (added)
-
tests/completeTypeError.c (deleted)
-
tests/completeTypeError.cfa (added)
-
tests/complex.c (deleted)
-
tests/complex.cfa (added)
-
tests/concurrent/coroutineYield.c (modified) (1 diff)
-
tests/concurrent/examples/matrixSum.c (modified) (2 diffs)
-
tests/concurrent/preempt.c (modified) (1 diff)
-
tests/concurrent/signal/block.c (modified) (1 diff)
-
tests/concurrent/signal/disjoint.c (modified) (1 diff)
-
tests/concurrent/signal/wait.c (modified) (1 diff)
-
tests/context.c (deleted)
-
tests/context.cfa (added)
-
tests/counter.c (deleted)
-
tests/counter.cfa (added)
-
tests/declarationErrors.c (deleted)
-
tests/declarationErrors.cfa (added)
-
tests/declarationSpecifier.c (deleted)
-
tests/declarationSpecifier.cfa (added)
-
tests/designations.c (deleted)
-
tests/designations.cfa (added)
-
tests/div.c (deleted)
-
tests/div.cfa (added)
-
tests/enum.c (deleted)
-
tests/enum.cfa (added)
-
tests/except-0.c (deleted)
-
tests/except-0.cfa (added)
-
tests/except-1.c (deleted)
-
tests/except-1.cfa (added)
-
tests/except-2.c (deleted)
-
tests/except-2.cfa (added)
-
tests/except-3.c (deleted)
-
tests/except-3.cfa (added)
-
tests/except-mac.h (deleted)
-
tests/except-mac.hfa (added)
-
tests/expression.c (deleted)
-
tests/expression.cfa (added)
-
tests/extension.c (deleted)
-
tests/extension.cfa (added)
-
tests/fallthrough.c (deleted)
-
tests/fallthrough.cfa (added)
-
tests/forall.c (deleted)
-
tests/forall.cfa (added)
-
tests/fstream_test.c (deleted)
-
tests/fstream_test.cfa (added)
-
tests/function-operator.c (deleted)
-
tests/function-operator.cfa (added)
-
tests/functions.c (deleted)
-
tests/functions.cfa (added)
-
tests/gccExtensions.c (deleted)
-
tests/gccExtensions.cfa (added)
-
tests/genericUnion.c (deleted)
-
tests/genericUnion.cfa (added)
-
tests/gmp.c (deleted)
-
tests/gmp.cfa (added)
-
tests/heap.c (deleted)
-
tests/heap.cfa (added)
-
tests/hello.c (deleted)
-
tests/hello.cfa (added)
-
tests/identFuncDeclarator.c (deleted)
-
tests/identFuncDeclarator.cfa (added)
-
tests/identParamDeclarator.c (deleted)
-
tests/identParamDeclarator.cfa (added)
-
tests/identity.c (deleted)
-
tests/identity.cfa (added)
-
tests/ifwhileCtl.c (deleted)
-
tests/ifwhileCtl.cfa (added)
-
tests/io1.c (deleted)
-
tests/io1.cfa (added)
-
tests/io2.c (deleted)
-
tests/io2.cfa (added)
-
tests/labelledExit.c (deleted)
-
tests/labelledExit.cfa (added)
-
tests/limits.c (deleted)
-
tests/limits.cfa (added)
-
tests/literals.c (deleted)
-
tests/literals.cfa (added)
-
tests/long_tests.h (deleted)
-
tests/long_tests.hfa (added)
-
tests/loopctrl.c (deleted)
-
tests/loopctrl.cfa (added)
-
tests/math1.c (deleted)
-
tests/math1.cfa (added)
-
tests/math2.c (deleted)
-
tests/math2.cfa (added)
-
tests/math3.c (deleted)
-
tests/math3.cfa (added)
-
tests/math4.c (deleted)
-
tests/math4.cfa (added)
-
tests/maybe.c (deleted)
-
tests/maybe.cfa (added)
-
tests/minmax.c (deleted)
-
tests/minmax.cfa (added)
-
tests/namedParmArg.c (deleted)
-
tests/namedParmArg.cfa (added)
-
tests/nested-types.c (deleted)
-
tests/nested-types.cfa (added)
-
tests/numericConstants.c (deleted)
-
tests/numericConstants.cfa (added)
-
tests/occursError.c (deleted)
-
tests/occursError.cfa (added)
-
tests/operators.c (deleted)
-
tests/operators.cfa (added)
-
tests/polymorphism.c (deleted)
-
tests/polymorphism.cfa (added)
-
tests/preempt_longrun/create.c (modified) (1 diff)
-
tests/preempt_longrun/enter3.c (modified) (1 diff)
-
tests/preempt_longrun/processor.c (modified) (1 diff)
-
tests/preempt_longrun/yield.c (modified) (1 diff)
-
tests/quotedKeyword.cfa (added)
-
tests/quoted_keyword.c (deleted)
-
tests/random.c (deleted)
-
tests/random.cfa (added)
-
tests/rational.c (deleted)
-
tests/rational.cfa (added)
-
tests/references.c (deleted)
-
tests/references.cfa (added)
-
tests/result.c (deleted)
-
tests/result.cfa (added)
-
tests/scope.c (deleted)
-
tests/scope.cfa (added)
-
tests/scopeErrors.c (deleted)
-
tests/scopeErrors.cfa (added)
-
tests/searchsort.c (deleted)
-
tests/searchsort.cfa (added)
-
tests/shortCircuit.c (deleted)
-
tests/shortCircuit.cfa (added)
-
tests/simpleGenericTriple.c (deleted)
-
tests/simpleGenericTriple.cfa (added)
-
tests/stdincludes.c (deleted)
-
tests/stdincludes.cfa (added)
-
tests/structMember.c (deleted)
-
tests/structMember.cfa (added)
-
tests/subrange.c (deleted)
-
tests/subrange.cfa (added)
-
tests/sum.c (deleted)
-
tests/sum.cfa (added)
-
tests/swap.c (deleted)
-
tests/swap.cfa (added)
-
tests/switch.c (deleted)
-
tests/switch.cfa (added)
-
tests/test.c (added)
-
tests/time.c (deleted)
-
tests/time.cfa (added)
-
tests/typeGenerator.c (deleted)
-
tests/typeGenerator.cfa (added)
-
tests/typedef.c (deleted)
-
tests/typedef.cfa (added)
-
tests/typedefDeclarator.c (deleted)
-
tests/typedefDeclarator.cfa (added)
-
tests/typedefRedef.c (deleted)
-
tests/typedefRedef.cfa (added)
-
tests/typeof.c (deleted)
-
tests/typeof.cfa (added)
-
tests/userLiterals.cfa (added)
-
tests/user_literals.c (deleted)
-
tests/variableDeclarator.c (deleted)
-
tests/variableDeclarator.cfa (added)
-
tests/vector.c (deleted)
-
tests/vector.cfa (added)
-
tests/virtualCast.c (deleted)
-
tests/virtualCast.cfa (added)
-
tests/voidPtr.c (deleted)
-
tests/voidPtr.cfa (added)
-
tests/with-statement.c (deleted)
-
tests/withStatement.cfa (added)
Legend:
- Unmodified
- Added
- Removed
-
benchmark/Makefile.am
r8e04794 r909aebf 11 11 ## Created On : Sun May 31 09:08:15 2015 12 12 ## Last Modified By : Peter A. Buhr 13 ## Last Modified On : Mon Jan 25 22:31:42 201614 ## Update Count : 2 513 ## Last Modified On : Tue Nov 6 09:01:23 2018 14 ## Update Count : 26 15 15 ############################################################################### 16 16 … … 304 304 305 305 compile-attributes$(EXEEXT): 306 @$(CFACOMPILE) -fsyntax-only -w $(testdir)/attributes.c 306 @$(CFACOMPILE) -fsyntax-only -w $(testdir)/attributes.cfa 307 307 308 308 compile-empty$(EXEEXT): -
doc/bibliography/pl.bib
r8e04794 r909aebf 21 21 % toplas: ACM Trans. on Prog. Lang. & Sys. 22 22 % tcs: Theoretical Computer Science 23 @string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"} 24 % @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."} 25 @string{ieeese="IEEE Transactions on Software Engineering"} 26 % @string{ieeese="IEEE Trans. Softw. Eng."} 27 @string{spe="Software---\-Practice and Experience"} 28 % @string{spe="Softw. Pract. Exp."} 29 @string{ccpe="Concurrency and Computation: Practice and Experience"} 30 % @string{ccpe="Concurrency Comput: Pract Experience"} 31 @string{sigplan="SIGPLAN Notices"} 32 % @string{sigplan="SIGPLAN Not."} 33 @string{joop="Journal of Object-Oriented Programming"} 34 % @string{joop="J. of Object-Oriented Program."} 23 24 string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"} 25 @string{ieeepds="IEEE Trans. Parallel Distrib. Syst."} 26 string{ieeese="IEEE Transactions on Software Engineering"} 27 @string{ieeese="IEEE Trans. Softw. Eng."} 28 string{spe="Software---\-Practice and Experience"} 29 @string{spe="Softw. Pract. Exper."} 30 string{ccpe="Concurrency and Computation: Practice and Experience"} 31 @string{ccpe="Concurrency Comput.: Pract. Exper."} 32 string{sigplan="SIGPLAN Notices"} 33 @string{sigplan="SIGPLAN Not."} 34 string{joop="Journal of Object-Oriented Programming"} 35 @string{joop="J. of Object-Oriented Program."} 35 36 @string{popl="Conference Record of the ACM Symposium on Principles of Programming Languages"} 36 37 @string{osr="Operating Systems Review"} 37 38 @string{pldi="Programming Language Design and Implementation"} 38 39 @string{toplas="Transactions on Programming Languages and Systems"} 39 @string{mathann="Mathematische Annalen"}40 %@string{mathann="Math. Ann."}40 string{mathann="Mathematische Annalen"} 41 @string{mathann="Math. Ann."} 41 42 42 43 % A … … 566 567 } 567 568 569 @inproceedings {Qin18, 570 author = {Henry Qin and Qian Li and Jacqueline Speiser and Peter Kraft and John Ousterhout}, 571 title = {Arachne: Core-Aware Thread Management}, 572 booktitle = {13th {USENIX} Symp. on Oper. Sys. Design and Impl. ({OSDI} 18)}, 573 year = {2018}, 574 address = {Carlsbad, CA}, 575 pages = {145-160}, 576 publisher = {{USENIX} Association}, 577 note = {\href{https://www.usenix.org/conference/osdi18/presentation/qin}{https://\-www.usenix.org/\-conference/\-osdi18/\-presentation/\-qin}}, 578 } 579 568 580 @article{Kessels82, 569 581 keywords = {concurrency, critical section}, … … 653 665 author = {Joung, Yuh-Jzer}, 654 666 title = {Asynchronous group mutual exclusion}, 655 journal = {Distributed Computing}, 667 journal = {Dist. Comput.}, 668 optjournal = {Distributed Computing}, 656 669 year = {2000}, 657 670 month = {Nov}, … … 796 809 time computable inheritance hierarchy. 797 810 }, 798 comment 811 comment = { 799 812 Classes are predicates; if object {\tt o} is in class {\tt C}, then 800 813 {\tt C} is true of {\tt o}. Classes are combined with {\tt :AND}, … … 950 963 951 964 @article{Moss18, 952 keywords = {type systems, tuples, Cforall},965 keywords = {type systems, polymorphism, tuples, Cforall}, 953 966 contributer = {pabuhr@plg}, 954 967 author = {Aaron Moss and Robert Schluntz and Peter A. Buhr}, 955 968 title = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C}, 969 journal = spe, 970 volume = 48, 971 number = 12, 972 month = dec, 956 973 year = 2018, 957 month = aug, 958 journal = spe, 974 pages = {2111-2146}, 959 975 note = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}}, 960 976 } … … 989 1005 journal = {Dr. Dobb's Journal of Software Tools}, 990 1006 year = 1989, 991 month = feb, volume = 14, number = 2, pages = {45-51}, 1007 month = feb, 1008 volume = 14, 1009 number = 2, 1010 pages = {45-51}, 992 1011 comment = { 993 1012 A light-weight multitasking kernel for MS-DOS. A task\_control … … 1507 1526 } 1508 1527 1509 @ techreport{uC++,1528 @manual{uC++, 1510 1529 keywords = {C++, concurrency, light-weight process, shared memory}, 1511 1530 contributer = {pabuhr@plg}, 1531 key = {uC++}, 1512 1532 author = {Peter A. Buhr}, 1513 1533 title = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0}, 1514 institution = {School of Computer Science, University of Waterloo}, 1515 address = {Waterloo, Ontario, Canada, N2L 3G1}, 1516 month = dec, 1517 year = 2017, 1534 organization= {University of Waterloo}, 1535 month = sep, 1536 year = 2018, 1518 1537 note = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}}, 1519 1538 } … … 1586 1605 author = {Sun, Xianda}, 1587 1606 title = {Concurrent High-performance Persistent Hash Table In {J}ava}, 1588 school = {School of Computer Sc ience, University of Waterloo},1607 school = {School of Computer Sc., University of Waterloo}, 1589 1608 year = 2015, 1590 1609 optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, … … 1936 1955 note = {Svensk Standard SS 63 61 14}, 1937 1956 year = 1987, 1938 abstract = { 1939 Standard for the programming language SIMULA. Written in English. 1940 } 1957 abstract = {Standard for the programming language SIMULA. Written in English.} 1941 1958 } 1942 1959 1943 1960 @article{Galil91, 1944 keywords= {union-find},1945 contributer= {a3moss@uwaterloo.ca},1946 title={Data structures and algorithms for disjoint set union problems},1947 author={Galil, Zvi and Italiano, Giuseppe F},1948 journal={ACM Computing Surveys (CSUR)},1949 volume={23},1950 number={3},1951 pages={319--344},1952 year={1991},1953 publisher={ACM}1961 keywords = {union-find}, 1962 contributer = {a3moss@uwaterloo.ca}, 1963 title = {Data structures and algorithms for disjoint set union problems}, 1964 author = {Galil, Zvi and Italiano, Giuseppe F}, 1965 journal = {ACM Computing Surveys (CSUR)}, 1966 volume = 23, 1967 number = 3, 1968 pages = {319--344}, 1969 year = 1991, 1970 publisher = {ACM}, 1954 1971 } 1955 1972 … … 2094 2111 2095 2112 @book{Aho74, 2096 keywords= {algorithms, textbook, union-find},2097 contributer= {a3moss@uwaterloo.ca},2098 title= {The Design and Analysis of Computer Algorithms},2099 author= {Aho, Alfred V and Hopcroft, John E and Ullman, Jeffrey D},2100 year= {1974},2101 publisher= {Addison-Wesley},2102 address= {Reading, MA, USA}2113 keywords = {algorithms, textbook, union-find}, 2114 contributer = {a3moss@uwaterloo.ca}, 2115 title = {The Design and Analysis of Computer Algorithms}, 2116 author = {Aho, Alfred V and Hopcroft, John E and Ullman, Jeffrey D}, 2117 year = {1974}, 2118 publisher = {Addison-Wesley}, 2119 address = {Reading, MA, USA} 2103 2120 } 2104 2121 … … 2900 2917 month = oct, 2901 2918 year = 1988, 2902 pages = {143- -149}2903 } 2904 2905 @ InProceedings{Patwary10,2906 keywords= {union-find},2907 contributer = {a3moss@uwaterloo.ca},2908 author={Patwary, Md. Mostofa Ali and Blair, Jean and Manne, Fredrik},2909 editor={Festa, Paola},2910 title={Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure},2911 booktitle={Experimental Algorithms},2912 year=2010,2913 publisher={Springer Berlin Heidelberg},2914 address={Berlin, Heidelberg},2915 pages={411--423},2916 isbn={978-3-642-13193-6}2919 pages = {143-149} 2920 } 2921 2922 @inproceedings{Patwary10, 2923 keywords = {union-find}, 2924 contributer = {a3moss@uwaterloo.ca}, 2925 author = {Patwary, Md. Mostofa Ali and Blair, Jean and Manne, Fredrik}, 2926 editor = {Festa, Paola}, 2927 title = {Experiments on Union-Find Algorithms for the Disjoint-Set Data Structure}, 2928 booktitle = {Experimental Algorithms}, 2929 year = 2010, 2930 publisher = {Springer Berlin Heidelberg}, 2931 address = {Berlin, Heidelberg}, 2932 pages = {411--423}, 2933 isbn = {978-3-642-13193-6} 2917 2934 } 2918 2935 … … 3260 3277 keywords = {Go programming language}, 3261 3278 contributer = {pabuhr@plg}, 3279 author = {Robert Griesemer and Rob Pike and Ken Thompson}, 3262 3280 title = {{Go} Programming Language}, 3263 author = {Robert Griesemer and Rob Pike and Ken Thompson},3264 3281 organization= {Google}, 3265 3282 year = 2009, … … 3453 3470 month = sep, 3454 3471 publisher = {John Wiley \& Sons}, 3455 note = {\href{https://doi -org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}{https://\-doi-org.proxy.lib.uwaterloo.ca/\-10.1002/\-cpe.4475}},3472 note = {\href{https://doi.org/10.1002/cpe.4475}{https://\-doi.org/\-10.1002/\-cpe.4475}}, 3456 3473 } 3457 3474 … … 3594 3611 3595 3612 @article{Galler64, 3596 keywords={union-find, original},3597 contributer={a3moss@uwaterloo.ca},3598 title={An improved equivalence algorithm},3599 author={Galler, Bernard A and Fisher, Michael J},3600 journal={Communications of the ACM},3601 volume={7},3602 number={5},3603 pages={301--303},3604 year={1964},3605 publisher={ACM}3613 keywords = {union-find, original}, 3614 contributer = {a3moss@uwaterloo.ca}, 3615 title = {An improved equivalence algorithm}, 3616 author = {Galler, Bernard A and Fisher, Michael J}, 3617 journal = {Communications of the ACM}, 3618 volume = {7}, 3619 number = {5}, 3620 pages = {301--303}, 3621 year = {1964}, 3622 publisher = {ACM} 3606 3623 } 3607 3624 … … 3948 3965 author = {Peter A. Buhr and Martin Karsten and Jun Shih}, 3949 3966 title = {{\small\textsf{KDB}}: A Multi-threaded Debugger for Multi-threaded Applications}, 3950 booktitle = {Proc eedings of SPDT'96: SIGMETRICS Symposiumon Parallel and Distributed Tools},3967 booktitle = {Proc. of SPDT'96: SIGMETRICS Symp. on Parallel and Distributed Tools}, 3951 3968 publisher = {ACM Press}, 3952 3969 address = {Philadelphia, Pennsylvania, U.S.A.}, … … 5440 5457 5441 5458 @inproceedings{Conchon07, 5442 keywords= {persistent array, union-find},5443 contributer= {a3moss@uwaterloo.ca},5444 title={A persistent union-find data structure},5445 author={Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe},5446 booktitle={Proceedings of the 2007 workshop on Workshop on ML},5447 pages={37--46},5448 year={2007},5449 organization={ACM}5459 keywords = {persistent array, union-find}, 5460 contributer = {a3moss@uwaterloo.ca}, 5461 title = {A persistent union-find data structure}, 5462 author = {Conchon, Sylvain and Filli{\^a}tre, Jean-Christophe}, 5463 booktitle = {Proceedings of the 2007 workshop on Workshop on ML}, 5464 pages = {37--46}, 5465 year = {2007}, 5466 organization= {ACM} 5450 5467 } 5451 5468 … … 5664 5681 author = {Peter A. Buhr and Robert Denda}, 5665 5682 title = {{$\mu$Profiler} : Profiling User-Level Threads in a Shared-Memory Programming Environment}, 5666 booktitle = {Proc eedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98)},5683 booktitle = {Proc. of 2nd Inter. Symp. on Computing in Object-Oriented Parallel Environments}, 5667 5684 series = {Lecture Notes in Computer Science}, 5668 5685 publisher = {Springer-Verlag}, … … 6035 6052 issn = {0164-0925}, 6036 6053 pages = {429-475}, 6037 url = {http://doi.acm.org .proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},6054 url = {http://doi.acm.org/10.1145/1133651.1133653}, 6038 6055 doi = {10.1145/1133651.1133653}, 6039 6056 acmid = {1133653}, … … 6302 6319 contributer = {pabuhr@plg}, 6303 6320 key = {Rust}, 6304 title = { The{R}ust Programming Language},6305 address = {TheRust Project Developers},6321 title = {{R}ust Programming Language}, 6322 optaddress = {Rust Project Developers}, 6306 6323 year = 2015, 6307 6324 note = {\href{https://doc.rust-lang.org/reference.html}{https://\-doc.rust-lang\-.org/\-reference.html}}, … … 6372 6389 6373 6390 @article{Baker78, 6374 keywords= {Algol display, FUNARG's, Lisp 1.5, deep binding, environment trees, multiprogramming, shallow binding},6375 contributer= {a3moss@uwaterloo.ca},6376 author= {Baker,Jr., Henry G.},6377 title= {Shallow Binding in Lisp 1.5},6378 journal= {Commun. ACM},6379 issue_date= {July 1978},6380 volume = {21},6381 number = {7},6382 month= jul,6383 year = {1978},6384 issn= {0001-0782},6385 pages= {565--569},6386 numpages= {5},6387 url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/359545.359566},6388 doi= {10.1145/359545.359566},6389 acmid= {359566},6390 publisher= {ACM},6391 address= {New York, NY, USA}6391 keywords = {Algol display, FUNARG's, Lisp 1.5, deep binding, environment trees, multiprogramming, shallow binding}, 6392 contributer = {a3moss@uwaterloo.ca}, 6393 author = {Baker,Jr., Henry G.}, 6394 title = {Shallow Binding in Lisp 1.5}, 6395 journal = {Commun. ACM}, 6396 issue_date = {July 1978}, 6397 volume = 21, 6398 number = 7, 6399 month = jul, 6400 year = 1978, 6401 issn = {0001-0782}, 6402 pages = {565--569}, 6403 numpages = {5}, 6404 url = {http://doi.acm.org/10.1145/359545.359566}, 6405 doi = {10.1145/359545.359566}, 6406 acmid = {359566}, 6407 publisher = {ACM}, 6408 address = {New York, NY, USA} 6392 6409 } 6393 6410 6394 6411 @article{Baker91, 6395 keywords= {shallow binding, functional arrays},6396 contributer= {a3moss@uwaterloo.ca},6397 author= {Baker, Henry G.},6398 title= {Shallow Binding Makes Functional Arrays Fast},6399 journal= {SIGPLAN Not.},6400 issue_date= {Aug. 1991},6401 volume = {26},6402 number = {8},6403 month= aug,6404 year = {1991},6405 issn= {0362-1340},6406 pages= {145--147},6407 numpages= {3},6408 url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/122598.122614},6409 doi= {10.1145/122598.122614},6410 acmid= {122614},6411 publisher= {ACM},6412 address= {New York, NY, USA},6412 keywords = {shallow binding, functional arrays}, 6413 contributer = {a3moss@uwaterloo.ca}, 6414 author = {Baker, Henry G.}, 6415 title = {Shallow Binding Makes Functional Arrays Fast}, 6416 journal = {SIGPLAN Not.}, 6417 issue_date = {Aug. 1991}, 6418 volume = 26, 6419 number = 8, 6420 month = aug, 6421 year = 1991, 6422 issn = {0362-1340}, 6423 pages = {145--147}, 6424 numpages = {3}, 6425 url = {http://doi.acm.org/10.1145/122598.122614}, 6426 doi = {10.1145/122598.122614}, 6427 acmid = {122614}, 6428 publisher = {ACM}, 6429 address = {New York, NY, USA}, 6413 6430 } 6414 6431 … … 7580 7597 7581 7598 @article{Tarjan84, 7582 keywords= {union-find},7583 contributer= {a3moss@uwaterloo.ca},7584 author= {Tarjan, Robert E. and van Leeuwen, Jan},7585 title= {Worst-case Analysis of Set Union Algorithms},7586 journal= {J. ACM},7587 issue_date= {April 1984},7588 volume = {31},7589 number = {2},7590 month= mar,7591 year = {1984},7592 issn= {0004-5411},7593 pages= {245--281},7594 numpages= {37},7595 url= {http://doi.acm.org/10.1145/62.2160},7596 doi= {10.1145/62.2160},7597 acmid= {2160},7598 publisher= {ACM},7599 address= {New York, NY, USA},7599 keywords = {union-find}, 7600 contributer = {a3moss@uwaterloo.ca}, 7601 author = {Tarjan, Robert E. and van Leeuwen, Jan}, 7602 title = {Worst-case Analysis of Set Union Algorithms}, 7603 journal = {J. ACM}, 7604 issue_date = {April 1984}, 7605 volume = 31, 7606 number = 2, 7607 month = mar, 7608 year = 1984, 7609 issn = {0004-5411}, 7610 pages = {245--281}, 7611 numpages = {37}, 7612 url = {http://doi.acm.org/10.1145/62.2160}, 7613 doi = {10.1145/62.2160}, 7614 acmid = {2160}, 7615 publisher = {ACM}, 7616 address = {New York, NY, USA}, 7600 7617 } 7601 7618 -
src/Parser/parser.yy
r8e04794 r909aebf 10 10 // Created On : Sat Sep 1 20:22:55 2001 11 11 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Thu Nov 1 20:59:49201813 // Update Count : 403 012 // Last Modified On : Sat Nov 3 08:55:10 2018 13 // Update Count : 4032 14 14 // 15 15 … … 192 192 } // if 193 193 return new ForCtrl( 194 distAttr( DeclarationNode::newTypeof( type ), DeclarationNode::newName( index )->addInitializer( new InitializerNode( start ) ) ),194 distAttr( DeclarationNode::newTypeof( type, true ), DeclarationNode::newName( index )->addInitializer( new InitializerNode( start ) ) ), 195 195 new ExpressionNode( build_binary_val( compop, new ExpressionNode( build_varref( new string( *index ) ) ), comp ) ), 196 196 new ExpressionNode( build_binary_val( compop == OperKinds::LThan || compop == OperKinds::LEThan ? // choose += or -= for upto/downto -
tests/.expect/alloc-ERROR.txt
r8e04794 r909aebf 1 alloc.c :265:1 error: No reasonable alternatives for expression Applying untyped:1 alloc.cfa:265:1 error: No reasonable alternatives for expression Applying untyped: 2 2 Name: ?=? 3 3 ...to: … … 19 19 20 20 21 alloc.c :266:1 error: No reasonable alternatives for expression Applying untyped:21 alloc.cfa:266:1 error: No reasonable alternatives for expression Applying untyped: 22 22 Name: ?=? 23 23 ...to: … … 39 39 40 40 41 alloc.c :267:1 error: No reasonable alternatives for expression Applying untyped:41 alloc.cfa:267:1 error: No reasonable alternatives for expression Applying untyped: 42 42 Name: ?=? 43 43 ...to: … … 50 50 51 51 52 alloc.c :268:1 error: No reasonable alternatives for expression Applying untyped:52 alloc.cfa:268:1 error: No reasonable alternatives for expression Applying untyped: 53 53 Name: ?=? 54 54 ...to: -
tests/.expect/castError.txt
r8e04794 r909aebf 1 castError.c :7:1 error: Cannot choose between 3 alternatives for expression1 castError.cfa:7:1 error: Cannot choose between 3 alternatives for expression 2 2 Cast of: 3 3 Name: f 4 4 ... to: 5 char Alternatives are:5 char Alternatives are: 6 6 Cost ( 1, 0, 0, 0 ): Cast of: 7 7 Variable Expression: f: function -
tests/.expect/completeTypeError.txt
r8e04794 r909aebf 1 completeTypeError.c :33:1 error: No reasonable alternatives for expression Applying untyped:1 completeTypeError.cfa:33:1 error: No reasonable alternatives for expression Applying untyped: 2 2 Name: *? 3 3 ...to: 4 4 Name: v 5 5 6 completeTypeError.c :34:1 error: No reasonable alternatives for expression Applying untyped:6 completeTypeError.cfa:34:1 error: No reasonable alternatives for expression Applying untyped: 7 7 Name: *? 8 8 ...to: 9 9 Name: y 10 10 11 completeTypeError.c :35:1 error: No reasonable alternatives for expression Applying untyped:11 completeTypeError.cfa:35:1 error: No reasonable alternatives for expression Applying untyped: 12 12 Name: foo 13 13 ...to: 14 14 Name: v 15 15 16 completeTypeError.c :36:1 error: No reasonable alternatives for expression Applying untyped:16 completeTypeError.cfa:36:1 error: No reasonable alternatives for expression Applying untyped: 17 17 Name: baz 18 18 ...to: 19 19 Name: v 20 20 21 completeTypeError.c :37:1 error: No reasonable alternatives for expression Applying untyped:21 completeTypeError.cfa:37:1 error: No reasonable alternatives for expression Applying untyped: 22 22 Name: quux 23 23 ...to: 24 24 Name: v 25 25 26 completeTypeError.c :58:1 error: No reasonable alternatives for expression Applying untyped:26 completeTypeError.cfa:58:1 error: No reasonable alternatives for expression Applying untyped: 27 27 Name: baz 28 28 ...to: 29 29 Name: y 30 30 31 completeTypeError.c :59:1 error: No reasonable alternatives for expression Applying untyped:31 completeTypeError.cfa:59:1 error: No reasonable alternatives for expression Applying untyped: 32 32 Name: quux 33 33 ...to: 34 34 Name: y 35 35 36 completeTypeError.c :60:1 error: No reasonable alternatives for expression Applying untyped:36 completeTypeError.cfa:60:1 error: No reasonable alternatives for expression Applying untyped: 37 37 Name: *? 38 38 ...to: 39 39 Name: y 40 40 41 completeTypeError.c :72:1 error: No reasonable alternatives for expression Applying untyped:41 completeTypeError.cfa:72:1 error: No reasonable alternatives for expression Applying untyped: 42 42 Name: baz 43 43 ...to: -
tests/.expect/declarationErrors.txt
r8e04794 r909aebf 1 declarationErrors.c :16:1 error: duplicate static in declaration of x1: static const volatile short int1 declarationErrors.cfa:16:1 error: duplicate static in declaration of x1: static const volatile short int 2 2 3 declarationErrors.c :17:1 error: conflicting extern & static in declaration of x2: extern const volatile short int3 declarationErrors.cfa:17:1 error: conflicting extern & static in declaration of x2: extern const volatile short int 4 4 5 declarationErrors.c :18:1 error: conflicting extern & auto, conflicting extern & static, conflicting extern & static, duplicate extern in declaration of x3: extern const volatile short int5 declarationErrors.cfa:18:1 error: conflicting extern & auto, conflicting extern & static, conflicting extern & static, duplicate extern in declaration of x3: extern const volatile short int 6 6 7 declarationErrors.c :19:1 error: duplicate static in declaration of x4: static const volatile instance of const volatile struct __anonymous07 declarationErrors.cfa:19:1 error: duplicate static in declaration of x4: static const volatile instance of const volatile struct __anonymous0 8 8 with members 9 9 i: int … … 11 11 12 12 13 declarationErrors.c :20:1 error: duplicate const, duplicate static, duplicate volatile in declaration of x5: static const volatile instance of const volatile struct __anonymous113 declarationErrors.cfa:20:1 error: duplicate const, duplicate static, duplicate volatile in declaration of x5: static const volatile instance of const volatile struct __anonymous1 14 14 with members 15 15 i: int … … 17 17 18 18 19 declarationErrors.c :22:1 error: duplicate static in declaration of x6: static const volatile Int19 declarationErrors.cfa:22:1 error: duplicate static in declaration of x6: static const volatile Int 20 20 21 declarationErrors.c :24:1 error: duplicate const in declaration of f01: static inline function21 declarationErrors.cfa:24:1 error: duplicate const in declaration of f01: static inline function 22 22 with no parameters 23 23 returning const volatile int 24 24 25 25 26 declarationErrors.c :25:1 error: duplicate volatile in declaration of f02: static inline function26 declarationErrors.cfa:25:1 error: duplicate volatile in declaration of f02: static inline function 27 27 with no parameters 28 28 returning const volatile int 29 29 30 30 31 declarationErrors.c :26:1 error: duplicate const in declaration of f03: static inline function31 declarationErrors.cfa:26:1 error: duplicate const in declaration of f03: static inline function 32 32 with no parameters 33 33 returning const volatile int 34 34 35 35 36 declarationErrors.c :27:1 error: duplicate volatile in declaration of f04: static inline function36 declarationErrors.cfa:27:1 error: duplicate volatile in declaration of f04: static inline function 37 37 with no parameters 38 38 returning const volatile int 39 39 40 40 41 declarationErrors.c :28:1 error: duplicate const in declaration of f05: static inline function41 declarationErrors.cfa:28:1 error: duplicate const in declaration of f05: static inline function 42 42 with no parameters 43 43 returning const volatile int 44 44 45 45 46 declarationErrors.c :29:1 error: duplicate volatile in declaration of f06: static inline function46 declarationErrors.cfa:29:1 error: duplicate volatile in declaration of f06: static inline function 47 47 with no parameters 48 48 returning const volatile int 49 49 50 50 51 declarationErrors.c :30:1 error: duplicate const in declaration of f07: static inline function51 declarationErrors.cfa:30:1 error: duplicate const in declaration of f07: static inline function 52 52 with no parameters 53 53 returning const volatile int 54 54 55 55 56 declarationErrors.c :31:1 error: duplicate const, duplicate volatile in declaration of f08: static inline function56 declarationErrors.cfa:31:1 error: duplicate const, duplicate volatile in declaration of f08: static inline function 57 57 with no parameters 58 58 returning const volatile int 59 59 60 60 61 declarationErrors.c :33:1 error: duplicate const, duplicate volatile in declaration of f09: static inline function61 declarationErrors.cfa:33:1 error: duplicate const, duplicate volatile in declaration of f09: static inline function 62 62 with no parameters 63 63 returning const volatile int 64 64 65 65 66 declarationErrors.c :34:1 error: duplicate const, duplicate _Atomic, duplicate _Atomic, duplicate const, duplicate restrict, duplicate volatile in declaration of f09: static inline function66 declarationErrors.cfa:34:1 error: duplicate const, duplicate _Atomic, duplicate _Atomic, duplicate const, duplicate restrict, duplicate volatile in declaration of f09: static inline function 67 67 with no parameters 68 68 returning const restrict volatile _Atomic int -
tests/.expect/nested-types-ERR1.txt
r8e04794 r909aebf 1 nested-types.c :70:1 error: Use of undefined type T1 nested-types.cfa:70:1 error: Use of undefined type T -
tests/.expect/nested-types-ERR2.txt
r8e04794 r909aebf 1 nested-types.c :73:1 error: Use of undefined global type Z2 nested-types.c :74:1 error: Qualified type requires an aggregate on the left, but has: signed int3 nested-types.c :75:1 error: Undefined type in qualified type: Qualified Type:1 nested-types.cfa:73:1 error: Use of undefined global type Z 2 nested-types.cfa:74:1 error: Qualified type requires an aggregate on the left, but has: signed int 3 nested-types.cfa:75:1 error: Undefined type in qualified type: Qualified Type: 4 4 instance of struct S with body 1 5 5 instance of type Z (not function type) -
tests/.expect/scopeErrors.txt
r8e04794 r909aebf 1 scopeErrors.c :2:1 error: duplicate object definition for thisIsAnError: signed int2 scopeErrors.c :20:1 error: duplicate function definition for butThisIsAnError: function1 scopeErrors.cfa:2:1 error: duplicate object definition for thisIsAnError: signed int 2 scopeErrors.cfa:20:1 error: duplicate function definition for butThisIsAnError: function 3 3 ... with parameters 4 4 double -
tests/.expect/typedefRedef-ERR1.txt
r8e04794 r909aebf 1 typedefRedef.c :4:1 error: Cannot redefine typedef: Foo2 typedefRedef.c :60:1 error: Cannot redefine typedef: ARR1 typedefRedef.cfa:4:1 error: Cannot redefine typedef: Foo 2 typedefRedef.cfa:60:1 error: Cannot redefine typedef: ARR -
tests/Makefile.am
r8e04794 r909aebf 11 11 ## Created On : Sun May 31 09:08:15 2015 12 12 ## Last Modified By : Peter A. Buhr 13 ## Last Modified On : Wed Jun 6 16:42:20201814 ## Update Count : 4913 ## Last Modified On : Wed Nov 7 12:03:29 2018 14 ## Update Count : 59 15 15 ############################################################################### 16 16 17 17 AUTOMAKE_OPTIONS = foreign # do not require all the GNU file names 18 19 include $(top_srcdir)/src/cfa.make 18 20 19 21 debug=yes … … 45 47 EXTRA_PROGRAMS = fstream_test avl_test # build but do not install 46 48 47 fstream_test_SOURCES = fstream_test.c 49 fstream_test_SOURCES = fstream_test.cfa 48 50 49 51 avl_test_SOURCES = avltree/avl_test.c avltree/avl0.c avltree/avl1.c avltree/avl2.c avltree/avl3.c avltree/avl4.c avltree/avl-private.c … … 72 74 73 75 #---------------------------------------------------------------------------------------------------------------- 76 74 77 # implicit rule so not all test require a rule 75 78 % : %.c $(CC) 76 79 $(PRETTY_PATH) $(COMPILE) $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 77 80 78 declarationSpecifier: declarationSpecifier.c $(CC)81 declarationSpecifier: declarationSpecifier.cfa $(CC) 79 82 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 80 83 81 gccExtensions : gccExtensions.c $(CC)84 gccExtensions : gccExtensions.cfa $(CC) 82 85 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 83 86 84 extension : extension.c $(CC)87 extension : extension.cfa $(CC) 85 88 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 86 89 87 attributes : attributes.c $(CC)90 attributes : attributes.cfa $(CC) 88 91 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 89 92 90 functions: functions.c $(CC)93 functions: functions.cfa $(CC) 91 94 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 92 95 93 KRfunctions : KRfunctions.c $(CC)96 KRfunctions : KRfunctions.cfa $(CC) 94 97 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 95 98 … … 97 100 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 98 101 99 gmp : gmp.c $(CC)102 gmp : gmp.cfa $(CC) 100 103 $(PRETTY_PATH) $(COMPILE) -lgmp $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 101 104 … … 105 108 106 109 #------------------------------------------------------------------------------ 110 107 111 #To make errors path independent we need to cd into the correct directories 108 completeTypeError : completeTypeError.c $(CC)112 completeTypeError : completeTypeError.cfa $(CC) 109 113 $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 110 114 111 typedefRedef-ERR1: typedefRedef.c $(CC)115 typedefRedef-ERR1: typedefRedef.cfa $(CC) 112 116 $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 113 117 114 alloc-ERROR: alloc.c $(CC)118 alloc-ERROR: alloc.cfa $(CC) 115 119 $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 116 120 117 fallthrough-ERROR: fallthrough.c $(CC)121 fallthrough-ERROR: fallthrough.cfa $(CC) 118 122 $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 119 123 120 nested-types-ERR1: nested-types.c $(CC)124 nested-types-ERR1: nested-types.cfa $(CC) 121 125 $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 122 126 123 nested-types-ERR2: nested-types.c $(CC)127 nested-types-ERR2: nested-types.cfa $(CC) 124 128 $(PRETTY_PATH) $(COMPILE) -DERR2 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 125 129 -
tests/Makefile.in
r8e04794 r909aebf 168 168 CTAGS = ctags 169 169 am__DIST_COMMON = $(srcdir)/Makefile.in $(srcdir)/config.py.in \ 170 $(srcdir)/test.py $(top_srcdir)/automake/depcomp 170 $(srcdir)/test.py $(top_srcdir)/automake/depcomp \ 171 $(top_srcdir)/src/cfa.make 171 172 DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST) 172 173 ACLOCAL = @ACLOCAL@ … … 297 298 top_srcdir = @top_srcdir@ 298 299 AUTOMAKE_OPTIONS = foreign # do not require all the GNU file names 300 CFACOMPILE = $(CFACC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CFAFLAGS) $(CFAFLAGS) $(AM_CFLAGS) $(CFLAGS) 301 AM_V_CFA = $(am__v_CFA_@AM_V@) 302 am__v_CFA_ = $(am__v_CFA_@AM_DEFAULT_V@) 303 am__v_CFA_0 = @echo " CFA " $@; 304 am__v_CFA_1 = 299 305 debug = yes 300 306 installed = no … … 309 315 ${INSTALL_FLAGS} ${ARCH_FLAGS} 310 316 PRETTY_PATH = cd ${srcdir} && 311 fstream_test_SOURCES = fstream_test.c 317 fstream_test_SOURCES = fstream_test.cfa 312 318 avl_test_SOURCES = avltree/avl_test.c avltree/avl0.c avltree/avl1.c avltree/avl2.c avltree/avl3.c avltree/avl4.c avltree/avl-private.c 313 319 all: all-am 314 320 315 321 .SUFFIXES: 316 .SUFFIXES: .c . o .obj .validate317 $(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps)322 .SUFFIXES: .c .cfa .o .obj .validate 323 $(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(top_srcdir)/src/cfa.make $(am__configure_deps) 318 324 @for dep in $?; do \ 319 325 case '$(am__configure_deps)' in \ … … 335 341 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \ 336 342 esac; 343 $(top_srcdir)/src/cfa.make $(am__empty): 337 344 338 345 $(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES) … … 382 389 -rm -f *.tab.c 383 390 384 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/fstream_test.Po@am__quote@385 391 @AMDEP_TRUE@@am__include@ @am__quote@avltree/$(DEPDIR)/avl-private.Po@am__quote@ 386 392 @AMDEP_TRUE@@am__include@ @am__quote@avltree/$(DEPDIR)/avl0.Po@am__quote@ … … 530 536 531 537 distclean: distclean-am 532 -rm -rf ./$(DEPDIR)avltree/$(DEPDIR)538 -rm -rf avltree/$(DEPDIR) 533 539 -rm -f Makefile 534 540 distclean-am: clean-am distclean-compile distclean-generic \ … … 576 582 577 583 maintainer-clean: maintainer-clean-am 578 -rm -rf ./$(DEPDIR)avltree/$(DEPDIR)584 -rm -rf avltree/$(DEPDIR) 579 585 -rm -f Makefile 580 586 maintainer-clean-am: distclean-am maintainer-clean-generic … … 612 618 613 619 620 .cfa.o: 621 $(AM_V_CFA)depbase=`echo $@ | sed 's|[^/]*$$|$(DEPDIR)/&|;s|\.o$$||'`;\ 622 $(CFACOMPILE) -MT $@ -MD -MP -MF $$depbase.Tpo -c -o $@ $< &&\ 623 $(am__mv) $$depbase.Tpo $$depbase.Po 624 614 625 .PHONY: list .validate 615 626 .INTERMEDIATE: .validate .validate.c … … 638 649 639 650 #---------------------------------------------------------------------------------------------------------------- 651 640 652 # implicit rule so not all test require a rule 641 653 % : %.c $(CC) 642 654 $(PRETTY_PATH) $(COMPILE) $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 643 655 644 declarationSpecifier: declarationSpecifier.c $(CC)656 declarationSpecifier: declarationSpecifier.cfa $(CC) 645 657 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 646 658 647 gccExtensions : gccExtensions.c $(CC)659 gccExtensions : gccExtensions.cfa $(CC) 648 660 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 649 661 650 extension : extension.c $(CC)662 extension : extension.cfa $(CC) 651 663 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 652 664 653 attributes : attributes.c $(CC)665 attributes : attributes.cfa $(CC) 654 666 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 655 667 656 functions: functions.c $(CC)668 functions: functions.cfa $(CC) 657 669 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 658 670 659 KRfunctions : KRfunctions.c $(CC)671 KRfunctions : KRfunctions.cfa $(CC) 660 672 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 661 673 … … 663 675 $(PRETTY_PATH) $(COMPILE) -CFA -XCFA -p $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 664 676 665 gmp : gmp.c $(CC)677 gmp : gmp.cfa $(CC) 666 678 $(PRETTY_PATH) $(COMPILE) -lgmp $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 667 679 … … 671 683 672 684 #------------------------------------------------------------------------------ 685 673 686 #To make errors path independent we need to cd into the correct directories 674 completeTypeError : completeTypeError.c $(CC)687 completeTypeError : completeTypeError.cfa $(CC) 675 688 $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 676 689 677 typedefRedef-ERR1: typedefRedef.c $(CC)690 typedefRedef-ERR1: typedefRedef.cfa $(CC) 678 691 $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 679 692 680 alloc-ERROR: alloc.c $(CC)693 alloc-ERROR: alloc.cfa $(CC) 681 694 $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 682 695 683 fallthrough-ERROR: fallthrough.c $(CC)696 fallthrough-ERROR: fallthrough.cfa $(CC) 684 697 $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 685 698 686 nested-types-ERR1: nested-types.c $(CC)699 nested-types-ERR1: nested-types.cfa $(CC) 687 700 $(PRETTY_PATH) $(COMPILE) -DERR1 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 688 701 689 nested-types-ERR2: nested-types.c $(CC)702 nested-types-ERR2: nested-types.cfa $(CC) 690 703 $(PRETTY_PATH) $(COMPILE) -DERR2 $(shell realpath --relative-to=${srcdir} ${<}) -o $(abspath ${@}) 691 704 -
tests/concurrent/coroutineYield.c
r8e04794 r909aebf 6 6 7 7 #define __kick_rate 150000ul 8 #include "long_tests.h "8 #include "long_tests.hfa" 9 9 10 10 #ifndef PREEMPTION_RATE -
tests/concurrent/examples/matrixSum.c
r8e04794 r909aebf 6 6 // file "LICENCE" distributed with Cforall. 7 7 // 8 // matrixSum.c --8 // matrixSum.cfa -- 9 9 // 10 10 // Author : Peter A. Buhr 11 11 // Created On : Mon Oct 9 08:29:28 2017 12 12 // Last Modified By : Peter A. Buhr 13 // Last Modified On : T hu Aug 9 09:17:30201814 // Update Count : 1 313 // Last Modified On : Tue Nov 6 17:51:32 2018 14 // Update Count : 14 15 15 // 16 16 … … 59 59 // Local Variables: // 60 60 // tab-width: 4 // 61 // compile-command: "cfa matrixSum.c " //61 // compile-command: "cfa matrixSum.cfa" // 62 62 // End: // -
tests/concurrent/preempt.c
r8e04794 r909aebf 3 3 #include <time.hfa> 4 4 5 #include "long_tests.h "5 #include "long_tests.hfa" 6 6 7 7 #ifndef PREEMPTION_RATE -
tests/concurrent/signal/block.c
r8e04794 r909aebf 14 14 #include <time.hfa> 15 15 16 #include "long_tests.h "16 #include "long_tests.hfa" 17 17 18 18 #ifndef PREEMPTION_RATE -
tests/concurrent/signal/disjoint.c
r8e04794 r909aebf 5 5 #include <time.hfa> 6 6 7 #include "long_tests.h "7 #include "long_tests.hfa" 8 8 9 9 #ifndef PREEMPTION_RATE -
tests/concurrent/signal/wait.c
r8e04794 r909aebf 13 13 14 14 #define __kick_rate 12000ul 15 #include "long_tests.h "15 #include "long_tests.hfa" 16 16 17 17 #ifndef PREEMPTION_RATE -
tests/preempt_longrun/create.c
r8e04794 r909aebf 3 3 #include <time.hfa> 4 4 5 #include "long_tests.h "5 #include "long_tests.hfa" 6 6 7 7 #ifndef PREEMPTION_RATE -
tests/preempt_longrun/enter3.c
r8e04794 r909aebf 5 5 6 6 #define __kick_rate 75000ul 7 #include "long_tests.h "7 #include "long_tests.hfa" 8 8 9 9 #ifndef PREEMPTION_RATE -
tests/preempt_longrun/processor.c
r8e04794 r909aebf 5 5 #include <unistd.h> 6 6 7 #include "long_tests.h "7 #include "long_tests.hfa" 8 8 9 9 #ifndef PREEMPTION_RATE -
tests/preempt_longrun/yield.c
r8e04794 r909aebf 4 4 5 5 #define __kick_rate 550000ul 6 #include "long_tests.h "6 #include "long_tests.hfa" 7 7 8 8 #ifndef PREEMPTION_RATE
Note:
See TracChangeset
for help on using the changeset viewer.
