# # ChangeLog for doc/bibliography/pl.bib # # Generated by Trac 1.2.1 # Nov 1, 2024, 6:04:45 PM Fri, 25 May 2018 13:42:25 GMT Peter A. Buhr [251454a0] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) more writing Thu, 24 May 2018 16:56:10 GMT Peter A. Buhr [1dc58fd] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) more writing Thu, 17 May 2018 02:50:48 GMT Peter A. Buhr [48b9b36] * doc/bibliography/pl.bib (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/Paper.tex (modified) * doc/user/user.tex (modified) writing updates Thu, 10 May 2018 12:50:43 GMT Peter A. Buhr [a8de0f4] * doc/bibliography/pl.bib (modified) add entries Mon, 07 May 2018 17:40:24 GMT Peter A. Buhr [cfc3e0f] * doc/bibliography/pl.bib (modified) * doc/papers/AMA/AMA-stix-1510051231000.zip (moved) * doc/papers/AMA/AMA-stix/Documents/README.txt (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-AMA.bst (modified) * doc/papers/AMA/AMA-stix/ama/WileyNJD-v2.cls (modified) * doc/papers/general/.gitignore (modified) * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/timing.gp (modified) * doc/papers/general/response (added) referee responses Mon, 19 Mar 2018 21:25:50 GMT Peter A. Buhr [1f8865e] * doc/bibliography/pl.bib (modified) harmonize printing of Cforall name Mon, 12 Mar 2018 20:14:41 GMT Peter A. Buhr [0f9e6b20] * doc/bibliography/pl.bib (modified) * doc/papers/general/AMA/AMA-stix/ama/WileyNJD-AMA.bst (modified) fix citation format Mon, 12 Mar 2018 03:51:09 GMT Peter A. Buhr [49eb6a2] * doc/bibliography/pl.bib (modified) * doc/papers/general/AMA/AMA-stix.zip (added) * doc/papers/general/AMA/AMA-stix/Documents/.log (added) * doc/papers/general/AMA/AMA-stix/Documents/README.txt (added) * doc/papers/general/AMA/AMA-stix/Documents/wileyNJD-Doc.tex (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-Bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-BoldItalic.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-Italic.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/STIXGeneral-Regular.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/Windows-Stix-fontinstaller.exe (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/a_axxd65.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stix.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixbb.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixfrak.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixscr.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls1stixsf.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stix.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stixcal.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stixex.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ls2stixtt.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ly1sti.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-bolditalic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral-italic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneral.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc-bold.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1-stixgeneralsc.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot1stix.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-bolditalic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral-italic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneral.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc-bold.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2-stixgeneralsc.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ot2stix.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra1.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra1.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra2.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra2.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra3.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-extra3.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbb.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathbbit.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathcal.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathex.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathfrak.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathit.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathrm.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathscr.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsf.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathsfit.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt-bold.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt.pfb (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-mathtt.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-ot1.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-ot2.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-t1.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix-ts1.enc (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.dtx (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.fdd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.map (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/stix.sty (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-bolditalic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral-italic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneral.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc-bold.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1-stixgeneralsc.vf (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/t1stix.fd (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-bold.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-bolditalic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral-italic.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1-stixgeneral.tfm (added) * doc/papers/general/AMA/AMA-stix/Stix-fonts/ts1stix.fd (added) * doc/papers/general/AMA/AMA-stix/ama/NJDnatbib.sty (added) * doc/papers/general/AMA/AMA-stix/ama/WileyNJD-AMA.bst (added) * doc/papers/general/AMA/AMA-stix/ama/WileyNJD-v2.cls (added) * doc/papers/general/AMA/AMA-stix/ama/empty.eps (added) * doc/papers/general/AMA/AMA-stix/ama/wileyNJD-AMA.bbl (added) * doc/papers/general/AMA/AMA-stix/ama/wileyNJD-AMA.bib (added) * doc/papers/general/AMA/AMA-stix/ama/wileyNJD-AMA.tex (added) * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) switch to SPE latex macros Fri, 09 Mar 2018 20:44:33 GMT Aaron Moss [200b2b5] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) Add uC++, CCured & Ironclad C++ to related work Fri, 09 Mar 2018 14:30:47 GMT Peter A. Buhr [81e8ab0] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/c-stack.c (modified) * doc/papers/general/evaluation/cfa-stack.c (modified) * doc/papers/general/evaluation/cpp-stack.hpp (modified) * doc/papers/general/evaluation/cpp-vstack.cpp (modified) * doc/papers/general/evaluation/cpp-vstack.hpp (modified) more updates Fri, 09 Mar 2018 04:04:14 GMT Peter A. Buhr [29db723] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/cfa-stack.c (modified) * doc/papers/general/evaluation/cfa-stack.h (modified) * doc/papers/general/evaluation/timing.gp (modified) additional changes Thu, 08 Mar 2018 21:43:09 GMT Aaron Moss [4271a1e] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) Stub extra related work section Tue, 06 Mar 2018 20:43:42 GMT Peter A. Buhr [d893266a] * doc/bibliography/pl.bib (modified) * doc/papers/general/Paper.tex (modified) more updates, and final open issues Fri, 02 Mar 2018 11:48:16 GMT Peter A. Buhr [507e7a2] * doc/bibliography/pl.bib (modified) update TIOBE entry Mon, 19 Feb 2018 15:43:25 GMT Peter A. Buhr [1280f95] * doc/bibliography/pl.bib (modified) add Thierry's masters thesis Sun, 18 Feb 2018 17:10:50 GMT Peter A. Buhr [c5c4096] * doc/bibliography/pl.bib (modified) update Rob's thesis entry Thu, 01 Feb 2018 15:03:35 GMT Peter A. Buhr [23c27039] * doc/LaTeXmacros/common.tex (modified) * doc/bibliography/pl.bib (modified) * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/general/Makefile (modified) * doc/refrat/Makefile (modified) * doc/theses/aaron_moss/comp_II/.gitignore (modified) * doc/theses/aaron_moss/comp_II/Makefile (modified) * doc/theses/aaron_moss/comp_II/comp_II.tex (modified) * doc/theses/rob_schluntz/.gitignore (modified) * doc/theses/rob_schluntz/Makefile (modified) * doc/theses/rob_schluntz/intro.tex (modified) * doc/theses/rob_schluntz/thesis.tex (modified) * doc/theses/thierry_delisle/Makefile (modified) * doc/theses/thierry_delisle/version (modified) * doc/theses/thierry_delisle/version.sh (moved) * doc/user/Makefile (modified) * doc/user/user.tex (modified) further harmonize document Makefile and documents Wed, 31 Jan 2018 22:49:36 GMT Peter A. Buhr [5ff188f] * doc/bibliography/pl.bib (moved) * doc/papers/OOPSLA17/.gitignore (modified) * doc/papers/OOPSLA17/Makefile (modified) * doc/papers/OOPSLA17/evaluation/timing.gp (modified) * doc/papers/OOPSLA17/generic_types.tex (modified) * doc/papers/concurrency/.gitignore (modified) * doc/papers/concurrency/Makefile (modified) * doc/papers/concurrency/Paper.tex (modified) * doc/papers/general/.gitignore (modified) * doc/papers/general/Makefile (modified) * doc/papers/general/Paper.tex (modified) * doc/papers/general/evaluation/timing.gp (modified) * doc/proposals/tuples/tuples.tex (modified) * doc/refrat/.gitignore (modified) * doc/refrat/Makefile (modified) * doc/refrat/refrat.bib (deleted) * doc/refrat/refrat.tex (modified) * doc/user/.gitignore (modified) * doc/user/Makefile (modified) * doc/user/figures/Cdecl.fig (moved) * doc/user/figures/EHMHierarchy.fig (moved) * doc/user/figures/pointer1.fig (moved) * doc/user/figures/pointer2.fig (moved) * doc/user/user.tex (modified) further changes to document Makefiles