Changes in / [211228e0:8c01e1b]


Ignore:
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    r211228e0 r8c01e1b  
    11461146    author      = {Tarditi, David and Elliott, Archibald Samuel and Ruef, Andrew and Hicks, Michael},
    11471147    title       = {Checked C: Making C Safe by Extension},
    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/},
     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/},
    11541154}
    11551155
    11561156@misc{Clang,
    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}
     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}
    11621162}
    11631163
     
    37393739    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
    37403740    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},
    37533741}
    37543742
  • libcfa/configure

    r211228e0 r8c01e1b  
    29772977        ;;
    29782978esac
    2979 
    2980 CONFIG_CFAFLAGS="${CONFIG_CFAFLAGS} ${CFAFLAGS}"
    29812979
    29822980
  • libcfa/configure.ac

    r211228e0 r8c01e1b  
    6464esac
    6565
    66 CONFIG_CFAFLAGS="${CONFIG_CFAFLAGS} ${CFAFLAGS}"
    67 
    6866AC_SUBST(CONFIG_CFLAGS)
    6967AC_SUBST(CONFIG_CFAFLAGS)
  • libcfa/src/Makefile.am

    r211228e0 r8c01e1b  
    7474
    7575prelude.o : prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@
    76         ${AM_V_GEN}$(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@}
     76        ${AM_V_GEN}@CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@}
    7777
    7878prelude.lo: prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@
    7979        ${AM_V_GEN}$(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile \
    80         $(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@}
     80        @CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@}
    8181
    8282
  • libcfa/src/Makefile.in

    r211228e0 r8c01e1b  
    926926
    927927prelude.o : prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@
    928         ${AM_V_GEN}$(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@}
     928        ${AM_V_GEN}@CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@}
    929929
    930930prelude.lo: prelude.cfa extras.cf gcc-builtins.cf builtins.cf @CFACC@ @CFACPP@
    931931        ${AM_V_GEN}$(LIBTOOL) $(AM_V_lt) --tag=CC $(AM_LIBTOOLFLAGS) $(LIBTOOLFLAGS) --mode=compile \
    932         $(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@}
     932        @CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@}
    933933
    934934#----------------------------------------------------------------------------------------------------------------
Note: See TracChangeset for help on using the changeset viewer.