Changeset 8669cd3
- Timestamp:
- Mar 20, 2018, 4:22:15 PM (8 years ago)
- Branches:
- ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, with_gc
- Children:
- 101a4d2
- Parents:
- 1bdd261 (diff), f810e09 (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:
-
- 206 deleted
- 5 edited
-
doc/LaTeXmacros/common.tex (modified) (4 diffs)
-
doc/LaTeXmacros/lstlang.sty (modified) (3 diffs)
-
doc/bibliography/pl.bib (modified) (7 diffs)
-
doc/papers/concurrency/AMA/AMA-lato.zip (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Documents/README.txt (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Documents/wileyNJD-Doc.tex (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-01.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-02.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-LCDFJ.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-LCDFJ.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-SmallCaps-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-SmallCaps-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-SmallCaps-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-SmallCaps-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-dotlessj.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-ts1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla-ts1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bla.ttf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-01.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-02.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-LCDFJ.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-LCDFJ.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-SmallCaps-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-SmallCaps-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-SmallCaps-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-SmallCaps-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-dotlessj.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-ts1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta-ts1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BlaIta.ttf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-01.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-02.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-LCDFJ.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-LCDFJ.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-SmallCaps-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-SmallCaps-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-SmallCaps-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-SmallCaps-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-dotlessj.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-ts1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol-ts1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Bol.ttf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-01.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-02.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-LCDFJ.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-LCDFJ.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-SmallCaps-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-SmallCaps-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-SmallCaps-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-SmallCaps-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-dotlessj.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-ts1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta-ts1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-BolIta.ttf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-01.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-02.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-LCDFJ.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-LCDFJ.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-SmallCaps-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-SmallCaps-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-SmallCaps-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-SmallCaps-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-dotlessj.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-ts1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai-ts1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Hai.ttf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-01.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-02.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-LCDFJ.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-LCDFJ.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-SmallCaps-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-SmallCaps-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-SmallCaps-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-SmallCaps-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-dotlessj.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-ts1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta-ts1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-HaiIta.ttf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-01.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-02.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-LCDFJ.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-LCDFJ.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-SmallCaps-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-SmallCaps-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-SmallCaps-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-SmallCaps-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-dotlessj.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-ts1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig-ts1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Lig.ttf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-01.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-02.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-LCDFJ.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-LCDFJ.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-SmallCaps-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-SmallCaps-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-SmallCaps-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-SmallCaps-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-dotlessj.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-ts1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta-ts1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-LigIta.ttf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-01.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-02.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-LCDFJ.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-LCDFJ.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-SmallCaps-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-SmallCaps-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-SmallCaps-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-SmallCaps-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-dotlessj.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-ts1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg-ts1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-Reg.ttf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-01.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-02.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-LCDFJ.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-LCDFJ.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-SmallCaps-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-SmallCaps-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-SmallCaps-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-SmallCaps-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-dotlessj.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-ot1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-ot1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-t1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-t1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-ts1.tfm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta-ts1.vf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta.afm (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta.pfb (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Lato-RegIta.ttf (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Makefile (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/Windows-Lato-fontinstaller.exe (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/lato-01.enc (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/lato-01.etx (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/lato-02.enc (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/lato-02.etx (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/lato-dotlessj.enc (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/lato-dotlessj.etx (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/lato-fixlatin.mtx (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/lato-fixtextcomp.mtx (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/lato.map (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/lato.sty (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/ot1fla.fd (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/t1fla.fd (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/ts1fla.fd (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/Lato-fonts/ttf2type1.pe (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/ama/NJDnatbib.sty (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/ama/WileyNJD-AMA.bst (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/ama/WileyNJD-v2.cls (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/ama/empty.eps (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/ama/wileyNJD-AMA.bbl (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/ama/wileyNJD-AMA.bib (deleted)
-
doc/papers/concurrency/AMA/AMA-lato/ama/wileyNJD-AMA.tex (deleted)
-
doc/papers/concurrency/AMA/AMA-stix/ama/WileyNJD-AMA.bst (modified) (8 diffs)
-
src/Parser/parser.yy (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
doc/LaTeXmacros/common.tex
r1bdd261 r8669cd3 11 11 %% Created On : Sat Apr 9 10:06:17 2016 12 12 %% Last Modified By : Peter A. Buhr 13 %% Last Modified On : Thu Mar 15 09:52:27201814 %% Update Count : 37 813 %% Last Modified On : Mon Mar 19 17:18:23 2018 14 %% Update Count : 379 15 15 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 16 16 … … 101 101 % index macros 102 102 \newcommand{\italic}[1]{\emph{\hyperpage{#1}}} 103 \newcommand{\Definition}[1]{\textbf{\hyperpage{#1}}} 103 104 \newcommand{\see}[1]{\emph{see}~#1} 104 105 … … 113 114 \def\impl{\@bsphack\begingroup 114 115 \def\protect##1{\string##1\space}\@sanitize 115 \@wrxref{| definition}}116 \@wrxref{|Definition}} 116 117 \newcommand{\indexcode}[1]{{\lstinline$#1$}} 117 118 \def\use{\@bsphack\begingroup … … 123 124 \if@nobreak \ifvmode\nobreak\fi\fi\@esphack} 124 125 %\newcommand{\use}[1]{\index{#1@{\lstinline$#1$}}} 125 %\newcommand{\impl}[1]{\index{\protect#1@{\lstinline$\protect#1$}| definition}}126 %\newcommand{\impl}[1]{\index{\protect#1@{\lstinline$\protect#1$}|Definition}} 126 127 127 128 % inline text and lowercase index: \Index{inline and lowercase index text} -
doc/LaTeXmacros/lstlang.sty
r1bdd261 r8669cd3 8 8 %% Created On : Sat May 13 16:34:42 2017 9 9 %% Last Modified By : Peter A. Buhr 10 %% Last Modified On : Wed Aug 30 22:11:14 201711 %% Update Count : 1 410 %% Last Modified On : Fri Mar 16 22:18:12 2018 11 %% Update Count : 16 12 12 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 13 13 … … 31 31 \lstdefinelanguage{sml} { 32 32 morekeywords= { 33 EQUAL, GREATER, LESS, NONE, SOME, abstraction, abstype, and, andalso, array, as, before, bool, 34 case, char, datatype, do, else, end, eqtype, exception, exn, false, fn, fun, functor, handle, 35 if, in, include, infix, infixr, int, let, list, local, nil, nonfix, not, o, of, op, open, 36 option, orelse, overload, print, raise, real, rec, ref, sharing, sig, signature, string, struct, 37 structure, substring, then, true, type, unit, val, vector, where, while, with, withtype, word 38 }, 39 morestring=[b]", 40 morecomment=[s]{(*}{*)}, 33 EQUAL, GREATER, LESS, NONE, SOME, abstraction, abstype, and, andalso, array, as, before, 34 bool, case, char, datatype, do, else, end, eqtype, exception, exn, false, fn, fun, functor, 35 handle, if, in, include, infix, infixr, int, let, list, local, nil, nonfix, not, o, of, op, 36 open, option, orelse, overload, print, raise, real, rec, ref, sharing, sig, signature, 37 string, struct, structure, substring, then, true, type, unit, val, vector, where, while, 38 with, withtype, word 39 }, 40 morestring=[b]", 41 morecomment=[s]{(*}{*)}, 41 42 } 42 43 … … 82 83 83 84 \lstdefinelanguage{rust}{ 85 % Keywords 84 86 morekeywords=[1]{ 85 87 abstract, alignof, as, become, box, break, const, continue, crate, do, else, enum, extern, 86 false, final, fn, for, if, impl, in, let, loop, macro, match, mod, move, mut, offsetof,87 override, priv, proc, pub, pure, ref, return, Self, self, sizeof, static, struct, super,88 trait, true, type, typeof, unsafe, unsized, use, virtual, where, while, yield88 false, final, fn, for, if, impl, in, let, loop, macro, match, mod, move, mut, offsetof, 89 override, priv, proc, pub, pure, ref, return, Self, self, sizeof, static, struct, super, 90 trait, true, type, typeof, unsafe, unsized, use, virtual, where, while, yield 89 91 }, 92 % Strings 90 93 morestring=[b]{"}, 94 % Comments 91 95 comment=[l]{//}, 92 96 morecomment=[s]{/*}{*/}, 97 % Options 93 98 sensitive=true 94 99 } 95 100 96 \lstdefinelanguage{ Pseudo}{101 \lstdefinelanguage{pseudo}{ 97 102 morekeywords={string,uint,int,bool,float}, 98 103 sensitive=true, -
doc/bibliography/pl.bib
r1bdd261 r8669cd3 886 886 @misc{Cforall, 887 887 key = {Cforall}, 888 title = { C$\forall$Features},888 title = {\textsf{C}{$\mathbf{\forall}$} Features}, 889 889 howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}}, 890 890 note = {Accessed: 2018-01-01}, … … 895 895 contributer = {pabuhr@plg}, 896 896 author = {Rodolfo Gabriel Esteves}, 897 title = { C$\forall$, a Study in Evolutionary Design in Programming Languages},897 title = {\textsf{C}$\mathbf{\forall}$, a Study in Evolutionary Design in Programming Languages}, 898 898 school = {School of Computer Science, University of Waterloo}, 899 899 year = 2004, … … 1038 1038 contributer = {pabuhr@plg}, 1039 1039 author = {Peter A. Buhr and Glen Ditchfield and David Till and Charles R. Zarnke}, 1040 title = { {\mbox{\mdseries\sffamily C{$\mathbf{\forall}$}}}\Users Guide, Version 0.1},1040 title = {\textsf{C}$\mathbf{\forall}$ Users Guide, Version 0.1}, 1041 1041 institution = {Department of Computer Science, University of Waterloo}, 1042 1042 address = {Waterloo, Ontario, Canada, N2L 3G1}, … … 1551 1551 @mastersthesis{Delisle18, 1552 1552 author = {Thierry Delisle }, 1553 title = {Concurrency in {C}$\mathbf{\forall}$},1553 title = {Concurrency in \textsf{C}$\mathbf{\forall}$}, 1554 1554 school = {School of Computer Science, University of Waterloo}, 1555 1555 year = 2018, … … 1717 1717 contributer = {a3moss@uwaterloo.ca}, 1718 1718 author = {Glen Ditchfield}, 1719 title = {Conversions for {Cforall}},1719 title = {Conversions for \textsf{C}$\mathbf{\forall}$}, 1720 1720 note = {\href{http://plg.uwaterloo.ca/~cforall/Conversions/index.html}{http://\-plg.uwaterloo.ca/\-\textasciitilde cforall/\-Conversions/\-index.html}}, 1721 1721 month = {Nov}, … … 3395 3395 contributer = {pabuhr@plg}, 3396 3396 author = {Richard C. Bilson}, 3397 title = {Implementing Overloading and Polymorphism in Cforall},3397 title = {Implementing Overloading and Polymorphism in \textsf{C}$\mathbf{\forall}$}, 3398 3398 school = {School of Computer Science, University of Waterloo}, 3399 3399 year = 2003, … … 5928 5928 5929 5929 @mastersthesis{Schluntz17, 5930 keywords = {constructors, destructors, tuples}, 5930 5931 author = {Robert Schluntz}, 5931 title = {Resource Management and Tuples in {C}$\mathbf{\forall}$},5932 title = {Resource Management and Tuples in \textsf{C}$\mathbf{\forall}$}, 5932 5933 school = {School of Computer Science, University of Waterloo}, 5933 5934 year = 2017, -
doc/papers/concurrency/AMA/AMA-stix/ama/WileyNJD-AMA.bst
r1bdd261 r8669cd3 361 361 { year empty$ 362 362 { "" } 363 { " " * year }363 { " " * year } 364 364 if$ 365 365 } … … 501 501 { "In: " 502 502 editor empty$ 503 'skip$504 { " " * format.editors * " " * booktitle emphasize * ", " * }503 { booktitle emphasize * } 504 { " " * format.editors * " " * booktitle emphasize * ", " * } 505 505 if$ 506 506 } … … 819 819 crossref missing$ 820 820 { format.in.ed.booktitle "booktitle" output.check 821 blank.sep 821 822 format.bvolume output 822 823 format.number.series output 824 new.block 823 825 format.pages output 824 826 organization output … … 841 843 { output.bibitem 842 844 author empty$ 843 { organization empty$844 'skip$ 845 { organization output.nonnull846 address output845 { new.block organization empty$ 846 'skip$ 847 { new.block organization output.nonnull 848 new.block address output 847 849 } 848 850 if$ … … 852 854 format.btitle "title" output.check 853 855 author empty$ 854 { organization empty$855 { address new.block.checka856 { new.block organization empty$ 857 { new.block address new.block.checka 856 858 address output 857 859 } … … 859 861 if$ 860 862 } 861 { organizationaddress new.block.checkb863 { new.block organization new.block address new.block.checkb 862 864 organization output 863 865 address output 864 866 } 865 867 if$ 868 new.block 866 869 format.edition output 870 new.block 867 871 format.date output 868 872 new.block … … 877 881 blank.sep 878 882 "Master's thesis" format.thesis.type output.nonnull 883 new.block 879 884 school "school" output.check 880 885 address output … … 907 912 if$ 908 913 howpublished output 914 new.block 909 915 format.note output 910 %%new.block916 new.block 911 917 format.date output 912 918 fin.entry -
src/Parser/parser.yy
r1bdd261 r8669cd3 535 535 { $$ = new ExpressionNode( build_compoundLiteral( $2, new InitializerNode( $5, true ) ) ); } 536 536 | '(' type_no_function ')' '@' '{' initializer_list comma_opt '}' // CFA, explicit C compound-literal 537 { SemanticError( yylloc, "explicit C compound-literal is currently unimplemented." ); $$ = nullptr; } // FIX ME537 { $$ = new ExpressionNode( build_compoundLiteral( $2, (new InitializerNode( $6, true ))->set_maybeConstructed( false ) ) ); } 538 538 | '^' primary_expression '{' argument_expression_list '}' // CFA 539 539 {
Note:
See TracChangeset
for help on using the changeset viewer.