Commit Graph

1510 Commits

Author SHA1 Message Date
Daniel Marjamäki 65742b9779 gui.pro: build help 2020-07-20 12:43:08 +02:00
Daniel Marjamäki 09241030c3 GUI: Add online help 2020-07-20 11:59:28 +02:00
Daniel Marjamäki 0a84a1fad7 GUI: Add help files that replace the gui-manual.md 2020-07-19 21:40:17 +02:00
Daniel Marjamäki 5df9cd90a6 astyle formatting
[ci skip]
2020-07-19 11:10:53 +02:00
Daniel Marjamäki 7cb65b7f67 GUI: Speedup code editor when selecting another warning in the same file 2020-07-18 18:14:55 +02:00
Daniel Marjamäki 46d997cd71 GUI; Remove unused signal ResultTree::tagged 2020-07-18 17:20:45 +02:00
Daniel Marjamäki 2b05059307 GUI; Tweaked button texts 2020-07-18 17:10:39 +02:00
Daniel Marjamäki 23008e7bc0 GUI: Add button in ProjectFileDialog to exclude a file 2020-07-18 08:56:31 +02:00
Daniel Marjamäki 744b363186 GUI; Tweaks. Add tooltips, change texts. 2020-07-18 08:23:04 +02:00
Daniel Marjamäki 2713474f56 Fixed Cppcheck warning 2020-07-17 12:25:06 +02:00
Daniel Marjamäki 9af288e1dd Fixed #9724 (GUI: The tags do not work anymore) 2020-07-16 23:03:54 +02:00
Daniel Marjamäki b249d9be31 GUI: Refactor tags 2020-07-16 20:19:36 +02:00
Daniel Marjamäki bec78a0960 GUI: Adding suppression with cppcheckId; include all relevant fields 2020-07-16 16:36:55 +02:00
Daniel Marjamäki bdb08232d7 GUI: Fix suppression of multiple cppcheck ids 2020-07-15 20:55:51 +02:00
Daniel Marjamäki 6ab4f39f52 GUI: Suppress cppcheck-id 2020-07-15 13:03:07 +02:00
Daniel Marjamäki 260c53ba6f GUI: Write cppcheck-id in xml report 2020-07-15 07:59:05 +02:00
Daniel Marjamäki 62702a6816 GUI: Use const argument 2020-07-14 18:19:03 +02:00
Daniel Marjamäki 9ff8adcc40 GUI: Remove message box when saving results even though there are no results, to prevent problems with autosave 2020-07-13 12:31:59 +02:00
Daniel Marjamäki 303032b210 gui/test/projectfile: mocked constructors 2020-06-26 20:35:18 +02:00
Daniel Marjamäki c5f9e85ee7 GUI: Add configuration for max recursion in template instantiation 2020-06-26 17:12:02 +02:00
Daniel Marjamäki 0f28e7b88e AboutDialog: Updated copyright year so we don't have to manually tweak it. Thank you Z3 library. 2020-06-14 07:36:19 +02:00
Daniel Marjamäki 37245a8179 Update copyright year 2020-06-13 16:37:12 +02:00
Daniel Marjamäki f78431caee lupdate gui.pro 2020-06-13 16:35:45 +02:00
Oliver Stöneberg 3a90341961
some CMake cleanups and additions (#2639) 2020-05-27 05:15:46 +02:00
Daniel Marjamäki 21eea1d69f Added missing include stdexcept 2020-05-24 09:16:16 +02:00
Oliver Stöneberg 37bc0483a4
made check.h less heavy (#2633) 2020-05-23 07:16:49 +02:00
fu7mu4 9587c3758e
Update Japanese Translation to 2.0 (#2656)
Add translations for Japanese only
2020-05-22 08:07:21 +02:00
Daniel Marjamäki e2ead44a2d dmake updates. externals/z3_version.h should never be added as a dependency 2020-05-19 20:14:29 +02:00
Daniel Marjamäki 64291c6b61 fix Clang execution 2020-05-19 19:17:23 +02:00
Daniel Marjamäki 32e569704b executeCommand in CppCheckExecutor or QCheckThread 2020-05-19 16:04:40 +02:00
Daniel Marjamäki 23999fece5 Try to make Travis happy 2020-05-17 23:14:47 +02:00
Daniel Marjamäki 2ef538c171 Tweak paths when executing addons in Cppcheck 2020-05-17 21:45:37 +02:00
Daniel Marjamäki 547d1b158e Fixed #9723 (GUI: inline suppressions does not work for addons) 2020-05-17 16:50:13 +02:00
Oliver Stöneberg e0e50139cb
cleaned up includes based on include-what-you-use (#2632)
* cleaned up includes based on include-what-you-use

* token.cpp: fixed -Wextra-semi-stmt warning
2020-05-10 16:45:45 +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 6eec6c4bd5.
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 6b00fe8a22 GUI: Run lupdate 2020-05-10 11:10:07 +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 cdc530a25f GUI: When clearing results, remove files in build dir 2020-04-29 18:10:01 +02:00
Daniel Marjamäki e89f5ab593 GUI: Double click on contract to edit it 2020-04-29 17:51:25 +02:00
Daniel Marjamäki 12dfd8a5ca GUI: Show missing/added contracts in tab 2020-04-28 22:09:01 +02:00
Daniel Marjamäki 30e6214f1c Try to make Travis happy 2020-04-27 19:51:46 +02:00
Daniel Marjamäki c19a9c2ad9 GUI: Only edit contract for non-bailout warnings 2020-04-27 19:43:38 +02:00
Daniel Marjamäki dae009ca01 GUI: Try to improve usability for function contracts 2020-04-27 17:36:17 +02:00
Daniel Marjamäki f7096a2232 Bug hunting: basic handling of contracts through GUI 2020-04-27 09:08:50 +02:00
Oliver Stöneberg 1388e9385b
cleaned up setting of compiler options and a few more things in CMake (#2599)
* cleaned up compiler options related code in CMake

* moved cmake_minimum_required() and raised to latest 2.8.x version

* use proper compiler version check / print compiler version

* fixed linking of sanitized builds

* added proper version checks to newer Clang warnings and enabled them / moved tinyxml_objs flags to proper compiler

* disabled -Wdeprecated-declarations for Clang

* compileroptions.cmake: removed unnecessary check for clang++ existence - CMAKE_CXX_COMPILER_ID is determined by CMake

* printInfo.cmake: removed unnecessary message for ANALYZE_ADDRESS - LSAN is part of ASAN and enabled by default

* cleaned up if() comparisons in CMake

* added/adjusted TODOs
2020-04-22 11:04:19 +02:00
Lauri Nurmi e8c5c2b154
Show version number in Cppcheck GUI's title bar (#2615)
Also don't mark the string "Cppcheck" as translatable, as it is
questionable whether the product's name is supposed to be translated ever.
2020-04-22 09:26:21 +02:00
Oliver Stöneberg 1af959af2c
fixed -Wextra-semi-stmt Clang warnings (#2553)
* fixed -Wextra-semi-stmt Clang warnings

* adjusted REDIRECT macro to require a semicolon

* testmathlib.cpp: rolled back accidental change
2020-04-21 17:27:51 +02:00
John Coffey f9074e7b21
Added a header row including the ID to the CSV report. (#2481)
Co-authored-by: John Coffey <jcoffey@gableseng.com>
2020-04-19 18:14:16 +02:00