Re: Yet more static analysis: Use Coverity?

2015-02-06 Thread Liviu Andronic
Dear all, Following on this very old proposal, I went ahead and submitted the LyX code for static analysis to Coverity: https://scan.coverity.com/projects/4164 Coverity has uncovered ~250 implementation defects in the LyX code base, with 10 or so of high severity (memory corruption, resource

Re: Source Tarballs for 2.1.3

2015-02-06 Thread Jean-Pierre Chrétien
Richard Heck rgheck at lyx.org writes: Source tarballs for 2.1.3 can be found here: ftp://ftp.lyx.org/pub/lyx/devel/lyx-2.1/2.1.3/ Please prepare binaries by Monday. I'd like to do the release on Tuesday. Compiles and runs fine on Debian Wheezy/TexLive 2014 : Configuration Host

Re: Source Tarballs for 2.1.3

2015-02-06 Thread Jean-Pierre Chrétien
Richard Heck lyx.org> writes: > > > Source tarballs for 2.1.3 can be found here: > ftp://ftp.lyx.org/pub/lyx/devel/lyx-2.1/2.1.3/ > Please prepare binaries by Monday. I'd like to do the release on Tuesday. Compiles and runs fine on Debian Wheezy/TexLive 2014 : Configuration Host type:

Re: Yet more static analysis: Use Coverity?

2015-02-06 Thread Liviu Andronic
Dear all, Following on this very old proposal, I went ahead and submitted the LyX code for static analysis to Coverity: https://scan.coverity.com/projects/4164 Coverity has uncovered ~250 implementation defects in the LyX code base, with 10 or so of high severity (memory corruption, resource