Daniel Marjamäki
|
51a6f154e0
|
GUI: If DATADIR is not configured try to guess it. Try to use application path. Or look if there is a cppcheck path.
|
2020-08-29 21:26:49 +02:00 |
|
Daniel Marjamäki
|
262d37fb47
|
windows installer: another attempt to make help work. the 'contents' are shown now but for some reason the 'index' is not.
|
2020-08-28 19:05:11 +02:00 |
|
Daniel Marjamäki
|
bb5cad42cd
|
astyle formatting
[ci skip]
|
2020-08-26 10:15:09 +02:00 |
|
Daniel Marjamäki
|
2028591ecf
|
Travis: Rename VariableContractsDialog::ui to VariableContractsDialog::mUI to follow naming convention
|
2020-08-24 22:11:07 +02:00 |
|
Daniel Marjamäki
|
6277eece67
|
Variable contracts
|
2020-08-24 20:57:49 +02:00 |
Paul
|
3523d2b329
|
Remove unused variable
|
2020-08-11 14:05:28 -05:00 |
|
Daniel Marjamäki
|
d83757f1a1
|
astyle formatting
|
2020-08-05 13:58:06 +02:00 |
|
Daniel Marjamäki
|
9693940dad
|
GUI: Try to fix online-help
|
2020-08-02 21:04:01 +02:00 |
|
Daniel Marjamäki
|
14dfa035c1
|
GUI: Try to reuse Qt Assistant to show help
|
2020-08-01 18:56:37 +02:00 |
Frank Zingsheim
|
686a1bec99
|
GUI: Add online help (CMake)
|
2020-07-26 00:22:28 +02:00 |
|
Daniel Marjamäki
|
1965f2cc9f
|
help: update warning menu screenshot
|
2020-07-23 16:30:10 +02:00 |
|
Daniel Marjamäki
|
f11a089141
|
help/manual: update explanations about severities
|
2020-07-23 16:09:24 +02:00 |
|
Daniel Marjamäki
|
5a99b81ed7
|
GUI: online-help (severities)
|
2020-07-22 14:31:17 +02:00 |
|
Daniel Marjamäki
|
5455da8fa6
|
GUI: Updated help (index)
|
2020-07-21 21:58:51 +02:00 |
|
Daniel Marjamäki
|
ca1fcfa8bc
|
GUI: Only suppress warnings by hash during bug hunting
|
2020-07-21 17:45:56 +02:00 |
|
Daniel Marjamäki
|
4ab04db53c
|
Rename 'cppcheckID' to 'hash'
|
2020-07-21 11:27:03 +02:00 |
|
Daniel Marjamäki
|
ae0ad17152
|
GUI: quick walk through in online-help
|
2020-07-21 10:30:50 +02:00 |
|
Daniel Marjamäki
|
a68d9e75ef
|
GUI: In ProjectFileDialog; updated choice of vs configurations
|
2020-07-20 22:06:07 +02:00 |
|
Daniel Marjamäki
|
5fca5830c5
|
astyle formatting
[ci skip]
|
2020-07-20 21:41:46 +02:00 |
|
Daniel Marjamäki
|
d7f9dc25cd
|
Quick fix for Travis problems. Skip building gui online-help.
|
2020-07-20 19:19:37 +02:00 |
|
Daniel Marjamäki
|
1c39bed5b0
|
buildhelp.bat: remove old script
|
2020-07-20 19:18:06 +02:00 |
|
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 |