Changeset 211228e0
- Timestamp:
- Apr 5, 2019, 4:09:15 PM (5 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- e3a5a73
- Parents:
- 8c01e1b (diff), 5806745 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - Files:
-
- 5 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/bibliography/pl.bib
r8c01e1b r211228e0 1146 1146 author = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael}, 1147 1147 title = {Checked C: Making C Safe by Extension}, 1148 booktitle = {2018 IEEE Cybersecurity Development (SecDev)} 1149 year 1150 month 1151 pages 1152 publisher 1153 url 1148 booktitle = {2018 IEEE Cybersecurity Development (SecDev)}, 1149 year = {2018}, 1150 month = {September}, 1151 pages = {53-60}, 1152 publisher = {IEEE}, 1153 url = {https://www.microsoft.com/en-us/research/publication/checkedc-making-c-safe-by-extension/}, 1154 1154 } 1155 1155 1156 1156 @misc{Clang, 1157 keywords 1158 contributer 1159 title 1160 howpublished 1161 note 1157 keywords = {clang}, 1158 contributer = {a3moss@uwaterloo.ca}, 1159 title = {Clang: a {C} language family frontend for {LLVM}}, 1160 howpublished= {\href{https://clang.llvm.org/}{https://\-clang.llvm.org/}}, 1161 note = {Accessed 2019-02-22} 1162 1162 } 1163 1163 … … 3739 3739 optaddress = {Waterloo, Ontario, Canada, N2L 3G1}, 3740 3740 note = {\href{https://uwspace.uwaterloo.ca/handle/10012/13935}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-13935}}, 3741 } 3742 3743 @article{Swift05, 3744 contributer = {pabuhr@plg}, 3745 author = {Michael M. Swift and Brian N. Bershad and Henry M. Levy}, 3746 title = {Improving the Reliability of Commodity Operating Systems}, 3747 journal = tocs, 3748 volume = 23, 3749 number = 1, 3750 month = feb, 3751 year = 2005, 3752 pages = {77-110}, 3741 3753 } 3742 3754 -
libcfa/configure
r8c01e1b r211228e0 2977 2977 ;; 2978 2978 esac 2979 2980 CONFIG_CFAFLAGS="${CONFIG_CFAFLAGS} ${CFAFLAGS}" 2979 2981 2980 2982 -
libcfa/configure.ac
r8c01e1b r211228e0 64 64 esac 65 65 66 CONFIG_CFAFLAGS="${CONFIG_CFAFLAGS} ${CFAFLAGS}" 67 66 68 AC_SUBST(CONFIG_CFLAGS) 67 69 AC_SUBST(CONFIG_CFAFLAGS) -
libcfa/src/Makefile.am
r8c01e1b r211228e0 74 74 75 75 prelude.o : prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@ 76 ${AM_V_GEN} @CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@-XCFA -l ${<} -c -o ${@}76 ${AM_V_GEN}$(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@} 77 77 78 78 prelude.lo: prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@ 79 79 ${AM_V_GEN}$(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile \ 80 @CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@-XCFA -l ${<} -c -o ${@}80 $(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@} 81 81 82 82 -
libcfa/src/Makefile.in
r8c01e1b r211228e0 926 926 927 927 prelude.o : prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@ 928 ${AM_V_GEN} @CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@-XCFA -l ${<} -c -o ${@}928 ${AM_V_GEN}$(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@} 929 929 930 930 prelude.lo: prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@ 931 931 ${AM_V_GEN}$(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile \ 932 @CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@-XCFA -l ${<} -c -o ${@}932 $(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@} 933 933 934 934 #----------------------------------------------------------------------------------------------------------------
Note: See TracChangeset
for help on using the changeset viewer.