Changeset 211228e0


Ignore:
Timestamp:
Apr 5, 2019, 4:09:15 PM (5 years ago)
Author:
tdelisle <tdelisle@…>
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.
Message:

Merge branch 'master' into ctxswitch

Files:
5 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r8c01e1b r211228e0  
    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},
    37413753}
    37423754

  • libcfa/configure

    r8c01e1b r211228e0  
    29772977        ;;
    29782978esac
     2979
     2980CONFIG_CFAFLAGS="${CONFIG_CFAFLAGS} ${CFAFLAGS}"
    29792981
    29802982

  • libcfa/configure.ac

    r8c01e1b r211228e0  
    6464esac
    6565
     66CONFIG_CFAFLAGS="${CONFIG_CFAFLAGS} ${CFAFLAGS}"
     67
    6668AC_SUBST(CONFIG_CFLAGS)
    6769AC_SUBST(CONFIG_CFAFLAGS)

  • libcfa/src/Makefile.am

    r8c01e1b r211228e0  
    7474
    7575prelude.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 ${@}
    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         @CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@}
     80        $(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@}
    8181
    8282

  • libcfa/src/Makefile.in

    r8c01e1b r211228e0  
    926926
    927927prelude.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 ${@}
    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         @CFACC@ ${AM_CFLAGS} ${CFLAGS} -quiet -in-tree @CONFIG_CFAFLAGS@ -XCFA -l ${<} -c -o ${@}
     932        $(CFACOMPILE) -quiet -in-tree -XCFA -l ${<} -c -o ${@}
    933933
    934934#----------------------------------------------------------------------------------------------------------------
Note: See TracChangeset for help on using the changeset viewer.