1. 01 Dec, 2017 2 commits
  2. 30 Nov, 2017 3 commits
  3. 27 Nov, 2017 1 commit
  4. 13 Oct, 2017 5 commits
    • Stefan Tauner's avatar
    • Stefan Tauner's avatar
    • Stefan Tauner's avatar
      Add CDG acknowledgement to all file headers · 4fc3ac73
      Stefan Tauner authored
      Command line used was:
      find * -type f \( -name "*.pm" -or -name "*.pl" -or -name "*.c" -or -name "*.v" -or -name "*.vhd" -or -name "*.psl" \) -print0 | parallel -q -0 sed -ri -e 's/^([[:blank:]]*[^[:blank:]]+)([[:blank:]]+)(https:\/\/embsys.technikum-wien.at\/projects\/vecs\/fiji)/\1\2\3\n\1\n\1\2The creation of this file has been supported by the publicly funded\n\1\2R\&D project Josef Ressel Center for Verification of Embedded Computing\n\1\2Systems (VECS) managed by the Christian Doppler Gesellschaft (CDG)./g'
    • Stefan Tauner's avatar
    • Stefan Tauner's avatar
      Tex: re-add .aux target to makefile · f33f6fb8
      Stefan Tauner authored
      The target to produce an intermediate .aux file for latex documents
      was removed in 071d7b5c to simplify the build without taking the overall
      docs/ makefile into account. The latter relies on a destinct target for
      .aux files.
      This commit adds it back but makes sure that failed attempts to build it
      still get retried by using pdflatex' drafmode (which does not write the
      PDF file itself).
      Also, fix some other minor issues in the makefile and the generation of
      the directory of acronyms.
  5. 12 Oct, 2017 1 commit
  6. 03 Oct, 2017 28 commits