Commit Graph

1531 Commits

Author SHA1 Message Date
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