40 Commits

Author SHA1 Message Date
Oliver Stöneberg
37bc0483a4
made check.h less heavy (#2633) 2020-05-23 07:16:49 +02:00
Daniel Marjamäki
08ddd84780 Update copyright year 2020-05-10 11:16:32 +02:00
Daniel Marjamäki
3e0218299b Revert "Update copyright year"
This reverts commit 6eec6c4bd53d42e3a1179fd3a8a7dae5a43d4d50.
2020-05-10 11:13:05 +02:00
Daniel Marjamäki
6eec6c4bd5 Update copyright year 2020-05-10 11:11:34 +02:00
Daniel Marjamäki
b5094f298a Bug hunting; Add new 'incomplete' flag for error messages. Used when analysis is incomplete. 2020-05-03 17:20:38 +02:00
Daniel Marjamäki
f7096a2232 Bug hunting: basic handling of contracts through GUI 2020-04-27 09:08:50 +02:00
Daniel Marjamäki
c32261c737 Updated copyright year 2019-09-01 11:49:43 +02:00
Daniel Marjamäki
2d9a131817 Refactoring: Rename variables. Do not use leading _. Renamed 'col' to 'column' 2019-08-18 12:19:05 +02:00
Daniel Marjamäki
1a75084d75 GUI: Refactor comparisons 2018-10-20 16:30:40 +02:00
Daniel Marjamäki
45379a3aa6 Updated copyright year for modified files
[ci skip]
2018-06-10 22:07:21 +02:00
Daniel Marjamäki
a0906140a6 Suppressions: New extensible Suppressions xml format that allow more attributes. To start with it also allows symbolName. 2018-04-09 06:43:48 +02:00
Daniel Marjamäki
c4caee6b18 Updated copyright year 2018-01-14 15:37:52 +01:00
Daniel Marjamäki
6ddcfc3d1c GUI: Updated handling of clang and clang-tidy 2017-09-22 15:41:27 +02:00
Daniel Marjamäki
330ceccdc9 GUI: Rework handling of tags. The allowed tags are now userdefined in the project file 2017-08-18 17:25:08 +02:00
Daniel Marjamäki
e675ede07d GUI: Separate tool statistics 2017-08-09 20:53:17 +02:00
Daniel Marjamäki
78e30e735e GUI: Better history. Prepare for tagging messages. 2017-08-02 20:24:23 +02:00
Daniel Marjamäki
c20dbad424 Fix Cppcheck warning 2017-05-22 10:26:16 +02:00
Daniel Marjamäki
a20fb4f36a GUI: Update results 2017-05-21 08:25:55 +02:00
Lauri Nurmi
996c9244d8 Update copyright year to 2007-2016. 2016-01-01 15:34:45 +02:00
Daniel Marjamäki
0f9d90d2be Changed Copyrights. Removed my name. 2015-11-18 20:04:50 +01:00
Daniel Marjamäki
ff11ba9847 Updated copyright year to 2015 2015-01-03 12:14:58 +01:00
Daniel Marjamäki
fd3a8a2a18 Update copyright 2014-02-15 07:45:39 +01:00
Reijo Tomperi
5d5f7085bf Updating year 2012 -> 2013 to .cpp and .h files and man page. 2013-01-01 18:29:08 +02:00
PKEuS
67fb2dc2c9 Removed unnecessary copy-ctor and dtor in class ErrorItem - they are generated automatically. Use initializer list in remaining ctors. 2012-10-14 12:42:44 +02:00
Daniel Marjamäki
87a118cd16 GUI: Recheck changed files. Ticket: #816 2012-02-14 21:16:11 +01:00
Reijo Tomperi
8cae17fda8 Update year to 2012 2012-01-01 01:05:37 +02:00
Daniel Marjamäki
6f8e42a5af changed the astyle formatting flags 2011-10-13 20:53:06 +02:00
Kimmo Varis
4c24b6a804 GUI: Rename ErrorItem::id to ErrorItem::errorId. 2011-10-12 22:19:08 +03:00
Kimmo Varis
0112b9e150 GUI: Add option for enabling inconclusive checks.
Add new "Advanced" page to preferences-dialog and add there a
checkbox for enabling inconclusive checks. Now that checkbox is
the only control in that new page but there will be more controls
later on.
2011-04-16 18:46:08 +03:00
Kimmo Varis
f9c97c7b56 GUI: Add support for inconclusive errors.
This is the first (and quick) support for the inconclusive errors.
We simply add [Inconclusive] to begin of the summary. This is
temporary solution until better GUI is implemented. XML v1 won't
be supporting inconclusive errors. For XML v2 we need still to
decide what to do.
2011-04-16 14:07:33 +03:00
Kimmo Varis
d8ced1dbb1 GUI: Initialize Severity in ErrorItem constructor. 2011-03-07 23:43:59 +02:00
Kimmo Varis
d2c06501d9 GUI: Convert severity in ErrorLine to enum value.
This commit continues converting severity in GUI to enum.
2011-03-07 21:20:09 +02:00
Kimmo Varis
7c589384d2 GUI: Use severity enum in ErrorItem.
Convert from using string to enum values for severity in ErrorItem.
Storing and handling severity as string was the easy way earlier
but it is not convenient or efficient way to handle severities.
This commit is the first step in converting severity handling to
use the enum values instead of strings.
2011-03-07 21:10:30 +02:00
Kimmo Varis
50dba88077 Fix formatting of debug messages to log view.
Ticket #2513 (GUI: Garbage printed to log after missing include warning)

The linenumber was not properly converted to the QString so there
were garbage printed to the log.
2011-01-27 08:47:28 +02:00
Reijo Tomperi
226b605774 Change year 2010 -> 2011 in license texts. 2011-01-09 21:33:36 +02:00
Kimmo Varis
999e446777 GUI: Add new short summary to error structures.
Also rename 'msg' in structures to 'message' for consistency.
2010-11-11 22:51:00 +02:00
Reijo Tomperi
3bedc9331e Fix encoding in some files 2010-10-03 00:20:18 +03:00
Kimmo Varis
20a4f1e195 GUI: Output debug errors to log view.
Debug errors were not shown anywhere in the GUI, they were just
ignored. This commit adds new signal for those debug errors and
directs them to checking log.

Solves ticket #1898 (GUI: Handle internal errors from lib)
2010-08-28 20:37:21 +03:00
Kimmo Varis
801afae88b GUI: Refactor linenumber in ErrorLine to unsigned int. 2010-07-12 01:51:36 +03:00
Kimmo Varis
352941f5df GUI: Fix transporting errors.
Need to register integer list as new metatype so that Qt's type
system knows how to use it. Adding also additional constructors
for the ErrorItem.
2010-07-11 01:04:53 +03:00