Monday, 30 July 2012

(v0.8) Cleaner searches, better error handling

THEOREM LINKER

v0.8


Version 0.8 of the Theorem Linker has been updated with the following:
  • Built-in document styles(article, letter, report, etc.) are no longer searched for theorem definitions.
  • When a syntactical  error is found, Theorem Linker will notify the user instead of simply closing.
  • Both \input{anexamplepaper.tex} and \input{anexamplepaper} will find the file named "anexamplepaper.tex"
 
Download version 0.8

1 comment:

  1. Hi,

    I tried running make (on a Mac) and got this warning:

    thmlink.c:87:7: warning: '__builtin___strncpy_chk' will always overflow
    destination buffer [-Wbuiltin-memcpy-chk-size]
    strncpy(theorems[thmCount].type,thmTypes[t].word, BUF_SIZE);
    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
    /usr/include/secure/_string.h:119:3: note: expanded from macro 'strncpy'
    __builtin___strncpy_chk (dest, src, len, __darwin_obsz (dest))
    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

    Then when I tried to run it on this file:

    \documentclass{article}
    \usepackage{amsthm}
    \newtheorem{theorem}{Theorem}
    \newtheorem{lemma}[theorem]{Lemma}
    \newtheorem{corollary}[theorem]{Corollary}
    \newtheorem{proposition}[theorem]{Proposition}
    \begin{document}
    \begin{theorem}
    Blah
    \end{theorem}
    \begin{proof}
    This is a corollary of Lemma \ref{lem:firstlemma}.
    \end{proof}
    \begin{lemma}\label{lem:firstlemma}
    Foo
    \end{lemma}
    \begin{proof}
    obvious.
    \end{proof}
    \end{document}


    I got an error:

    Abort trap: 6.

    Any ideas?

    ReplyDelete