- 04 May, 2018 10 commits
-
-
Stefan Tauner authored
-
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 authored
Also, add some missing strict/warning statements and fix resulting warnings and refine some comments in the headers of files.
-
Stefan Tauner authored
ConfigSpecs of type METHOD should point to setter/getter methods. If given no argument they should return the previous value. However, some of our methods do not follow this API and hence break things when called as getters (w/o arguments). Most of them are not used anyway so get rid of them and fix the others.
-
Stefan Tauner authored
-
Stefan Tauner authored
-
Christian Fibich authored
Reapplied Beautify script
-
Christian Fibich authored
-
Stefan Tauner authored
-
Stefan Tauner authored
-